VSL 2014: VIENNA SUMMER OF LOGIC 2014
Lars Birkedal
Organization: Dept. of Computer Science, Aarhus University
Web site: http://www.cs.au.dk/~birke
Pages in this Program
CSL-LICS Program Committee
Program
Program for Wednesday, July 16th, 2014
RTA-TLCA on Wednesday, July 16th, 2014
RTA-TLCA Program