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.

Call for papers

The call for papers is available here


Back to main site