VSL 2014: VIENNA SUMMER OF LOGIC 2014
Cyril Terrioux
Organization: LSIS - UMR CNRS 7296 - Aix-Marseille Université
Web site: http://www.lsis.org/terriouxc/index.php?page=home&lang=en
Pages in this Program
CSPSAT on Friday, July 18th, 2014
CSPSAT Program
Program
Program for Friday, July 18th, 2014