VSL 2014: VIENNA SUMMER OF LOGIC 2014
Daniel De Schreye
Organization: Dept. Computer Science, KULeuven
Web site: http://www.cs.kuleuven.be/~dannyd
Pages in this Program
CICLOPS-WLPE Call for Papers
CICLOPS-WLPE Program Committee