APPA 2014 VSL PROCEEDINGS: PAPERS WITH ABSTRACTS

Editors: Bruno Woltzenlogel Paleo and David Delahaye

Authors, Title and Abstract	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