VSL 2014: VIENNA SUMMER OF LOGIC 2014
Adriana Compagnoni
Organization: Stevens Institute of Technology
Web site: http://www.cs.stevens.edu/~abc
Pages in this Program
CSL-LICS Program Committee