Methods of Logic in Mathematics V
June 1 - 7, 2008          Saint-Petersburg, Russia

Main Page

First Announcement

Useful Information

Support for Russians (in Russian)



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

The invited talks of conference will present recent development in mathematical logic and its interactions with other areas of mathematics, esp. number theory, algebra, etc.

There will be two tutorial talks which will focus on the current research interests of logic groups in Vienna and St. Petersburg.

Programm committee

  • A. Blass (Univ. of Michigan, USA)
  • E. Griffor (Univ. of Michigan, USA)
  • A. Kechris (Caltech, USA)
  • Yu. Matiyasevich, chair (POMI, St.Petersburg)
  • A. Razborov (Princeton, USA & MI RAS, Moscow)
  • J. Steprans (York Univ., Canada)
  • A. Vershik, (POMI, St.Petersburg)
  • M. Vsemirnov vice-chair (POMI, St.Petersburg)
  • Zhang Yi, vice-chair (Sun Yat-sen Univ., China)


  • Yu. Matiyasevich (POMI, St.Petersburg)
  • S. Friedman (Univ. of Vienna)

Invited speakers

  • M. Arslanov
  • O. Belegradek
  • A. Bovykin
  • P. D'Aquino
  • M. Davis
  • N. Durov
  • S. Friedman
  • S. Goncharov
  • A. Iwanow
  • B. Kastermans
  • B. Moroz
  • Yu. Nesterenko
  • B. Poonen
  • A. Wigderson
If you are an Invited Speaker we kindly ask you to send the title and the abstract of your talk to at your earliest convenience but not later than April, 15.

The Organizing Committee consists of Maxim Vsemirnov (chair), Yi Zhang, Andreas Blass, Elena Novikova, Svetlana Obraztsova, Alexei Pastor, Yanina Shibaeva and Nadya Zalesskaya.


There will be one or two sessions during the conference devoted entirely to short Contributed Talks. If you intend to give a Contributed Talk, please send your abstract to before April 1, 2008.


You can register to take part in the conference at

The conference fee is 240 Euro.


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 Nadya Zalesskaya 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 V