[back] Back to the main page

International meeting

Second St.Petersburg Days of

devoted to the centennial of
Andrey Andreevich MARKOV (Jr.)

August 24-26, 2003    St.Petersburg, Russia

Second Announcement

This second meeting in the series of St.Petersburg Days of Logic and Computability is devoted to the centennial of an eminent Russian mathematician Andrey Andreevich Markov (Jr.). The main themes of the meeting are those related to his mathematical interests:
  • Theory of computability
    • Decision problems in mathematics
    • Models of computations
    • Complexity
    • Formal systems
  • Foundations of mathematics
    • Semantics of logical systems
    • Constructive mathematics

  • Sergei ADIAN (Russia)
  • Sergei ARTEMOV (Russia/USA)
  • Nikolai KOSSOVSKI (Russia)
  • Maurice MARGENSTERN (France)
  • Grigori MINTS (USA)
  • Yuri MATIYASEVICH (Russia), the chairman
  • Nikolai NAGORNY (Russia)
  • Vladimir OREVKOV (Russia)
  • Anatol SLISSENKO (France)
Working LANGUAGE: English
SUBMISSION of papers:
The facilities of Atlas Mathematical Conference Abstracts will be used for this purpose. If you wish to present a paper, please submit an abstract (in standard LaTeX, 10Kb at most) via
following instructions on the site. In additon, you can send an extended version of your abstract to the Program Comittee.
Confirmed SPEAKERS include:
  • Sergei ARTEMOV, City University of New York, USA / Moscow State University, Russia
  • Daniele BEAUQUIER, University Paris 12, France
  • Anatoly BELTIUKOV, Udmurt State University, Russia
  • Edward HIRSCH Peterburg Department of Steklov Institute of Mathematics, Russia
  • Alexander LETICHEVSKY, Glushkov Institute of Cybernetics, Ukraine
  • Grigori MINTS , Stanford University, USA
  • Nikolai SHANIN, Peterburg Department of Steklov Institute of Mathematics, Russia
Abstracts of talks are being made available on WWW and will be delivered to the participants in printed form. Full texts of selected lectures will be published as a special volume of Annals of Pure and Applied Logic (the proceedings of the First Days were published there as Volume 113).
Please register via http://logic.pdmi.ras.ru/2ndDays/registration
Participation FEE:
The fee will cover common meals and coffee breaks. The fee equivalent to 120USD can be paid on arrival.
Location of the meeting:
The "2nd DAYS" will take place at the Euler International Mathematical Institute (which is now a part of St.Petersburg Department of Steklov Institute of Mathematics of the Russian Academy of Sciences). The building of the Euler Institute is located at 10, Pesochnaya embankment, St.Petersburg.
This year St.Petersburg celebrates its 300th anniversary. Due to this event it became even more difficult to book relatively cheap accommodation. The Organizing Committee made a reservation (at reduced price) at the hotel "Moscow" for 7 single rooms (48-56 USD per night) and 4 two-bed rooms (62-69 USD per night) for August 23-27. This hotel is located in the very end of Nevsky Prospekt (the main avenue of the city) near the underground station "Ploshchad' Alexandra Nevskogo". In the mornings a minibus is arranged that will take participants from the hotel to the Euler Institute.

If you wish to live in the hotel "Moscow" during the meeting, please contact the Organizing Committee as soon as possible. Alternatively, you can book accommodation in some other hotel of St.Petersburg. The hotel closest to the Euler Institute is the Palace of Youth.

Please take into account that participants from most countries need a visa to enter Russia. After receiving your registration form the Organizing Committee will start preparing a formal invitation, which you will have to present together with your visa application form at a nearby Russian Consulate. It may take a long time before you have your visa, so we strongly recommend that you register at least three months in advance.
Useful LINKS:
More links can be found on the website of the meeting.

[back] Back to the main page