VSL 2014: VIENNA SUMMER OF LOGIC 2014
Andrea Asperti
Organization: Department of Computer Science, University of Bologna
Web site: http://www.cs.unibo.it/~asperti
Pages in this Program
CSL-LICS Program Committee