cartel-map2010 - unirioja.es · map 2010 departamento de matemáticas y computación edificio...
TRANSCRIPT
![Page 1: cartel-MAP2010 - unirioja.es · MAP 2010 Departamento de Matemáticas y Computación Edificio Vives c/Luis de Ulloa s/n, 26004, Logroño (La Rioja) MATHEMATICS, ALGORITHMS AND PROOFS](https://reader033.vdocument.in/reader033/viewer/2022050212/5f5e82f24a05bb7988487713/html5/thumbnails/1.jpg)
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)