VSL 2014: VIENNA SUMMER OF LOGIC 2014
Jean-Michel Muller
Organization: CNRS, Laboratoire LIP (CNRS, ENS Lyon, INRIA, UCBL)
Web site: http://perso.ens-lyon.fr/jean-michel.muller
Pages in this Program
NSV on Thursday, July 17th, 2014
NSV Program
Program
Program for Thursday, July 17th, 2014