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 | First-Order Logic Workbook (abstract) |
09:30 | Towards Graphical Feedback in the DiMo Learning Tool (abstract) |
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) |
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 | 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) |
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 | LogInd, a tool for supporting students in mastering structural induction (abstract) |
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) |
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