VSL 2014: VIENNA SUMMER OF LOGIC 2014
Clément Aubert
Organization: INRIA -- Université Paris-Est, LACL (EA 4219), UPEC, F-94010 Créteil, France
Web site: http://lacl.fr/~caubert/
Pages in this Program
Program
Program for Monday, July 14th, 2014
RTA-TLCA on Monday, July 14th, 2014
RTA-TLCA Program