Workshops ProposalFM 2026

Here is a list of accepted workshops:

• Formal Methods Teaching Workshop (FMTea 2026)
• 13th Rodin User and Developer Workshop
• The 24th Overture Workshop on VDM, Formal Methods, and AI
• AI, Proof and Verification (AIPV 2026)

Call for Workshops

We are inviting proposals for workshops (and other similar events) that will complement the main FM 2026 symposium. We encourage a diversity of topics related to different ways of developing and using formal methods. We are also open to topics that are on the intersection of formal methods with emerging fields in computer science, such as AI and machine learning-based software development, cyber security, and quantum computing.

The general purpose of workshops is to provide an informal setting for participants to discuss technical issues, exchange research ideas and educational approaches, and to discuss and/or demonstrate applications. These may be driven by fundamental academic interests or by needs from specific application domains.

A workshop is an event that involves an open call for contributions. Events that mix open and invited presentations will also be considered.

Workshops will take place on May 18 and 19, 2026, before the main symposium. Each workshop should typically run for a half day or one day, but two-day events will also be considered.

Important Dates (Workshops Only)

• Workshop proposal submission : October 26, 2025
• Workshop proposal notification : November 10, 2025

Submission Information

Researchers and practitioners wishing to organize a workshop are invited to submit proposals by e-mail to the Workshops Chairs:

Elena Troubitsyna (elenatro@kth.se)
Tomoyuki Yokogawa (t-yokoga@cse.oka-pu.ac.jp)

A workshop proposal should not exceed three pages and should include the following information:

• Title and brief technical description of the workshop, specifying its goals and formal methods focus, and whether the workshop has an open call or mixes open and invited presentations.
• The names and contact information (web page, email address) of the organizers. The organizers of a workshop will also be its Programme Committee (PC) chairs; the proposal may also list prospective international PC members.
• Pointers to information about past editions of the workshop, if applicable: has it taken place before; how often it has been co-located with FM or with other conferences, and the number of participants in the most recent installments.
• A discussion of the proposed format and agenda (for example: paper presentations, tutorials, demo sessions, etc).
• The proposed duration: half or one day. Exceptionally, two-day events may be considered.
• Potential invited speaker(s).
• The procedures for selecting papers and participants, including a tentative timeline for submission and notification of acceptance, and plans for the publication of proceedings, if any.