Lexington, KY: AMS

A regional AMS meeting will be held at the University of Kentucky in Lexington (March 27-28, 2010).
The meeting will be enriched by several events:
* David Eisenbud will deliver the annual Kentucky Hayden-Howard Lecture in Mathematics on Thursday afternoon, March 25, 2010;
* Bernd Ulrich will deliver a one-hour invited address during the AMS meeting;
* Doron Zeilberger will deliver the annual Erdos Memorial Lecture in Mathematics on Saturday, March 27, 2010;
* there will be several special sessions on commutative algebra and algebraic combinatorics.
The complete program of the special sessions at the meeting can be found at the following website.

Atlanta: Regional Commutative Algebra Meeting

Regional Commutative Algebra Meeting in Southeast March 2010
Atlanta, GA
March 20-21, 2010
The series of meetings represents a collaborative effort of commutative algebraists at Georgia State University, University of South Carolina and University of Central Florida to increase exposure of their research area in the South-East through periodic meetings. For more information, check the meeting website.

Orlando, FL: Commutative Algebra

GSSCCF Commutative Algebra Meeting, January 2010
University of Central Florida, Orlando, FL
January 22-23, 2010
Organizers:
Joseph Brennan (University of Central Florida)
Heath Martin (University of Central Florida)
Invited speakers:
Jon Carlson University of Georgia
S. Dale Cutkosky, University of Missouri, Columbia
Tai Huy Ha , Tulane University
Claudia Miller, University of Syracuse
Sean Sather-Wagstaff, North Dakota State University
Seth Sullivant , North Carolina State University
Hema Srinivasan , University of Missouri, Columbia
For more information, see the conference website.

Monastir, Tunisia: Mathematics-Algorithms-Proofs

Conference Mathematics-Algorithms-Proofs: Formalization of Mathematics, Monastir (Tunisia)
14th to 18th of December 2009
Organization Committee: Thierry Coquand (Göteborg), Henri Lombardi (Besançon), Marie-Françoise Roy (Rennes), Ihsen Yengui (Sfax)
This conference enters in the scope of the activities of the group “Mathematics-Algorithms-Proofs ” which was created in January 2003. The MAP group intends to gather people with connected topics of interest, such as constructive algebra, computer algebra, designers and users of proof systems (see MAP’s web page: http://map.disi.unige.it). The main theme of the conference will be about the formalization of mathematics. The timeliness of this theme is attested by the publication of a special issue of the AMS Notices on this topic (see http://www.ams.org/notices/200811).
The temporary list of tutorials is :
Formalism of Finite Groups Theory (G. Gonthier)
Formalism of Algebraic Topology (J. Rubio)
Besides 30 min or 45 min research talks, there will be tutorial talks.
Web page: http://map.disi.unige.it/index.php?q=monastir/index