Международная конференция
Логика и приложения

Секции

Секция теории моделей
(конференцзал)

Председатели - Е.А.Палютин, М.Г.Перетятькин

Секция философии
(предконференцзал)

Председатели - В.В.Целищев, В.С.Диев, К.Ф.Самохвалов

Секция алгебры
(комн.417)

Председатели - В.Д.Мазуров, Н.Я.Медведев

Секция теории доказательств
(комн.213)

Председатели - Л.Л.Максимова, Н.Н.Непейвода

Секция теории алгоритмов
(комн.344)

Председатели - С.С.Гончаров, С.Б.Купер