VSL 2014: VIENNA SUMMER OF LOGIC 2014
Andrei Stefanescu
Organization: University of Illinois at Urbana-Champaign
Web site: http://fsl.cs.uiuc.edu/index.php/Andrei_Stefanescu
Pages in this Program
Program
Program for Wednesday, July 16th, 2014
RTA-TLCA on Wednesday, July 16th, 2014
RTA-TLCA Program