----- Forwarded message from Vishwas Patil <ivishwas(a)gmail.com> -----
From: Vishwas Patil <ivishwas(a)gmail.com>
To: Madhavan Mukund <madhavan(a)cmi.ac.in>
Date: Fri, 31 Oct 2025 02:59:55 +0530
Dear All,
The draft program of Blockchain Kaigi 2025 (BCK25) - *The 5th International
Workshop on Blockchain* is available. *We invite you to register and
participate in this workshop.*
*Dates*: December 4-6, 2025
*Venue*: PC Saxena Auditorium, IIT Bombay
*Registration*: https://bck-2025.isrdc.in/registration/ (Students doing
research in Blockchain can register for free by uploading a recommendation
letter from their advisor)
*Keynotes & Invited Talks* by: (Abstracts:
https://bck-2025.isrdc.in/speakers/)
1. Dilip Asbe, Managing Director and CEO of the National Payments
Corporation of India
2. Jun Watanabe, Chairman, Sony Block Solutions Labs Pte. Ltd
3. Kazumasa Omote, Professor, University of Tsukuba
4. Hidenori Nakazato, Professor, Waseda University
5. Suvendu Pati, Chief General Manager of Reserve Bank of India (RBI)
6. Ikkei Matsuda, CEO of Digital Platformer
The program will have 38 full-paper presentations & 13 poster presentations
on various topics in Blockchain. (List of *accepted papers*:
https://bck-2025.isrdc.in/accepted-papers/)
There will be a few *Panel Discussions* involving industry professionals,
policy-makers, and leading international researchers.
Blockchain Kaigi 2025: https://bck-2025.isrdc.in
Register here: https://bck-2025.isrdc.in/registration/
--
Yours sincerely,
Vishwas Patil.
Senior Scientist, IIT Bombay.
https://sites.google.com/site/ivishwas
<http://sites.google.com/site/ivishwas>
An omission is the most powerful form of lying. ~ George Orwell.
----- End forwarded message -----
**Apologies for multiple postings**
Dear Colleagues,
Please find below the call for participation and talks for the Workshop on
automata and games for synthesis, taking place just after FSTTCS at BITS
Goa. Kindly share it with others.
------------------------------------------------------------
------------------------------------------------------------
------------------------------------------------------------
--------------------------------------
Call for Participations
Workshop on Automata and Games for Synthesis
<https://sites.google.com/view/wagsfsttcs2025/home>
Goa, India
December 20th, 2025
Co-located with Foundations of Software Technology and Theoretical
Computer Science (FSTTCS) 2025 <https://www.fsttcs.org.in/2025/>
---------------------------------------------------------------------------------------------
Submission of contributed talks at: https://forms.gle/baHEbDRh5eJbfgbA8
---------------------------------------------------------------------------------------------
Workshop website: https://sites.google.com/view/wagsfsttcs2025
===================
About the workshop
===================
The second iteration of the *Workshop on Automata and Games for Synthesis*
is an on-site event happening on December 20, 2025, in Goa, India. It is
co-located with Foundations of Software Technology and Theoretical Computer
Science (FSTTCS) 2025, the premier international computer science
conference in India, and held annually in December since 1981. Automated
synthesis of systems from specifications has been a longstanding goal of
computer science. The workshop focuses on various aspects by which automata
and game solving are used to tackle problems motivated by synthesis.
The workshop will feature three invited speakers and some sessions with
short presentations. For the short presentations, early-career researchers
are encouraged to talk about their research in 10–15 minute sessions (exact
length will depend on the number of contributions). For submission, we
solicit a title and an abstract for the talk (please find the Google Form
link below).
The workshop does not have proceedings; therefore previously published
talks or ongoing work are both encouraged to be presented. Topics for
presentation at the workshop include, but are not limited to, the following:
Automata Theory
Reactive Synthesis
Games on Finite and Infinite Graphs
Computational aspects of Game Theory
Concurrency and Distributed computation
Formal Languages
Games and Automata for Verification
Specification and Verification of Finite and Infinite-state Systems
============================
Important dates and information
============================
Early Submission Deadline
November 13, 2025
Early Notification
November 14, 2025 (notifications sent on a rolling basis; note that
early-bird registration for the conference and workshop ends on November
15, 2025)
Final Submission Deadline
November 25, 2025 (AoE)
Final Notification
November 30, 2025
Workshop
December 20, 2025
Submission of contributed talks at: https://forms.gle/baHEbDRh5eJbfgbA8
=============
Invited speakers
=============
Orna Kupferman (Hebrew University)
B. Srivathsan (Chennai Mathematical Institute)
Aditya Prakash (LIS, Aix-Marseille Université)
=============
Organisers
=============
Sougata Bose
Suman Sadhukhan
K.S. Thejaswini
=============
Program
=============
The detailed program will be available here
<https://sites.google.com/view/wagsfsttcs2025/schedule> closer to the
workshop.
For any queries, contact the organisers: sougata.bose(a)umons.ac.be,
suman.sadhukhan00(a)gmail.com, thejaswini.k.s(a)ista.ac.at
Best regards,
Suman Sadhukhan
Postdoctoral Researcher,
University of Haifa
