VSL 2014: VIENNA SUMMER OF LOGIC 2014
Laurent Simon
Organization: Labri, Bordeaux Institute of Technology
Web site: http://www.labri.fr/~lsimon
Pages in this Program
KR Program Committee
POS on Sunday, July 13th, 2014
POS Program
Program
Program for Sunday, July 13th, 2014
Program for Tuesday, July 15th, 2014
Program for Wednesday, July 16th, 2014
SAT on Tuesday, July 15th, 2014
SAT on Wednesday, July 16th, 2014
SAT Program