FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
FOMEO'22 PROGRAM

Days: Sunday, July 31st Monday, August 1st

Sunday, July 31st

View this program: with abstractssession overviewtalk overviewside by side with other conferences

09:15-10:30 Session 3: Teaching logic

5 talks, each roughly 10 minutes plus 5 minutes for discussion and questions.

09:15
Ján Kľuka, Jozef Šiška, Miroslav Baluch, Milan Cifra, Samantha Gombárová, Norbert Jurík, Matej Komlóssy, Nikola Kulíková, Matej Mok, Alexandra Nyitraiová, Zoltán Onódy and Richard Tóth
First-Order Logic Workbook (abstract)
09:30
Maurice Herwig, Norbert Hundeshagen and Martin Lange
Towards Graphical Feedback in the DiMo Learning Tool (abstract)
09:45
Fabian Vehlken
Iltis: Teaching Logic in the Web (abstract)
10:00
Muhammad Usama Sardar
Experiences on Online Teaching of Formal Methods to Systems Engineering Students (abstract)
10:15
Tobias Meggendorfer
DOMtutor -- Competitive Programming as Teaching Tool (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 7A: Teaching formal methods

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.

11:00
Francois Schwarzentruber
Tableaunoir: an online blackboard for teaching formal methods and making slides (abstract)
11:15
Felix Freiberger
Teaching Concurrency with pseuCo Book (abstract)
11:30
Marko Schmellenkamp
Teaching Formal Languages with Iltis - A Preview (abstract)
11:45
Maximilian Weininger
Automata Tutor (abstract)
12:00
Ján Perháč and Vitalii Tsimbolynets
Visualization of structural operational semantics over programs of simple imperative language. (abstract)
12:30-14:00Lunch Break
14:00-15:00 Session 11D: Teaching proofs

4 talks, each roughly 10 minutes plus 5 minutes for discussion and questions.

14:00
Josje Lodder, Bastiaan Heeren, Johan Jeuring and Ben de Vries
LogInd, a tool for supporting students in mastering structural induction (abstract)
14:15
Francois Schwarzentruber
Prooffold: a prototype for displaying structured proofs (abstract)
14:30
Asta Halkjær From, Frederik Krogsdal Jacobsen and Jørgen Villadsen
Formal Methods Online: Sequent Calculus Verifier (SeCaV) (abstract)
PRESENTER: Jørgen Villadsen
14:45
Peter Paulovics, Júlia Pukancová and Martin Homola
SIVA: Simulation and visualization of the DL tableau algorithm (abstract)
15:30-16:00Coffee Break
Monday, August 1st

View this program: with abstractssession overviewtalk overviewside by side with other conferences

10:30-11:00Coffee Break
12:30-14:00Lunch Break
15:30-16:00Coffee Break
18:30-20:00Workshop Dinner (at the Technion) - Paid event