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 connected with 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.

The deadline for submission was March 15, 2003. However, exceptionally, papers can be submitted at a later date. Notifications (for papers submitted before March 15) are due before April 30.

PUBLICATIONS

Abstracts of talks will be 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 more difficult than usual to get (relatively cheap) accomodation. The Organizing Committee made reservation with reduced price in 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 underground station "Ploshchad' Alexandra Nevskogo". In the mornings special minibus will bring participants to the building of Euler Institute.

If you are interested in living in hotel "Moscow" during the meeting, please, contact the Organizing Committee as soon as possible. Otherwise you can book an accomodation in some other hotel of St.Petersburg. The hotel nearest to Euler Institute is 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 preparation of a formal invitation which you will have to present 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