VSL 2014: VIENNA SUMMER OF LOGIC 2014
Jasmin Christian Blanchette
Organization: Inria Nancy & LORIA
Web site: http://www.loria.fr/~jablanch/
Pages in this Program
IJCAR on Saturday, July 19th, 2014
IJCAR Program
IJCAR Program Committee
Isabelle on Sunday, July 13th, 2014
Isabelle Program
ITP on Monday, July 14th, 2014
ITP on Tuesday, July 15th, 2014
ITP Program
PAAR Call for Papers
PAAR Program Committee
Program
Program for Monday, July 14th, 2014
Program for Saturday, July 19th, 2014
Program for Sunday, July 13th, 2014
Program for Tuesday, July 15th, 2014
Program for Wednesday, July 23rd, 2014
Vampire on Wednesday, July 23rd, 2014
Vampire Program