Atlas Conferences

Atlas home || Conferences | Abstracts | about Atlas

First St.Petersburg Days of Logic and Computability

dedicated to Nikolai Alexandrovich Shanin

May 26-29, 1999

St. Petersburg, Russia

Mathematics

Host: Steklov Institute of Mathematics
Sponsor: Euler International Mathematical Institute
Homepage: http://logic.pdmi.ras.ru/LogicDays/
Email: days@logic.pdmi.ras.ru

Abstracts

Organizers: G. Davydov (St.Petersburg, Russia), D. Grigoriev (Russia-France), E. Karavaev (St.Petersburg, Russia), N. Kossovskii (St.Petersburg, Russia), V. Lifschitz (Austin, USA), M. Margenstern (Metz, France), Yu.Matiyasevich (St.Petersburg, Russia, chairman), G. Mints (Stanford, USA), V. Orevkov (St.Petersburg, Russia), A. Slissenko (Paris, France), E. Dantsin (local organising committee chairman), E. Hirsch, D. Karpov, B. Konev, E. Novikova, A. Pastor, M. Vsemirnov

Date received: January 29, 1999