VSL 2014: VIENNA SUMMER OF LOGIC 2014
Rajeev Gore
Organization: The Australian National University
Web site: http://arp.anu.edu.au/~rpg
Pages in this Program
ADDCT Call for Papers
ADDCT Program Committee
ARQNL Call for Papers
ARQNL Program Committee
ARW-DT on Wednesday, July 23rd, 2014
ARW-DT Program
IJCAR on Monday, July 21st, 2014
IJCAR on Saturday, July 19th, 2014
IJCAR on Sunday, July 20th, 2014
IJCAR Program
Program
Program for Monday, July 21st, 2014
Program for Saturday, July 19th, 2014
Program for Sunday, July 20th, 2014
Program for Wednesday, July 23rd, 2014
VERIFY on Wednesday, July 23rd, 2014
VERIFY Program
WING on Wednesday, July 23rd, 2014
WING Program