VSL 2014: VIENNA SUMMER OF LOGIC 2014
Olivier Bouissou
Organization: Commissariat à l'Energie Atomique
Web site: http://www.lix.polytechnique.fr/~bouissou
Pages in this Program
NSV on Thursday, July 17th, 2014
NSV Program
Program
Program for Thursday, July 17th, 2014