VSL 2014: VIENNA SUMMER OF LOGIC 2014
Jean-Pierre Jouannaud
Organization: Ecole Polytechnique and Tsinghua University
Pages in this Program
Program
Program for Monday, July 14th, 2014
RTA-TLCA on Monday, July 14th, 2014
RTA-TLCA Program