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
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)
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