VSL 2014: VIENNA SUMMER OF LOGIC 2014
Steven Ramsay
Organization: University of Warwick
Web site: http://www.warwick.ac.uk/sramsay
Pages in this Program
HOPA Program Committee