VSL 2014: VIENNA SUMMER OF LOGIC 2014
Robert Simmons
Organization: Carnegie Mellon University
Web site: http://www.cs.cmu.edu/~rjsimmon
Pages in this Program
Linearity Call for Papers
Linearity Program Committee