Sanctioned by the American Mathematical Society

and supported by the US National Science Foundation

Welcome to the home page for the Methods of Logic in Mathematics Series.  The meetings associated with this series will take place at the Euler International Mathematical Institute which is a part of Steklov Mathematical Institute of the Russian Academy of Sciences.  Take a look at What's New in our web.

The purpose of this working group is to promote the study of logical methods in mathematics through joint research, publication and workgroup meetings involving institutions, researchers and students.  The organizers of the series intend  that it become a forum for logicians and other mathematicians to discuss relations and interactions between logic and other branches of mathematics. The first conference Logic, algebra and geometry took place on June 1-7, 2004 and the second July 18-24, 2005.

The Methods of Logic in Mathematics 2007 will take place in conjunction with a special celebration of Leonhard Euler, the namesake of the Euler International Mathematical Institute in St. Petersburg.

What's New

The following is a list of recent MLM Program announcements. Whenever we publish a paper, submit a  report, or add anything else to our web, we'll put a notice here. The most recent changes are listed first, and each item is linked to the page with the updated content.

September 2003

• June 2004 program on Logic, Algebra and Geometry speakers announced.

November 2003

• MLM Web Site Online

June 2004

• Methods of Logic in Mathematics II: Logic, Algebra and Geometry - June 1-7, 2004

July 2005

• Methods of Logic in Mathematics II - July 18-24, 2005

June 2006

• Methods of Logic in Mathematics III - June 1-7, 2006 - (Register Now) (Information and Payment)

June 2007

• Methods of Logic in Mathematics IV - June 1-7, 2007 - (Register Now) (Payment and First Announcement)
  in conjunction with

Back to Top