• Второе сообщение
• Регистрационная форма
• Расписание

Ход конференции

• День 1 (вторник, 10 августа)
• День 2 (среда, 11 августа)
• День 3 (четверг, 12 августа)
• День 4 (пятница, 13 августа)
• День 5 (суббота, 14 августа)

Секции

• Теория моделей (Палютин, Балдвин, Зильбер)
• Теория вычислимости (Гончаров, Лемпп, Сорби)
• Теория доказательств и логические аспекты программирования (Максимова, Пальчунов, Рыбаков, Лейвант, Непейвода, Васильев)