VSL 2014: VIENNA SUMMER OF LOGIC 2014
Bart Jacobs
Organization: Katholieke Universiteit Leuven, Belgium
Web site: http://www.cs.kuleuven.be/~bartj/
Pages in this Program
VSTTE Program Committee
WING Call for Papers
WING Program Committee