cartel-MAP2010 - unirioja.es · MAP 2010 Departamento de Matemáticas y Computación Edificio...
1
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 SCIENTIFIC COMMITTEE Thierry Coquand Mare Françoise Roy Henri Lombardi Julio Rubio MAIN SPEAKERS Michel Coste, Université de Rennes Assia Mahboubi, INRIA, Paris Saugata Basu, Purdue University Graham Ellis, National University of Ireland ORGANIZERS Luis Español Julio Rubio LOCAL ORGANIZING COMMITTEE Psycotrip 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)
Transcript of cartel-MAP2010 - unirioja.es · MAP 2010 Departamento de Matemáticas y Computación Edificio...
![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.fdocuments.net/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)