VSL 2014: VIENNA SUMMER OF LOGIC 2014
Nicola Olivetti
Organization: LSIS, Aix-Marseille University
Web site: http://www.lsis.org/olivetti/
Pages in this Program
DL on Thursday, July 17th, 2014
DL Program
IJCAR on Tuesday, July 22nd, 2014
IJCAR Program
NCPROOFS on Sunday, July 20th, 2014
NCPROOFS Program
Program
Program for Sunday, July 20th, 2014
Program for Thursday, July 17th, 2014
Program for Tuesday, July 22nd, 2014