VSL 2014: VIENNA SUMMER OF LOGIC 2014
Andrea Marrella
Organization: Dipartimento di Ingegneria Informatica, Automatica e Gestionale "Antonio Ruberti", SAPIENZA - Università di Roma, Italy
Web site: http://www.dis.uniroma1.it/~marrella/
Pages in this Program
KR on Wednesday, July 23rd, 2014
KR Program
Program
Program for Wednesday, July 23rd, 2014