Accepted Papers
| Title | |
|---|---|
| Cybersecurity Requirements Assurance in Critical Infrastructure Systems through the Application of Formal Verification and Artificial Intelligence-Based Methods Doctoral Symposium | |
| Doctoral Symposium Closing Doctoral Symposium | |
| Formal Verification of Soundness and Completeness for Polygon zkEVM Doctoral Symposium | |
| Revealing Intent–Implementation Gaps in Schedulers via Learning-Based Fuzzing Doctoral Symposium | |
| Static Analysis and Synthesis of Layered Attestation Protocols Doctoral Symposium | |
| Towards a Bigraph-Based Digital Twin Framework for Multi-UAV Coordination in AAM Doctoral Symposium | |
| Towards Characterizing Commit Patterns in Formally Verified Open-Source Projects Using LLM-based Classification Doctoral Symposium | |
| Towards verified memory allocator for Rust Doctoral Symposium | |
| Unifying Non-Atomicity for Weak Memory Models Doctoral Symposium | |
| Visualizing Neural Network Behaviors for Verification Doctoral Symposium |
Call for Doctoral Symposium Papers
FM 2026 Doctoral Symposium
A doctoral symposium will be held in conjunction with the 27th International Symposium on Formal Methods (FM 2026), Mon 18 – Fri 22 May 2026, Tokyo, Japan.
Goals and Scope
This doctoral symposium aims to provide an engaging and environment where Ph.D. students can present and discuss their ongoing work, meet other students working in formal methods, and receive feedback and advice from experienced researchers. Selected Ph.D. students will be expected to make presentations. The symposium will also provide opportunities for Ph.D. students to meet senior academics in smaller groups to informally discuss research strategies, career aspects, or any other topic of interest.
If you are a Ph.D. student doing research related to formal methods, you are warmly invited to submit a research abstract for consideration. Accepted submissions will secure you a spot as a participant in the doctoral symposium.
A Best Presentation Award will be given at the symposium.
Research Abstracts
Research abstracts should be up to 4 pages in Springer LNCS format (incl. references). The research abstract should:
- Outline the main problems addressed by your research, their relevance, and the solution you are working on – including your research approach (research method) and the expected contributions.
- Contain a very brief literature review indicating the most important references related to the research problem and/or existing solutions.
- Indicate the current state of progress of your research.
- The research abstract should be written by yourself as sole author. It may include references to relevant papers you have already published, including joint publications with your supervisors or other collaborators.
Submission Link
Use the following link, click the “new submission” button, and select “FM 2026 Doctoral Symposium”: https://easychair.org/conferences?conf=fm2026
Doctoral Symposium Co-Chairs
- Toshiaki Aoki, JAIST, Japan
- Cyrille Artho, KTH Royal Institute of Technology, Sweden
Tue 19 MayDisplayed time zone: Osaka, Sapporo, Tokyo change
08:30 - 09:00 | |||
08:30 30mRegistration | Registration Services | ||
08:50 - 09:00 | |||
08:50 10mTalk | Doctoral Symposium Opening Doctoral Symposium | ||
09:00 - 10:30 | DS Session 1: System-Level Verification and Security ApplicationsDoctoral Symposium at 2F Conf Room 1 | ||
09:00 30mTalk | Revealing Intent–Implementation Gaps in Schedulers via Learning-Based Fuzzing Doctoral Symposium Akira Hasegawa Japan Advanced Institute of Science and Technology | ||
09:30 30mTalk | Static Analysis and Synthesis of Layered Attestation Protocols Doctoral Symposium Will Thomas University of Kansas | ||
10:00 30mTalk | Towards a Bigraph-Based Digital Twin Framework for Multi-UAV Coordination in AAM Doctoral Symposium Tianxiong Zhang Chair of Software Technology, Technische Universität Dresden | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Services | ||
11:00 - 12:30 | |||
11:00 30mTalk | Towards verified memory allocator for Rust Doctoral Symposium Sinai Kakishita Japan Advanced Institute of Science and Technology | ||
11:30 30mTalk | Unifying Non-Atomicity for Weak Memory Models Doctoral Symposium Stepan Kuznetsov TU Braunschweig & Huawei Hilbert Research Center | ||
12:00 30mTalk | Formal Verification of Soundness and Completeness for Polygon zkEVM Doctoral Symposium | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Services | ||
14:15 - 15:15 | |||
14:15 60mKeynote | Engineering Resilient Autonomous Systems with Formal Methods Doctoral Symposium | ||
15:15 - 15:45 | |||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Services | ||
15:45 - 17:15 | |||
15:45 30mTalk | Cybersecurity Requirements Assurance in Critical Infrastructure Systems through the Application of Formal Verification and Artificial Intelligence-Based Methods Doctoral Symposium Daniel Daukševič Institute of Computer Science, Vilnius University, Vilnius,Lithuania | ||
16:15 30mTalk | Visualizing Neural Network Behaviors for Verification Doctoral Symposium Xiaolin Liu KTH Royal Institute of Technology | ||
16:45 30mTalk | Towards Characterizing Commit Patterns in Formally Verified Open-Source Projects Using LLM-based Classification Doctoral Symposium Soshi Inoue Kyoto Institute of Technology | ||
17:15 - 17:25 | |||
17:25 - 17:30 | |||
17:25 5mTalk | Doctoral Symposium Closing Doctoral Symposium | ||
| Fri 27 Feb 2026 Notification |
| Fri 30 Jan 2026 23:59 Submission Deadline (Extended) |
| Mon 1 Dec 2025 Submissions open |
Toshiaki AokiDoctoral Symposium Co-Chair
JAIST
Japan
Cyrille ArthoDoctoral Symposium Co-Chair
KTH Royal Institute of Technology, Sweden
Guillaume Dupont
INPT–ENSEEIHT
France
Daisuke Ishii
JAIST
Masaki Waga
Kyoto University
Japan
Alcino Cunha
University of Minho; INESC TEC
Portugal
Elvinia Riccobene
Computer Science Dept., University of Milan
Italy
Kyungmin Bae
POSTECH
South Korea
Peter Ölveczky
University of Oslo
Norway
Gerardo Schneider
University of Gothenburg
Sweden
Kristin Yvonne Rozier
Iowa State University
Yi Li
Nanyang Technological University
Singapore
Dimitra Giannakopoulou
Amazon Web Services
Martina Seidl
Johannes Kepler University Linz
Austria
Shaoying Liu
East China Normal University, China
China