VSL 2014: VIENNA SUMMER OF LOGIC 2014
Neelakantan Krishnaswami
Organization: The University of Birmingham
Web site: http://www.cs.bham.ac.uk/~krishnan/
Pages in this Program
LOLA Home Page
LOLA Program Committee