For this major event, we are now inviting proposals for workshops,  tutorials, or other similar events that will complement the main FM Symposium.

The general purpose of workshops and tutorials 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 with an open call for contributions. A tutorial is an event based entirely on invited talks by the organizers or by other speakers. Events that mix open and invited presentations will also be considered.

We encourage a diversity of topics relating to different ways of developing and using formal methods. Workshops and tutorials will take place on November 20-21, 2021. Each event (workshop or tutorial) should typically run for 1/2 or 1 day, but 2-day events will also be considered. The FM 2021 organising committee aims to contribute to at least partial support for one invited speaker per event.

Submission Information 

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

Tutorial chairs: Luigia Petre ( and Tim Willemse (

Workshop chairs: Carlo A. Furia ( and Lijun Zhang (

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

  • Title and brief technical description of the event, specifying its goals and formal methods focus, and whether the event is a workshop, tutorial, or any other kind of event.
  • The names and contact information (web page, email address) of the organisers. The organisers of a workshop will also be its Programme Committee (PC) chairs; in this case, the proposal may also list prospective international PC members.
  • Pointers to information about past editions of the event, if applicable. Workshop proposals should specify whether it has 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 instalments.
  •  A discussion of the proposed format and agenda (for example: paper presentations, tutorials, demo sessions, etc). The organisers are encouraged to describe their vision for an online event, should the need occur in light of the current global pandemic crisis.
  • The proposed duration: half or one day. Exceptionally, two days events may be considered.
  • Potential invited speaker(s).
  • Procedures for selecting papers and participants and plans for the publication of proceedings, if any.
  •  A tentative schedule for paper submission and notification of acceptance.

The organizers of the proposed events are expected to create and maintain a website for the event; handle paper selection, reviewing and acceptance; draw up a programme of talks; advertise their event though specialist mailing lists; prepare the informal pre-proceedings (if applicable) in a timely fashion; and arrange any post-proceedings.

Important Dates
Submission of workshop proposals April 1, 2021
Notification of success of proposals(workshop) April 12, 2021
Submission of tutorial proposals April 30, 2021
Notification of success of proposals(tutorial) May 14, 2021
FM 2021 November 20-26, 2021
Workshop/Tutorial dates November 20-21, 2021