Call for Workshops

Important Dates (Workshops Only)

Submission of Workshop ProposalsJanuary 19th, 2024 (Fri)23:59 AoE
NotificationFebruary 2nd, 2024 (Fri)23:59 AoE
Workshop DatesSeptember 9th – 10th, 2024

FM 2024 is the 26th international symposium 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. FM 2024 will be held September 9 – 13 in Milan, Italy. 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 workshops (and other similar events) that will complement the main FM 2024 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 September 9 & 10, 2024, before the main symposium. Each workshop should typically run for a half day or one day, but two-day events will also be considered. The FM 2024 organizing committee aims to contribute at least partial support for one invited speaker per workshop.

Submission Information

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

Marieke Huisman (
Stefania Gnesi (

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.