Upload
others
View
0
Download
0
Embed Size (px)
Citation preview
MAP 2010
Departamento de Matemáticas y ComputaciónEdificio Vivesc/Luis de Ulloa s/n, 26004, Logroño (La Rioja)
MATHEMATICS, ALGORITHMS AND PROOFS
SCIENTIFIC COMMITTEE
Thierry CoquandMare Françoise RoyHenri LombardiJulio Rubio
MAIN SPEAKERS
Michel Coste, Université de RennesAssia Mahboubi, INRIA, ParisSaugata Basu, Purdue UniversityGraham Ellis, National University of Ireland
ORGANIZERS
Luis EspañolJulio Rubio
LOCAL ORGANIZING COMMITTEEPsycotrip
8-12 November Logroño (Spain)
Partially supported by Ministerio de Ciencia e Innovación (project MTM2010-09087-E) and by Universidad de La Rioja (project AOCYRC10/12)