International Conference


June 1 - 7, 2006

Saint-Petersburg, Russia

This is the third 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 model theory, set theory and connections of these areas with other areas of mathematics and computer science.

The meeting will consist of invited talks, contributed paper sessions and tutorials.

The tutorials will be given by Andrei Morozov (Novosibirsk) on Computability and Symmetry, by Alexei Myasnikov (CUNY) on Asymptotic Algebra and Cryptography, by Vladimir Tolstykh (Yeditepe Univ.) on the Automorphism Groups of Relatively Free Groups of Infinite Rank.

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

Invited speakers of the conference include:
  • P. Andreev
  • I. Ben-Yaacov
  • A. Blass
  • R. Gilman
  • E. Gordon
  • T. Hyttinen
  • I. Kazachkov
  • O. Kharlampovich
  • B. Kastermans
  • N. Makarenko
  • Yu. Matiyasevich
  • G. Mints
  • A. Morozov
  • A. Miasnikov
  • V. Remeslennikov
  • M. Rosso
  • A. Shen
  • M. Taitslin
  • V. Tolstykh
  • B. Velickovic
  • T. Yavorskaya
  • R. Yavorsky
  • P. Zograf

The Program Committee of the conference consists of:

The Organizing Committee consists of Anatoly Vershik, Yi Zhang, Andreas Blass, Edward Griffor, Anatoly Yakovlev, Konstantin Kokhas, and Elena Novikova.

The cultural activity is to visit the state museum Hermitage.


You can register to take part in the conference at

The conference fee is 240 U.S. dollars.

However, early registration (before May, 15) will make it 200 U.S. dollars. We strongly recommend to pay on-line.


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.

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 III