Mathematics, Algorithms and Proofs 2012, Universität Konstanz, Germany
September 17 - 21, 2012
The conference brings together people from the communities of formal proofs, constructive mathematics, computer algebra and real algebraic geometry (in a wide meaning). It is a continuation of previous meeting in Dagstuhl (2003 and 2005), Luminy (2004), Castro Urdiales (2006), Leiden (2007 and 2011), Trieste (2008), Monastir (2009) and Logroño (2010), see:
In 2012, the conference will take place in Konstanz which is situated at Lake Constance, Germany, not far from Zürich, Switzerland. The slogan of this edition is "MAP meets RAGEA and GEOLMI and presents FORMATH".
The European project FORMATH (Formalization of Mathematics) is an outgrowth of the previous MAP meetings and deals with computer verified development, of both proofs and algorithms, in group theory, algebraic topology, linear algebra and computational analysis. The French project GEOLMI (Geometry and Algebra of Linear Matrix Inequalities with Systems Control Applications) and the German project RAGEA (Real Algebraic Geometry and Emerging Applications) deal among others with positive polynomials, sums of squares, linear matrix inequalities, determinantal and semidefinite representations, noncommutative real algebraic geometry and system control applications.
The objective of the conference is to bridge the gap between conceptual (abstract) and computational (constructive) mathematics by providing a computational understanding of abstract mathematics. We are not only interested in correct algorithms however, but also in the mathematical clarity that these concrete presentations provide. In formal proof management systems like Coq there is an increasing interest to exploit certificates found by numerical solvers (e.g., sums of squares certificates for positivity found by semidefinite programming solvers). The theory behind these certificates will be one of the highlights of this 2012 edition of MAP.
Organizers:
Thierry Coquand (U Gothenburg)
Didier Henrion (LAAS-CNRS Toulouse)
Henri Lombardi (U Besançon)
Cordian Riener (U Konstanz)
Marie-Françoise Roy (U Rennes)
Markus Schweighofer (U Konstanz)
Invited tutorial speakers:
Didier Henrion (LAAS-CNRS Toulouse)
Jean-Bernard Lasserre (LAAS-CNRS Toulouse)
Monique Laurent (CWI Amsterdam and U. Tilburg)
Tim Netzer (U Leipzig)
Daniel Plaumann (U Konstanz)
Invited speakers:
Christine Bachoc (U Bordeaux)
Henry Cohn (Microsoft Research New England)
Georges Gonthier (Microsoft-INRIA, Saclay)
João Gouveia (U Coimbra)
Assia Mahboubi (INRIA Saclay)
Daniel Perrucci (U Buenos Aires)
Registration and Future Announcements:
Registration is not yet possible but all interested persons should now subscribe to our mailing list for this event at:
http://www.map2012.uni-konstanz.de/
+++ All subsequent announcements of the conference will be distributed only through this mailing list. +++
There will be a registration fee of around 100 euros.
Contact address:
Please contact one of the organizers for scientific questions, and direct all questions concerning local organization to:
map2012@uni-konstanz.de.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
