LC 2017: LOGIC COLLOQUIUM 2017
Emmanuel Jeandel
Organization: Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA)
Pages in this Program
Program
Program for Tuesday, August 15th