VSL 2014: VIENNA SUMMER OF LOGIC 2014
Nikolaj Bjorner
Organization: Microsoft Research
Web site: http://research.microsoft.com/~nbjorner
Pages in this Program
CAV Call for Papers
CAV on Saturday, July 19th, 2014
CAV on Tuesday, July 22nd, 2014
CAV Program
CAV Program Committee
HCVS Call for Papers
IJCAR on Sunday, July 20th, 2014
IJCAR on Tuesday, July 22nd, 2014
IJCAR Program
Program
Program for Friday, July 18th, 2014
Program for Saturday, July 19th, 2014
Program for Sunday, July 20th, 2014
Program for Tuesday, July 22nd, 2014
QUANTIFY Call for Papers
QUANTIFY Home Page
QUANTIFY on Friday, July 18th, 2014
QUANTIFY Program
QUANTIFY Program Committee