14 ноября, вторник

15 ноября, среда

16 ноября, четверг

9:00–9:45

С. С. Гончаров, Вычислимые модели и нумерации

П. А. Шрайнер, Алгоритмы автоматического распознавания свойств неклассических логик

9:55–10:40

А. А. Махнев, Автоморфизмы графов Тервиллигера, в которых окрестности вершин изоморфны графу Хофмана - Синглтона

С. Г. Колесников, Автоморфизмы силовских p-подгрупп групп Шевалле над кольцом Z_p^m

А. В. Заварницин, О приложении модулярных представлений к проблеме распознаваемости групп по спектру

10:50-11:35

М. В. Коровина, О. В. Кудинов, Семантический подход к вещественнозначной вычислимости

С. Ю. Подзоров, Полурешетки Роджерса

В. Г. Пузаренко, Большие счетные Омега-структуры

перерыв (кофе-брейк)

12:00–12:45

М. В. Зайцев, Тождества в алгебрах и их числовые инварианты

Е. И. Хухро, Н. Ю. Макаренко, Большие характеристические подгруппы и идеалы, удовлетворяющие мультилинейным коммутаторным тождествам

И. П. Шестаков, Ручные и дикие автоморфизмы свободных алгебр

12:55–13:40

С. О. Кузнецов, Решетки формальных понятий и их применение в анализе данных

А. Н. Зубков, Псевдокомпактные алгебры, категории со старшим весом и представления общих линейных супергрупп

С. П. Одинцов, Г. Вансинг, Конструктивные модальности и дескриптивная логика

перерыв (обед)

15:30-18:00

работа секций

18:30

банкет