International Conference


July 18 - 24, 2005

Saint-Petersburg, Russia


The meeting "Methods of Logic in Mathematics", July 18-24, 2005 will take place in St. Petersburg in the Euler Mathematical Institute. The meeting is endorsed by the Russian Academy of Sciences and the American Mathematical Society and financially supported by the National Science Foundation.

This is the second meeting in a series of meetings which take place every summer in the Euler International Mathematical Institute in St.Petersburg.

The main themes of the meeting include computability theory, model theory, set theory and connections of these areas with other areas of mathematics, most notably algebra, geometry and arithmetic.

The meeting will consist of invited talks, contributed paper sessions and tutorials. Three of the tutorials will be given by Simon Thomas (Rutgers), Zlil Sela (Hebrew University) and Nikolay Vereschagin (Moscow).

We invite contributed talks. The deadline for sending abstracts of contributed talks is May 1, 2005. Abstracts of contributed talks have to be sent to the following electronic mail address:

Invited speakers of the conference include:

The Program Committee of the conference consists of:

The Organizing Committee consists of Anatoly Vershik, Yi Zhang, Edward Griffor, Andreas Blass, Elena Novikova and Andrey Bovykin.


You can register to take part in the conference at

The conference fee is 240 U.S. dollars. However, early registration (before May, 1) will make it 200 U.S. dollars. We strongly recommend to pay on-line. The procedure is described on the registration page above.


There are several hotels within walking distance from the Euler Institute. The rooms have to be reserved well in advance to be sure of availability. More information can be found on the webpage:

Please mention it in your registration form if you need our help to reserve accommodation or contact Elena Novikova by email at


At the moment, citizens of many countries need a visa to enter Russia. There are many tourist agencies in every country readily selling tourist visas to Russia. There is also a possibility to apply for a visa invitation via the Euler Institute. The webpage is devoted to the visa procedure for participants of our conference. Please note that it may take some time to obtain a visa. Thus, we strongly recommend that you apply at least 2 months in advance.

Looking forward to seeing you in St.Petersburg.

Organizing Committee of
Methods of Logic in Mathematics II