VSL 2014: VIENNA SUMMER OF LOGIC 2014
Andrey Rybalchenko
Organization: Microsoft Research
Web site: http://research.microsoft.com/en-us/people/rybal
Pages in this Program
HCVS Call for Papers
ICLP on Thursday, July 17th, 2014
ICLP on Tuesday, July 22nd, 2014
ICLP Program
Program
Program for Friday, July 18th, 2014
Program for Thursday, July 17th, 2014
Program for Tuesday, July 22nd, 2014
VPT on Friday, July 18th, 2014
VPT Program