VSL 2014: VIENNA SUMMER OF LOGIC 2014
Martín Abadi
Organization: Google & University of California at Santa Cruz
Web site: http://www.soe.ucsc.edu/~abadi/home.html
Pages in this Program
CSF Program Committee