VSL 2014: VIENNA SUMMER OF LOGIC 2014
Traian Florin Serbanuta
Organization: University of Bucharest
Web site: http://fsl.cs.uiuc.edu/~tserban2
Pages in this Program
Program
Program for Wednesday, July 16th, 2014
RTA-TLCA on Wednesday, July 16th, 2014
RTA-TLCA Program