VSL 2014: VIENNA SUMMER OF LOGIC 2014
Dimitrios Vardoulakis
Organization: Google
Web site: http://dimvar.github.io
Pages in this Program
HOPA Program Committee