VSL 2014: VIENNA SUMMER OF LOGIC 2014
Ekaterina Komendantskaya
Organization: School of Computing, University of Dundee
Web site: http://www.computing.dundee.ac.uk/staff/katya/
Pages in this Program
ACL2 on Saturday, July 12th, 2014
ACL2 Program
ARW-DT Call for Papers
ARW-DT Program Committee
Coq on Friday, July 18th, 2014
Coq Program
ICLP DC Program Committee
ICLP on Monday, July 21st, 2014
ICLP Program
Program
Program for Friday, July 18th, 2014
Program for Monday, July 21st, 2014
Program for Saturday, July 12th, 2014