VSL 2014: VIENNA SUMMER OF LOGIC 2014
Allen Van Gelder
Organization: University of California, Santa Cruz
Web site: http://www.cse.ucsc.edu/~avg
Pages in this Program
POS Call for Papers
POS Program Committee
SAT Program Committee