Second St.Petersburg Days of
LOGIC and COMPUTABILITY
devoted to the centennial of
Andrey Andreevich MARKOV (Jr.)
August 24-26, 2003
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
- 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
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
Please register via
- 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
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
It may take a long time before you have your visa, so we strongly recommend
that you register at least three months in advance.
More links can be found on the website of the meeting.
- Useful LINKS: