International conference
"Logic and Applications"

Second announcement

The international conference on mathematical logic "Logic and Applications'' honouring Academician Yu.L.Ershov on his 60th birthday will be held in Novosibirsk (Russia). The conference will start on May 4, 2000 and will end on May 6, 2000. The Workshop on Computability adjoined to the conference will start on May 2, 2000.

The Programme Committee includes S.S.Goncharov (chairman), A.Alekseev, V.Diev, N.Dikanskij, O.Kegel, K.Keimel, B.Khoussainov, M.Lavrent'ev, I.Lavrov, S.Lempp, O.Lupanov, A.Macintyre, L.Maksimova, V.Mazurov, N.Medvedev, A.Mikhalev, A.Nerode, A.Nikitin, E.Palyutin, M.Peretyat'kin, A.Prestel, V.Remeslennikov, V.Rybakov, I.Shestakov, L.Shevrin, V.Stoltenberg-Hansen, V.Tselishchev, S.Vassilyev, Yu.Zybarev.

Chairman of the local organizing committee is Professor A.S.Morozov.

At the conference, plenary lectures and contributed talks will be presented in the following areas: mathematical logic and the theory of algorithms, algebra, computer science, philosophy and the foundations of mathematics. The list of invited speakers includes Yu. L. Ershov, U. Berger, S. B. Cooper, M. Escardo, D. Hirschfeldt, E. I. Khukhro, O. V. Kudinov, A. Nerode, A.Yu.Olshanski, H. Ono, V. N. Remeslennikov, V. A. Vasenin, S. N. Vassilyev, M. V. Volkov, A. Voronkov, K. Weihrauch.

We plan to publish the abstracts of contributed talks. The abstracts (at most one page in plain ASCII or a considerably new version of LaTeX) should be sent by e-mail to If it is not convenient for you to sent the electronic version of the abstract, please, send your abstract by the usual post to
Aleksandr Kravchenko,
Conference "Logic and Applications",
Institute of Mathematics SB RAS,
prosp. akad. Koptyuga, 4
630090, Novosibirsk, RUSSIA.

The deadline for submission of abstracts is April 1, 2000. The Programme Committee will inform you about acceptance or rejection of your abstract before April 15, 2000.

The participation fee is equivalent to 80 USD (this does not include accommodation, local expenses, or banquet) and can be reduced for participants from the former USSR. The fee should be paid upon arrival.

The conference will take place at the Sobolev Institute of Mathematics of the Siberian Branch of the Russian Academy of Sciences. We suggest the participants to stay at the hotel "Zolotaya Dolina'' (Golden Valley). The following variants of hotel reservation are possible (breakfast is not included).

For registration, please, fill in the registration form and send it by e-mail or by the usual post to the address of the conference. Upon registration, the local organizing committee will send you the official invitation to apply for visa (please, note that it takes some time to receive visa).

The last information about the conference (including the first and the second announcement and registration forms) is available at