VSL 2014: VIENNA SUMMER OF LOGIC 2014
Sylvie Thiebaux
Organization: ANU
Web site: http://users.rsise.anu.edu.au/~thiebaux
Pages in this Program
KR Program Committee