VSL 2014: VIENNA SUMMER OF LOGIC 2014

B
Beeson, Michael	Mixing proofs and computations
C
Cramer, Marcos	The Naproche system: Proof-checking mathematical texts in controlled natural language
G
Gonthier, Georges	How to prove the odd order from the four color theorem
Grabowski, Adam	25 years of the Mizar Mathematical Library
H
Hales, Thomas C.	TBA
Harrison, John	QED: a grand unified theory? Panel Discussion
K
Kaliszyk, Cezary	Hammering towards QED
Klein, Gerwin	The seL4 microkernel verification
Kohlhase, Michael	MathHub.info: Active Mathematics
Kumar, Ramana	Towards Formally Verified Theorem Provers - Part II
M
Myreen, Magnus	Towards Formally Verified Theorem Provers - Part I
S
Sacerdoti Coen, Claudio	TBA
Sutcliffe, Geoff	QED and the TPTP World

Disclaimer | Powered by EasyChair Smart Program