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

Online instruction of formal methods has gained more and more importance over the last years, including teaching of basics of logics and automata theory, formal verification, theorem proving, knowledge representation etc.
This workshop brings together instructors of formal methods as well as developers of teaching support systems for formal methods to
(a) present teaching support systems for formal methods education, and
(b) discuss experiences with and concepts for developing online courses and tools.

Specific FOMEO websites

List of presented tools

Here is a short overview of all the presented tools.


Formal languages and methods