VSL 2014: VIENNA SUMMER OF LOGIC 2014
Matthieu Sozeau
Organization: Inria Paris
Web site: http://www.pps.univ-paris-diderot.fr/~sozeau
Pages in this Program
Coq Call for Papers
Coq Home Page
Coq on Friday, July 18th, 2014
Coq Program
Coq Program Committee
ITP on Thursday, July 17th, 2014
ITP Program
Program
Program for Friday, July 18th, 2014
Program for Sunday, July 13th, 2014
Program for Thursday, July 17th, 2014
UNIF on Sunday, July 13th, 2014
UNIF Program