VSL 2014: VIENNA SUMMER OF LOGIC 2014
Björn Lisper
Organization: Mälardalen University
Web site: http://www.idt.mdh.se/~blr/
Pages in this Program
SSV Program Committee