VSL 2014: VIENNA SUMMER OF LOGIC 2014
Michele Pagani
Organization: Laboratoire Preuves, Programmes et Systèmes - Université Paris Diderot (Paris 7)
Web site: http://www-lipn.univ-paris13.fr/~pagani/
Pages in this Program
DCM on Sunday, July 13th, 2014
DCM Program
Program
Program for Saturday, July 12th, 2014
Program for Sunday, July 13th, 2014
WIR on Saturday, July 12th, 2014
WIR Program