FOMEO'22: Formal Methods Education Online: Tips, Tricks & Tools 2022 Satellite workshop of CAV/FLoC 22 Haifa, Israel, July 31-August 1, 2022 |
| Conference website | https://www7.in.tum.de/~kretinsk/fomeo.html |
| Submission link | https://easychair.org/conferences/?conf=fomeo22 |
| Conference program | https://easychair.org/smart-program/FLoC2022/ |
| Abstract registration deadline | July 30, 2022 |
| Submission deadline | July 30, 2022 |
==========================================================
First Call for Contributions
FOMEO'22 Formal Methods Education Online: Tips, Tricks & Tools
Collocated with FLoC'22
https://www7.in.tum.de/~kretinsk/fomeo.html
==========================================================
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.
IMPORTANT DATES:
* decision physical/hybrid/online workshop May 1st, 2022
* submission deadline May 30th, 2022 (AoE) [updated]
* acceptance notification June 15th, 2022 [updated]
* preliminary workshop date July 31st and/or August 1st, 2021
FORMAT:
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.
The workshop will be hybrid, i.e. you can present in person in Haifa or join online.
SUBMISSION:
You can submit your contribution at https://easychair.org/conferences/?conf=fomeo22
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:
- Name:
- Link:
- Area:
- 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!
ORGANIZERS:
Jan Křetínský (TU Munich, jan.kretinsky@tum.com)
Josje Lodder (Open Universiteit Nederland, josje.lodder@ou.nl)
Francois Schwarzentruber (ENS Rennes, francois.schwarzentruber@ens-rennes.fr)
Maximilian Weininger (TU Munich, maxi.weininger@tum.de)
Thomas Zeume (Ruhr University Bochum, thomas.zeume@rub.de)