VSL 2014: VIENNA SUMMER OF LOGIC 2014
Naoki Kobayashi
Organization: University of Tokyo
Web site: http://www-kb.is.s.u-tokyo.ac.jp/~koba/
Pages in this Program
CSL-LICS Program Committee