VSL 2014: VIENNA SUMMER OF LOGIC 2014
Eijiro Sumii
Organization: Tohoku University
Web site: http://www.kb.ecei.tohoku.ac.jp/~sumii/
Pages in this Program
WPTE Call for Papers
WPTE Program Committee