# 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