FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
ISABELLE 2022 PROGRAM
Thursday, August 11th

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

09:10-10:30 Session 93: Isabelle 1
09:10
Welcome
09:20
Auxiliary tools for Combinatorics on Words (abstract)
09:35
Transfer and reversal of lists (abstract)
10:00
Oracle Integration of Floating-Point Solvers with Isabelle (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 95C: Isabelle 2
11:00
A Verified Implementation of B-trees in Isabelle/HOL (abstract)
11:30
On Axiomatic Systems for Classical Propositional Logic (abstract)
11:50
On Termination for Hybrid Tableaux (abstract)
12:10
Lessons of Teaching Formal Methods with Isabelle (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 97C: Isabelle 3
14:00
Isabelle/VSCode and Electron/Node.js as emerging Isabelle technologies (abstract)
14:30
Towards Accessible Formal Mathematics with ISAC and Isabelle/VSCode (abstract)
15:00
A Linter for Isabelle: Implementation and Evaluation (abstract)
15:30-16:00Coffee Break
16:00-17:30 Session 98C: Isabelle 4
16:00
Gale-Shapley Verified (abstract)
16:30
From P != NP to monotone circuits of super-polynomial size (abstract)
17:00
Automating Kantian Ethics in Isabelle: A Case Study (abstract)
18:00-19:30Workshop Dinner (at the Technion) - Paid event