VSL 2014: VIENNA SUMMER OF LOGIC 2014
Magnus O. Myreen
Organization: Chalmers University of Technology
Web site: http://www.cl.cam.ac.uk/~mom22/
Pages in this Program
ACL2 Call for Papers
ACL2 on Sunday, July 13th, 2014
ACL2 Program
ACL2 Program Committee
HOL on Sunday, July 13th, 2014
HOL Program
ITP on Monday, July 14th, 2014
ITP Program
ITP Program Committee
Program
Program for Friday, July 18th, 2014
Program for Monday, July 14th, 2014
Program for Sunday, July 13th, 2014
QED on Friday, July 18th, 2014
QED Program