Days: Sunday, July 31st Monday, August 1st
View this program: with abstractssession overviewtalk overviewside by side with other conferences
5 talks, each roughly 10 minutes plus 5 minutes for discussion and questions.
| 09:15 | First-Order Logic Workbook (abstract) PRESENTER: Ján Kľuka |
| 09:30 | Towards Graphical Feedback in the DiMo Learning Tool (abstract)  PRESENTER: Maurice Herwig |
| 09:45 | Iltis: Teaching Logic in the Web (abstract) |
| 10:00 | Experiences on Online Teaching of Formal Methods to Systems Engineering Students (abstract) |
| 10:15 | DOMtutor -- Competitive Programming as Teaching Tool (abstract) |
5 talks, each roughly 10 minutes plus 5 minutes for discussion and questions.
In the end, we have an additional 15 minutes for discussion, talks running a bit longer or getting to the buffet early.
We kindly ask presenters from the first two sessions to be in the gather in the final 15 minutes so that remote participants can ask questions and discuss with them.
| 11:00 | Tableaunoir: an online blackboard for teaching formal methods and making slides (abstract) |
| 11:15 | Teaching Concurrency with pseuCo Book (abstract) |
| 11:30 | Teaching Formal Languages with Iltis - A Preview (abstract) |
| 11:45 | Automata Tutor (abstract) |
| 12:00 | Visualization of structural operational semantics over programs of simple imperative language. (abstract) PRESENTER: Ján Perháč |
Lunches will be held in Taub hall and in The Grand Water Research Institute.
4 talks, each roughly 10 minutes plus 5 minutes for discussion and questions.
We kindly ask presenters of this session to be in the gather after 15:00 so that remote participants can ask questions and discuss with them.
| 14:00 | LogInd, a tool for supporting students in mastering structural induction (abstract) PRESENTER: Josje Lodder |
| 14:15 | Prooffold: a prototype for displaying structured proofs (abstract) |
| 14:30 | Formal Methods Online: Sequent Calculus Verifier (SeCaV) (abstract) PRESENTER: Jørgen Villadsen |
| 14:45 | SIVA: Simulation and visualization of the DL tableau algorithm (abstract) PRESENTER: Júlia Pukancová |
View this program: with abstractssession overviewtalk overviewside by side with other conferences
Lunches will be held in Taub hall and in The Grand Water Research Institute.