Formal Methods Education Online: Tips, Tricks & Tools (FOMEO'21)

Satellite workshop of ICALP, July 12, 2021

Online instruction of formal methods has been a challenge in the last year, including teaching of basics of logics and automata theory, formal verification, theorem proving etc. This workshop brings together instructors of formal methods as well as developers of teaching support systems for formal methods to
(a) present web-based teaching support systems for formal methods education, and
(b) discuss tips, tricks & experiences in online instruction gained in the last year.


Our impression is that a lot of nice ideas, tools and tricks for online teaching have been developped, but are not widely known thorugh the community. We would like to know more about what others are doing and strongly suspect that many instructors are very interested in learning about approaches used by others. We, the organizers, are actively involved in building teaching support systems for formal methods. Jan and Maximilian are the current project leads of AutomataTutor, a tool for teaching the foundations of formal languages. Thomas is the project lead of Iltis, a tool for teaching the foundations of logic. In our work, we encountered several other teaching support systems that cover topics of formal methods education, but our impression is that many of these systems are not widely known.

List of presented tools

Here is a short overview of all the presented tools.


Formal languages and methods


Programme on Monday, July 12

We will have short presentations in Zoom sessions, augmented by additional discussions in, where presenters have their own space to answer questions, discuss and demonstrate in more detail.
All times are given in CEST (Central European Summer Time).

09:30 Coffee and technical check

09:50 Welcome

10:00-11:00 Formal languages and methods

11:00-11:45 Discussion and demos in

13:00-13:45 Logics: Modelling/Transformations/Reasoning

14:00-14:45 Logics: Deduction

14:45-open Discussion and demos in

Additional demos in



Registration for FOMEO'21 is open via the ICALP workshop registration.

The deadline for registration is July 7th AoE. Please feel very welcome to ask any questions via mail to!


Deadline: May 8 May 15, 2021

Via Easychair, for more detail see the call