Home

Integrating SAT and SMT Solvers with Isabelle/HOL

Mon, 2009-07-20 13:20 | by gfaure
Date: 
Thursday, September 10, 2009 - 10:00 - 18:00
Speaker: 
workshop

10:00 - 11:00 Tjark Weber: Integrating SAT and SMT in Isabelle/HOL (slides)
11:00 - 11:30 BREAK
11:30 - 12:30 Michael Armand: Integrating SAT in Coq (slides)
12:30 - 13:00 discussions

14:00 - 15:00 Sascha Boehme: Integrating SMT in Isabelle/HOL (slides)
15:00 - 15:30 BREAK
15:30 - 16:30 Pascal Fontaine: The veriT solver
16:30 - ... discussions