VSL 2014: VIENNA SUMMER OF LOGIC 2014
Aleš Bizjak
Organization: Department of Computer Science, Aarhus University
Web site: http://www.cs.au.dk/~abizjak/
Pages in this Program
Program
Program for Wednesday, July 16th, 2014
RTA-TLCA on Wednesday, July 16th, 2014
RTA-TLCA Program