FMIndia October 2025

fmindia@cmi.ac.in

2 participants
3 discussions

FM 2026 Tutorials: 1st Call for Tutorials

by Neeraj Kumar Singh

***************************************************************************************** FM 2026 Tutorials: Call for Tutorials https://conf.researchr.org/track/fm-2026/fm-2026-tutorials ***************************************************************************************** ## Overview FM 2026 is the 27th international symposium on Formal Methods in a series organized by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. The FM symposia have been successful in bringing together researchers and industrial users around a program of original papers on research and industrial experience, workshops, tutorials, reports on tools, projects, and ongoing doctoral research. We are inviting proposals for tutorials to complement the main FM 2026 symposium. The primary goal of these tutorials is to convey ideas with a focus on pedagogy over technical innovation. They offer a valuable platform for participants to discuss technical challenges, exchange research concepts, explore educational strategies, and demonstrate or investigate practical applications. Tutorials should be designed to be broadly accessible and pedagogically oriented, clarifying key concepts, building intuition, and ensuring ease of understanding. They aim to attract new researchers, serve as bridges to practitioners, and disseminate useful ideas widely. These may be driven by fundamental academic interests, or by needs from specific application domains. We encourage a diversity of topics relating to different ways of developing and using formal methods as well as all theoretical aspects of software engineering, including complex applications. Although tutorials focused on tools are a traditional choice, tutorials covering techniques are also welcome. Authors interested in proposing different types of tutorials are encouraged to contact the chairs for guidance. Overall, we welcome a broad range of tutorial topics, as long as they are relevant to the interests of the formal methods community. Moreover, we also invite topics at the intersection of machine learning and formal methods due to the growing interest in AI and machine learning-based software development. Accepted tutorial papers will be published in the conference proceeding volume. Authors of these papers will be allocated a presentation slot during the tutorial sessions prior to the main conference. When submitting tutorial papers, authors should indicate their preferred presentation length, which can be either half a day or a full day. ##Important Dates - Submission Deadline: February 02, 2026 (AoE) - Acceptance Notification: February 28, 2026 - Camera-ready versions: March 13, 2026 More information can be found on the website of FM 2026: https://conf.researchr.org/track/fm-2026/fm-2026-tutorials ## Submission Instructions Submission should be done through the FM 2026 submission page, handled by the EasyChair conference system: https://easychair.org/conferences/?conf=fm2026 As in previous years, the proceedings will be published in the Springer Lecture Notes in Computer Science series. Tutorial papers can be at most 25 pages in LNCS format (including references and appendices). There is no minimum length; the tutorial should be as long as necessary to be effective, but should avoid filler. Tools should include links and descriptions of how to run them. The paper must provide clear references to the original technical content and they are welcome to include an appendix for better details. Formatting style files and further guidelines for formatting can be found at the Springer website (more details: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu…). ## Tutorials Co-Chairs - Kazuhiro Ogata, Japan Advanced Institute of Science and Technology, Japan - Neeraj Kumar Singh, INPT-ENSEEIHT/IRIT, University of Toulouse, France

1 month, 2 weeks

Blockchain Kaigi 2025 (BCK25), IIT Bombay

by Madhavan Mukund

----- 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 -----

2 months, 2 weeks

Call for Submissions and Participations -- WAGS@FSTTCS 2025

by Suman Sadhukhan

**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

2 months, 3 weeks

2026

2025

2024

2023

2022

FMIndia October 2025