VSL 2014: VIENNA SUMMER OF LOGIC 2014
Marco Ruzzi
Organization: Dipartimento di Ingegneria Informatica Automatica e Gestionale Antonio Ruberti, University of Rome "La Sapienza"
Web site: http://www.dis.uniroma1.it/~ruzzi/
Pages in this Program
DL on Saturday, July 19th, 2014
DL Program
Program
Program for Saturday, July 19th, 2014