Tutorial Paper Track

Important Dates (Tutorial Papers Only)

Tutorial Paper SubmissionApril 19th, 2024 (Fri)23:59 AoE
Preliminary DecisionMay 24th, 2024 (Fri)23:59 AoE
Revised Version DueJune 9th, 2024 (Sun)23:59 AoE
Final DecisionJune 24th, 2024 (Mon)23:59 AoE
Final Paper DueJuly 1st, 2024 (Mon)23:59 AoE
ConferenceSeptember 9th – 13th, 2024

Tutorial papers present ideas with a focus on pedagogy over technical innovation. By being written in a broadly-accessible way, a tutorial will clarify important ideas, bring new researchers into the community, and serve as a bridge to practitioners. A good tutorial paper is not expected to have any technical innovation at all. Instead, we will evaluate it on its pedagogy: Is it crisp and clear? Is it readable? Does it help build good intuitions? Is it comfortable to follow? Will it help useful ideas reach a much broader audience?

While tutorials about tools are a canonical fit, tutorials about techniques are also welcome. Prospective authors who want to suggest tutorials of other kinds are welcome to contact the chairs to get guidance. In general, we are very open-minded about what tutorials are about, provided they are about topics of interest to the formal methods community.

Tutorial papers can be at most 22 pages in LNCS format. 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. Papers are welcome to include an appendix, which reviewers will read at their discretion. (We understand that detailed screen-shots, tool descriptions, etc., are best relegated to an appendix, and reviewers will make a good-faith effort to examine these.) Authors of a paper need not be the creators of the technical concepts it describes. The paper must provide clear references to the original technical content. The presentation must be novel relative to the published literature.

Accepted papers will be published in the conference proceedings. Authors of accepted papers will be given a presentation slot in the tutorials period preceding the main conference. The tutorial paper submission should specify the desired length of the presentation, which can be a half or full day. They will also be invited (but are not required) to give a five-minute presentation during the main conference, to give their tutorial wider notice.

Authors can also request a tutorial presentation slot without an accompanying paper by submitting a short tutorial proposal instead. Priority will be given, however, to tutorials accompanied by full tutorial papers.


Submit your papers at https://easychair.org/conferences/?conf=fm24

Tutorial Track Committee

Luigia PetreÅbo Akademi University, FinlandPC Co-Chair
Shriram KrishnamurthiBrown University, USAPC Co-Chair
Anindya BanerjeeIMDEA Software Institute, SpainPC Member
Brijesh DongolUniversity of Surrey, UKPC Member
Daniel JacksonMIT, USAPC Member
David Thrane ChristiansenLean FRO, LLCPC Member
Jan Friso GrooteEindhoven University of Technology, NetherlandsPC Member
Jannis LimpergUniversity of Munich (LMU), GermanyPC Member
Jeroen KeirenEindhoven University of Technology, NetherlandsPC Member
Marcello BonsangueLeiden University, NetherlandsPC Member
Markus Alexander KuppeMicrosoft Research, USAPC Member
Maurice ter BeekCNR-ISTI, Pisa, ItalyPC Member
Nikolaj BjornerMicrosoft Research, USAPC Member
Rosemary MonahanMaynooth University, IrelandPC Member
Stefan HallerstedeAarhus University, DenmarkPC Member
Thierry LecomteCLEARSY, FrancePC Member
Tim NelsonBrown University, USAPC Member