VSL 2014: VIENNA SUMMER OF LOGIC 2014
Patrick Cousot
Organization: Computer Science Department, Courant Institute of Mathematical Sciences, New York University
Web site: http://cs.nyu.edu/~pcousot/
Pages in this Program
CSL-LICS on Tuesday, July 15th, 2014
CSL-LICS Program
Program
Program for Tuesday, July 15th, 2014