VSL 2014: VIENNA SUMMER OF LOGIC 2014
Alexander Krauss
Organization: Technische Universität München
Web site: http://www.in.tum.de/~krauss/
Pages in this Program
ITP Program Committee