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

Satellite workshop of CAV'22 and FLoC'22

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.

Programme

Detailed programme can be found here.

Call for papers

The call for papers is available here

Organizers

Jan Kretinsky (Technical University of Munich)
Josje Lodder (Open University The Netherlands)
Francois Schwarzentruber (ENS Rennes)
Maximilian Weininger (Technical University of Munich)
Thomas Zeume (Ruhr University Bochum)

Technical Organizers

Marko Schmellenkamp (Ruhr University Bochum)
Fabian Vehlken (Ruhr University Bochum)

Back to main site