FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
THEDU'22 PROGRAM
Thursday, August 11th

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

08:55-09:00 Session 91: Welcome
Chair:
Pedro Quaresma
09:00-10:30 Session 92I: SMT & Automated Deduction (Undergraduate Classes)
Chair:
Pedro Quaresma
09:00
Frederik Krogsdal Jacobsen and Jørgen Villadsen
On Exams with the Isabelle Proof Assistant (abstract)
PRESENTER: Frederik Krogsdal Jacobsen
09:30
Yoni Zohar
Invited Talk: Satisfiability Modulo Theories in an Undergraduate Class (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 95K: Proof Tree Builder & Rule Based ATP
11:00
Joomy Korkut
A Proof Tree Builder for Sequent Calculus and Hoare Logic (abstract)
11:30
Nuno Baeta, Pedro Teixeira and Pedro Quaresma
Rule Based Geometry Automated Theorem Provers (abstract)
PRESENTER: Pedro Quaresma
12:30-14:00Lunch Break
14:00-15:30 Session 97K: Proofs in Education (High-School)
Chair:
Frederik Krogsdal Jacobsen
14:00
Noah Dana-Picard
Invited Talk: Computer-assisted proofs and automated methods in Mathematics Education (abstract)
15:00
Joana Teles, Vanda Santos and Pedro Quaresma
A Rule-Based Theorem Prover: an Introduction to Proofs at 7th Year (abstract)
PRESENTER: Pedro Quaresma
15:30-16:00Coffee Break
16:00-17:00 Session 98K: Business Meeting & Closing
Chair:
Pedro Quaresma
18:00-19:30Workshop Dinner (at the Technion) - Paid event