VSL 2014: VIENNA SUMMER OF LOGIC 2014

A
Abrial, Jean-Raymond	Program Verification (B Method)
B
Barrett, Clark	Proofs in Satisfiability Modulo Theories
Barthe, Gilles	Security
Benzmüller, Christoph	Higher-Order Automated Theorem Provers
D
De Moura, Leonardo	Proofs in Satisfiability Modulo Theories
Dowek, Gilles	Deduction Modulo
F
Fontaine, Pascal	Proofs in Satisfiability Modulo Theories
G
Guglielmi, Alessio	Deep Inference
H
Heule, Marijn	Satisfiability Solvers
L
Leitsch, Alexander	Mathematical Proof Analysis
M
Miller, Dale	Foundational Proof Certificates
P
Paulin-Mohring, Christine	Calculus of Inductive Constructions
S
Schulz, Stephan	First-Order Automated Theorem Provers
W
Wenzel, Makarius	Interactive Theorem Provers from the perspective of Isabelle/Isar

Disclaimer | Powered by EasyChair Smart Program