VSL 2014: VIENNA SUMMER OF LOGIC 2014
Adam Chlipala
Organization: MIT
Web site: http://adam.chlipala.net/
Pages in this Program
Coq on Friday, July 18th, 2014
Coq Program
ITP on Monday, July 14th, 2014
ITP on Thursday, July 17th, 2014
ITP Program
LFMTP on Thursday, July 17th, 2014
LFMTP Program
LFMTP Program Committee
Program
Program for Friday, July 18th, 2014
Program for Monday, July 14th, 2014
Program for Thursday, July 17th, 2014