VSL 2014: VIENNA SUMMER OF LOGIC 2014
Franz Baader
Organization: TU Dresden
Web site: http://lat.inf.tu-dresden.de/~baader/index-en.html
Pages in this Program
ADDCT Call for Papers
ADDCT Program Committee
CAV on Monday, July 21st, 2014
CAV Program
CSF on Monday, July 21st, 2014
CSF Program
DL on Thursday, July 17th, 2014
DL Program
DL Program Committee
FLoC Program
ICLP on Monday, July 21st, 2014
ICLP Program
IJCAR on Monday, July 21st, 2014
IJCAR Program
IJCAR Program Committee
KR on Monday, July 21st, 2014
KR Program
KR Program Committee
KR4HC on Monday, July 21st, 2014
KR4HC Program
LATD on Friday, July 18th, 2014
LATD on Saturday, July 19th, 2014
LATD Program
ORE Program Committee
Program
Program for Friday, July 18th, 2014
Program for Monday, July 21st, 2014
Program for Saturday, July 19th, 2014
Program for Sunday, July 13th, 2014
Program for Thursday, July 17th, 2014
UNIF Call for Papers
UNIF Home Page
UNIF on Sunday, July 13th, 2014
UNIF Program
UNIF Program Committee
VSL Program