VSL 2014: VIENNA SUMMER OF LOGIC 2014
Pierre Marquis
Organization: CRIL-CNRS and Université d'Artois
Web site: http://www.cril.univ-artois/~marquis/
Pages in this Program
KR on Monday, July 21st, 2014
KR Program
KR Program Committee
Program
Program for Monday, July 21st, 2014