VSL 2014: VIENNA SUMMER OF LOGIC 2014
Andrei Popescu
Organization: TU Muenchen
Web site: http://www4.in.tum.de/~popescua
Pages in this Program
CAV on Saturday, July 19th, 2014
CAV Program
CSF on Saturday, July 19th, 2014
CSF Program
IJCAR on Saturday, July 19th, 2014
IJCAR Program
Isabelle on Sunday, July 13th, 2014
Isabelle Program
ITP on Monday, July 14th, 2014
ITP on Tuesday, July 15th, 2014
ITP Program
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