VSL 2014: VIENNA SUMMER OF LOGIC 2014
Yves Lespérance
Organization: York University
Web site: http://www.cse.yorku.ca/~lesperan/
Pages in this Program
KR Program Committee