posted by user: sadegh_rk || 151 views || tracked by 1 users: [display]

FOMEO 2022 : Formal Methods Education Online: Tips, Tricks & Tools 2022


When Jul 31, 2022 - Aug 1, 2022
Where Haifa, Israel
Abstract Registration Due May 1, 2022
Submission Deadline May 10, 2022
Notification Due May 31, 2022
Final Version Due May 31, 2022
Categories    formal methods   logic

Call For Papers


First Call for Contributions

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

Collocated with FLoC'22


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.


* decision physical/hybrid/online workshop May 1st, 2022

* submission deadline May 10th, 2022 (AoE)

* acceptance notification May 31st, 2021

* preliminary workshop date July 31st and/or August 1st, 2021


We plan to have short presentations of the tools and concepts, advertising the key functionality, as well as discussion sessions, to allow for detailed questions, demos and exchanging experiences.

Depending on the decision of FLoC on May 1st, we will either offer a physical or hybrid workshop or have it completely online.


You can submit your contribution at

We allow submission about tools that were already presented in the previous edition of FOMEO.

Submissions should provide a short abstract (at most 1 page pdf in free format) and fill in the basic information according to the following template:

Content (3-5 lines):
Usage (3-5 lines):

There will be no formal proceedings, but the PDF and the basic tool information will be included in the regularly amended list of all tools on the FOMEO website.

Please feel very welcome to ask any questions!


Jan Křetínský (TU Munich,

Josje Lodder (Open Universiteit Nederland,

Francois Schwarzentruber (ENS Rennes,

Maximilian Weininger (TU Munich,

Thomas Zeume (Ruhr University Bochum,

Related Resources

ICFEM 2022   23th International Conference on Formal Engineering Methods
TASE 2022   Theoretical Aspects of Software Engineering
EXPRESS/SOS 2022   Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics
ICSEA 2022   The Seventeenth International Conference on Software Engineering Advances
FMICS 2022   International Conference on Formal Methods for Industrial Critical Systems
SIMULTECH 2022   12th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
SECURWARE 2022   International Conference on Emerging Security Information, Systems and Technologies
iFM 2022   International Conference on integrated Formal Methods
LANMR 2022   Fourteenth Latin American Workshop series on Logic/Languages, Algorithms and New Methods of Reasoning
SRDS 2022   41st International Symposium on Reliable Distributed Systems