VSL 2014: VIENNA SUMMER OF LOGIC 2014
APPA PROGRAM
Friday, July 18th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

09:00-10:15 Session 87F: Invited Tutorials (SAT- and SMT-Solvers)
Location: FH, Seminarraum 325/1
09:00
Marijn Heule
Satisfiability Solvers (abstract)
09:30
Clark Barrett, Pascal Fontaine and Leonardo De Moura
Proofs in Satisfiability Modulo Theories (abstract)
10:15-10:45Coffee Break
10:45-11:45 Session 90AK: Invited Tutorials (First- and Higher-order Automated Theorem Provers)
Location: FH, Seminarraum 325/1
10:45
Stephan Schulz
First-Order Automated Theorem Provers (abstract)
11:15
Christoph Benzmüller
Higher-Order Automated Theorem Provers (abstract)
12:00-13:00 Session 94B: Invited Tutorials (Interactive Theorem Provers and Calculus of Inductive Constructions)
Location: FH, Seminarraum 325/1
12:00
Makarius Wenzel
Interactive Theorem Provers from the perspective of Isabelle/Isar (abstract)
12:30
Christine Paulin-Mohring
Calculus of Inductive Constructions (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 96AM: Invited Tutorials (Foundational Proof Certificates, Deduction Modulo and Proof Analysis)
Location: FH, Seminarraum 325/1
14:30
Dale Miller
Foundational Proof Certificates (abstract)
15:00
Gilles Dowek
Deduction Modulo (abstract)
15:30
Alexander Leitsch
Mathematical Proof Analysis (abstract)
16:00-16:30Coffee Break
16:30-18:00 Session 99AL: Invited Tutorials (Verification, Security and Deep Inference)
Location: FH, Seminarraum 325/1
16:30
Jean-Raymond Abrial
Program Verification (B Method) (abstract)
17:00
Gilles Barthe
Security (abstract)
17:30
Alessio Guglielmi
Deep Inference (abstract)