VSL 2014: VIENNA SUMMER OF LOGIC 2014
Marc Denecker
Organization: K.U.Leuven
Web site: http://www.cs.kuleuven.ac.be/~marcd/
Pages in this Program
ICLP on Monday, July 21st, 2014
ICLP on Sunday, July 20th, 2014
ICLP on Tuesday, July 22nd, 2014
ICLP Program
KR on Thursday, July 24th, 2014
KR Program
KR Program Committee
LaSh Call for Papers
LaSh on Friday, July 18th, 2014
LaSh Program
LaSh Program Committee
NMR on Thursday, July 17th, 2014
NMR Program
NMR Program Committee
Program
Program for Friday, July 18th, 2014
Program for Monday, July 21st, 2014
Program for Sunday, July 20th, 2014
Program for Thursday, July 17th, 2014
Program for Thursday, July 24th, 2014
Program for Tuesday, July 22nd, 2014