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@unirioja.es https://esus.unirioja.es/psycotrip/ +++++++++++++++++++++++++++++++++++++++++++++++++ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]