VSL 2014: VIENNA SUMMER OF LOGIC 2014
Christian Urban
Organization: King's College London
Web site: http://www.dcs.kcl.ac.uk/staff/urbanc/
Pages in this Program
ITP Program Committee