VSL 2014: VIENNA SUMMER OF LOGIC 2014
Jérôme Lang
Organization: LAMSADE
Web site: http://www.lamsade.dauphine.fr/~lang/
Pages in this Program
KR Program Committee