VSL 2014: VIENNA SUMMER OF LOGIC 2014
Tobias Schubert
Organization: Albert-Ludwigs-University Freiburg
Web site: http://ira.informatik.uni-freiburg.de/~schubert
Pages in this Program
CICLOPS-WLPE Call for Papers
CICLOPS-WLPE Program Committee
SAT Program Committee