VSL 2014: VIENNA SUMMER OF LOGIC 2014
Luca Roversi
Organization: Dipartimento di Informatica, Univ. Torino
Web site: http://www.di.unito.it/~rover/
Pages in this Program
SD Home Page
SD Program Committee