[TYPES/announce] MAP 2010: Mathematics, Algorithms, Proofs, Logrono (Spain), 8-12 Nov 2010

[Peter Schuster]

MATHEMATICS, ALGORITHMS, PROOFS (MAP 2010)
Formal Proofs and Real Geometry:
logical, algebraic and numerical aspects

Logroño (La Rioja, Spain) 8-12th November 2010

http://www.unirioja.es/dptos/dmc/MAP2010/

Inscription is now open!

Invited tutorials:
- Michel Coste (O-minimal structures)
- Assia Mahboubi (Cylindrical Algebraic Decomposition in Coq)

Invited talks:
- Basu Saugata
- Graham Ellis

Scientific Committee:
- Thierry Coquand
- Marie Françoise Roy
- Henri Lombardi
- Julio Rubio

Organizers:
- Luis Español
- Julio Rubio


+++++++++++++++++++++++++++++++++++++++++++++++++

Julio Rubio
Departamento de Matematicas y Computacion
Universidad de La Rioja
Edificio Vives
Calle Luis de Ulloa s/n
E-26004 Logroño, La Rioja (Spain)
Tef. (+34)941299448
Fax  (+34)941299460
email: julio.rubio at unirioja.es
https://esus.unirioja.es/psycotrip/

+++++++++++++++++++++++++++++++++++++++++++++++++