APPA 2014 VSL PROCEEDINGS: AUTHOR INDEX

Shortcuts: A B D F G H L M P S W

A
Abrial, Jean-Raymond	Program Verification (B Method) (PDF, talk)
B
Barrett, Clark	SMT-Solvers (PDF, talk)
Barthe, Gilles	Security (PDF, talk)
Benzmüller, Christoph	Higher-Order Automated Theorem Provers (PDF, talk)
Biere, Armin	Satisfiability Solvers (PDF, talk)
D
De Moura, Leonardo	SMT-Solvers (PDF, talk)
Dowek, Gilles	Deduction Modulo Theory (PDF, talk)
Dupressoir, François	Security (PDF, talk)
F
Fontaine, Pascal	SMT-Solvers (PDF, talk)
G
Grégoire, Benjamin	Security (PDF, talk)
Guglielmi, Alessio	Deep Inference (PDF, talk)
H
Heule, Marijn	Satisfiability Solvers (PDF, talk)
L
Leitsch, Alexander	Mathematical Proof Analysis (PDF, talk)
M
Miller, Dale	Foundational Proof Certificates (PDF, talk)
P
Paulin-Mohring, Christine	Calculus of Inductive Constructions (PDF, talk)
S
Schmidt, Benedikt	Security (PDF, talk)
Schulz, Stephan	Proof Generation for Saturating First-Order Theorem Provers (PDF, talk)
Strub, Pierre-Yves	Security (PDF, talk)
Sutcliffe, Geoff	Proof Generation for Saturating First-Order Theorem Provers (PDF, talk)
W
Wenzel, Makarius	Interactive Theorem Provers from the perspective of Isabelle/Isar (PDF, talk)