- Last update: 26th August 2011 -

Logroño · 2010

Mathematics, algorithms and proofs

The annual meeting of the MAP community, in this edition, took place in Logroño (Spain), being hosted by the Department of Mathematics and Computer Science at the University of La Rioja. It was intended to be a continuation of the first seminar "Verification and Constructive Algebra" (Dagstuhl, January 2003).

A web site about the event is available from here.

MAP

2012 Lake Konstanz

2012 Sophia Antipolis Spring School

2011 Leiden

Modern Constructive Algebra (2011). Dedicated to Henri Lombardi

2010 Logroño

2009 Monastir

2008 Ictp Summer School

2007 Leiden

2006 Genova Summer School

2006 Castro Urdiales

2005 Dagstuhl

2004 Luminy

2003 Dagstuhl

Links

Contact us

- Last update: 26th August 2011 -

Logroño · 2010

Mathematics, algorithms and proofs

Modern Constructive Algebra (2011).
Dedicated to Henri Lombardi