VSL 2014: VIENNA SUMMER OF LOGIC 2014
Thomas Streicher
Organization: Technische Universit´┐Żt Darmstadt
Pages in this Program
CL&C Call for Papers
CL&C Program Committee