VSL 2014: VIENNA SUMMER OF LOGIC 2014
Cezary Kaliszyk
Organization: University of Innsbruck
Web site: http://cl-informatik.uibk.ac.at/users/cek/
Pages in this Program
ACL2 on Saturday, July 12th, 2014
ACL2 Program
PAAR on Wednesday, July 23rd, 2014
PAAR Program
Program
Program for Friday, July 18th, 2014
Program for Saturday, July 12th, 2014
Program for Wednesday, July 23rd, 2014
QED on Friday, July 18th, 2014
QED Program