VSL 2014: VIENNA SUMMER OF LOGIC 2014
Lennart Beringer
Organization: Princeton University
Web site: http://www.cs.princeton.edu/~eberinge/
Pages in this Program
ITP Program Committee
LOLA Home Page
LOLA Program Committee