VSL 2014: VIENNA SUMMER OF LOGIC 2014
David Plaisted
Organization: University of North Carolina-Chapel Hill
Web site: http://www.cs.unc.edu/~plaisted
Pages in this Program
IFIP-WG16 on Sunday, July 13th, 2014
IFIP-WG16 Program
PAAR on Wednesday, July 23rd, 2014
PAAR Program
Program
Program for Sunday, July 13th, 2014
Program for Wednesday, July 23rd, 2014
UNIF on Sunday, July 13th, 2014
UNIF Program