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