VSL 2014: VIENNA SUMMER OF LOGIC 2014
Atsushi Igarashi
Organization: Graduate School of Informatics, Kyoto University
Web site: http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/
Pages in this Program
WWV Program Committee