Atlas home || Conferences | Abstracts | about Atlas

International Conference on Mathematical Logic dedicated to 90th anniversary of A.I. Malt'sev (1909-1967)

August 10-15, 1999

Novosibirsk, Russia

Mathematics

Host: Institute of Mathematics SB RAS
Homepage: http://www.math.nsc.ru/conference/malmeet/99/
Email: morozov@math.nsc.ru

Organizers: S. I. Adyan, B. Cooper, E. Engeler, Yu. L. Ershov (chairman), S. S. Goncharov, S. Lempp, A. Macintyre, L. L. Maksimova, Yu. V. Matiyasevich, Andrei Morozov (Secretary), A. Nerode, H. Ono, E. A. Palyutin, M. G. Peretyat'kin, A. Prestel, A. A. Razborov, H. Schwichtenberg, R. Soare, M. A. Taitslin

Deadline for abstracts: June 01, 1999

Description:
The conference program is of wide scope including model theory, computability theory, proof theory, logic foundation of computer science.

Mail Address:

Institute of Mathematics SB RAS,
Koptyug Pr. 4,
Novosibirsk, 630090, Russia

Submitted by: Andrei Morozov
Date received: December 09, 1998, revised April 11, 2005

© 2008 Atlas Conferences Inc.