MAIN TOPICS

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

PROGRAM COMMITTEE

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 http://at.yorku.ca/cgi-bin/amca/submit/cajy-01

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

PUBLICATIONS

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).

REGISTRATION

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.

ACCOMMODATION

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.

VISAS

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.

CONTACTS

Website of the meeting : http://logic.pdmi.ras.ru/2ndDays E-mail: LogicDays@logic.pdmi.ras.ru FAX: 7 (812) 310 53 77 (Program Committee) 7 (812) 234 58 19 (Organizing Committee)

Useful LINKS:

The First Days of Logic and Computability: http://logic.pdmi.ras.ru/LogicDays Euler International Mathematical Institute: http://www.pdmi.ras.ru/EIMI St.Petersburg Department of Steklov Institute of Mathematics: http://www.pdmi.ras.ru Hotels Guide of St.Petersburg: http://www.cityvision2000.com/hotels_guide/index.htm All hotels in Russia: http://all-hotels.ru/index.en.html

Back to the main page