VSL 2014: VIENNA SUMMER OF LOGIC 2014
John-Jules Meyer
Organization: Utrecht University
Web site: http://www.cs.uu.nl/staff/jj.html
Pages in this Program
KR Program Committee