VSL 2014: VIENNA SUMMER OF LOGIC 2014
Sylvain Salvati
Organization: INRIA
Pages in this Program
AISS Call for Papers
AISS Program Committee