VSL 2014: VIENNA SUMMER OF LOGIC 2014
Freek Wiedijk
Organization: Radboud University Nijmegen
Web site: http://www.cs.ru.nl/~freek/
Pages in this Program
ACL2 Call for Papers
ACL2 Program Committee
ITP on Thursday, July 17th, 2014
ITP Program
Program
Program for Friday, July 18th, 2014
Program for Thursday, July 17th, 2014
QED on Friday, July 18th, 2014
QED Program
QED Program Committee