First St.Petersburg Days
of LOGIC and COMPUTABILITY
Program Committee
The Programm Committee consists of N.A.Shanin's disciples and colleagues
and includes:
- 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)
Back to main index.