VSL 2014: VIENNA SUMMER OF LOGIC 2014
Fabio Martinelli
Organization: IIT-CNR
Web site: http://www.iit.cnr.it/staff/fabio.martinelli/
Pages in this Program
VERIFY Program Committee