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

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

09:00-10:15 Session 87J
Location: FH, Hörsaal 4
09:00
John Harrison
QED: a grand unified theory? (abstract)
09:35
Georges Gonthier
How to prove the odd order from the four color theorem (abstract)
10:15-10:45Coffee Break
10:45-13:00 Session 90BG
Chair:
Freek Wiedijk
Location: FH, Hörsaal 4
10:45
Adam Grabowski
25 years of the Mizar Mathematical Library (abstract)
11:20
Gerwin Klein
The seL4 microkernel verification (abstract)
11:55
Magnus Myreen
Towards Formally Verified Theorem Provers - Part I (abstract)
12:15
Ramana Kumar
Towards Formally Verified Theorem Provers - Part II (abstract)
12:30
Claudio Sacerdoti Coen
TBA (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 96BE
Chair:
Josef Urban
Location: FH, Hörsaal 4
14:30
Thomas C. Hales
TBA (abstract)
15:00
Michael Beeson
Mixing proofs and computations (abstract)
15:30
Marcos Cramer
The Naproche system: Proof-checking mathematical texts in controlled natural language (abstract)
16:00-16:30Coffee Break
16:30-18:00 Session 99AZ
Location: FH, Hörsaal 4
16:30
Geoff Sutcliffe
QED and the TPTP World (abstract)
17:00
Michael Kohlhase
MathHub.info: Active Mathematics (abstract)
17:30
Cezary Kaliszyk
Hammering towards QED (abstract)
18:15-18:45 Session 104D
Location: FH, Hörsaal 4
18:15
John Harrison
Panel Discussion (abstract)