International conference
"Logic and Applications"

Sections

Model theory
(conference hall)

E.A.Palyutin, M.G.Peretyat'kin chairmen

Computer science
(foyer of the conference hall)

A.S.Alekseev, Yu.M.Zybarev, V.A.Vasenin chairmen

Algebra
(room 417)

V.D.Mazurov, N.Ya.Medvedev chairmen

Proof theory and non-classical logics
(room 213)

L.L.Maksimova, N.N.Nepeivoda chairmen

Theory of algorithms
(room 344)

S.S.Goncharov, S.B.Cooper chairmen