VSL 2014: VIENNA SUMMER OF LOGIC 2014
Gilles Audemard
Organization: CRIL
Web site: http://cril.univ-artois.fr/~audemard
Pages in this Program
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
SAT Program Committee