VSL 2014: VIENNA SUMMER OF LOGIC 2014
Boris Konev
Organization: University of Liverpool
Web site: http://www.csc.liv.ac.uk/~konev/
Pages in this Program
DL on Sunday, July 20th, 2014
DL Program
DL Program Committee
IJCAR Program Committee
KR on Tuesday, July 22nd, 2014
KR on Wednesday, July 23rd, 2014
KR Program
PAAR Call for Papers
PAAR Program Committee
Program
Program for Sunday, July 20th, 2014
Program for Tuesday, July 22nd, 2014
Program for Wednesday, July 16th, 2014
Program for Wednesday, July 23rd, 2014
SAT on Wednesday, July 16th, 2014
SAT Program