VSL 2014: VIENNA SUMMER OF LOGIC 2014
Ken McMillan
Organization: Microsoft Research
Web site: http://www.kenmcmil.com
Pages in this Program
CAV on Sunday, July 20th, 2014
CAV Program
HCVS Call for Papers
IJCAR on Tuesday, July 22nd, 2014
IJCAR Program
iPRA on Friday, July 18th, 2014
iPRA Program
Program
Program for Friday, July 18th, 2014
Program for Sunday, July 20th, 2014
Program for Tuesday, July 22nd, 2014