APPA 2014 VSL PROCEEDINGS

Editors: Bruno Woltzenlogel Paleo and David Delahaye

Authors	Title	Paper	Talk
Jean-Raymond Abrial	Program Verification (B Method)		Jul 18 16:30
Clark Barrett, Pascal Fontaine and Leonardo De Moura	SMT-Solvers		Jul 18 09:30
Gilles Barthe, François Dupressoir, Benjamin Grégoire, Benedikt Schmidt and Pierre-Yves Strub	Security		Jul 18 17:00
Christoph Benzmüller	Higher-Order Automated Theorem Provers		Jul 18 11:15
Gilles Dowek	Deduction Modulo Theory		Jul 18 15:00
Alessio Guglielmi	Deep Inference		Jul 18 17:30
Marijn Heule and Armin Biere	Satisfiability Solvers		Jul 18 09:00
Alexander Leitsch	Mathematical Proof Analysis		Jul 18 15:30
Dale Miller	Foundational Proof Certificates		Jul 18 14:30
Christine Paulin-Mohring	Calculus of Inductive Constructions		Jul 18 12:30
Stephan Schulz and Geoff Sutcliffe	Proof Generation for Saturating First-Order Theorem Provers		Jul 18 10:45
Makarius Wenzel	Interactive Theorem Provers from the perspective of Isabelle/Isar		Jul 18 12:00