Программа 14-й международной летней школы-конференции «Пограничные вопросы универсальной алгебры и теории моделей», посвященной 75-летию профессора Брюно Пуаза
Время новосибирское (МСК+4)
Школа-конференция будет проходить в дистанционном формате с доступом через Zoom: https://zoom.us/j/2887138399
23 июня, среда
Видеозаписи заседаний: https://cloud.mail.ru/stock/e2zJfEnrqehroubNDRisQG6N, https://cloclo-stock4.datacloudmail.ru/stock/get/83NooGsi5HrCehEzSgChDevojWekYit6tcWpuEoCYJ9spnJfZYzNEM4uMxPXT36UWGgGY7xn6cbE/210623_2.mp4
8:55 – 9:00 Открытие конференции
Председатель С.В. Судоплатов
9:00 – 9:50 С.С. Гончаров (Новосибирск, Россия), Семантическое моделирование и программирование
10:00 – 10:50 А.А. Степанова (Владивосток. Россия), Аксиоматизируемость класса подпрямо неразложимых полигонов над коммутативным моноидом
11:00 – 11:30 А.Г. Пинус (Новосибирск, Россия), О некоторых нетрадиционных структурах на совокупностях функциональных клонов на множествах
11:40 – 12:30 Н.А. Перязев (Санкт-Петербург, Россия), Логика мультиопераций
Председатель А.В. Боровик
16:00 – 16:50 Е.Р. Байсалов (Нур-Султан, Казахстан), Минимальные алгебры
17:00 – 17:20 В.В. Вербовский, Дж.Т. Балдвин (Алматы, Казахстан; Чикаго, США), Об определимом замыкании в сильно минимальных генерических структурах Хрушовского
18:00 – 18:20 А. Беркман (Стамбул, Турция), Группы конечного ранга Морли с обобщенно кратно транзитивным действием
Председатель С.В. Судоплатов
19:00 – 19:50 А.В. Боровик (Манчестер, Великобритания), Конечные группы и группы конечного ранга Морли: дополнительные связи
20:00 – 20:50 Б. Пуаза (Лион, Франция), Юбилейный доклад: Позитивная теория множеств
21:00 Поздравления
24 июня, четверг
Видеозаписи заседаний: https://cloud.mail.ru/stock/e5WQTpUJ53R7PNywbUtW5Bu4
Председатель А.А. Степанова
9:00 – 9:50 Б.С. Байжанов (Алматы, Казахстан), О свойствах 2-формул на множестве всех реализаций выпуклого замыкания 1-типа в малых упорядоченных теориях
10:00 – 10:50 Б.Ш. Кулпешов (Алматы, Казахстан; Новосибирск, Россия), Критерий бинарности почти омега-категоричных слабо о-минимальных теорий
11:00 – 11:50 Н.Х. Касымов, Р.Н. Дадажанов, С.К. Жавлиев (Ташкент, Узбекистан), Степени алгоритмической представимости линейных порядков
12:30 – 12:50 П.С. Колесников (Новосибирск, Россия), Производные тождества дифференциальных алгебр
Председатель П.С. Колесников
15:00 – 15:20 С.К. Жавлиев, Н.Х. Касымов (Ташкент, Узбекистан), Негативные нумерации линейных порядков с эндоморфизмами
15:30 – 15:50 И.А. Ходжамуратова, Н.Х. Касымов (Ташкент, Узбекистан), О представимости трансляционно полных универсальных алгебр над негативными эквивалентностями
16:00 – 16:20 Д.А. Еременко (Санкт-Петербург, Россия), Минимальные алгебры бинарных операций ранга 3
16:30 – 16:50 С.И. Тодиков (Санкт-Петербург, Россия), Сравнение выразительных возможностей различных языков мультиопераций
Председатель Б. Пуаза
19:00 – 19:50 П. Куаран (Лион, Франция), Невозможные алгебраическе вычислительные модели со сжатием
20:00 – 20:50 Г. Черлин (Нью-Брунсвик, США), Метрические однородные графы и полугруппы расстояний
25 июня, пятница
Видеозаписи заседаний: https://cloud.mail.ru/stock/5955TDj1kM6MDHx1TV8ieKnX
Председатель Е.Н. Порошенко
10:00 – 10:50 В.М. Левчук, О. В. Кравцова (Красноярск, Россия), Некоторые вопросы алгебраических и геометрических систем
11:00 – 11:50 Е.И. Тимошенко (Новосибирск, Россия), Частично коммутативные группы и их базисы
12:00 – 12:50 А.П. Пожидаев (Новосибирск, Россия), О простых правосимметрических (прелиевых) алгебрах
Председатель Н.А. Перязев
15:00 – 15:20 М.В. Швидефски, Ю.Л. Ершов (Новосибирск, Россия), О пространствах функций
15:30 – 15:50 А.М. Попова, О.В. Брюханов (Новосибирск, Россия), Некоторые алгоритмические вопросы факторизации автоморфизмов целочисленных групповых колец
16:00 – 16:20 О.В. Брюханов, В.Г. Бардаков, М.В. Нещадим (Новосибирск, Россия), О нильпотентной аппроксимируемости некоторых расширений
16:30 – 16:50 И.Н. Зотов, В.М. Левчук (Красноярск, Россия), Соответствие Мальцева и локальные автоморфизмы нильтреугольных алгебр
17:00 – 17:50 А. Иванов (Гливице, Польша), Аменабельность вычислимых групп
18:00 – 18:20 К. Дуда (Вроцлав, Польша), Вычислимые парадоксальные разложения вычислимых групп
18:30 – 19:20 П. Стефанеас, Д. Зафейракопулос, (Афины, Греция), Замечания о Деонтической логике и искусственному интеллекту
26 июня, суббота
Видеозаписи заседаний: https://cloud.mail.ru/stock/341iFmkMevM4WUdAiuXxMNjU
Председатель Н.Х. Касымов
10:00 – 10:50 А.Р. Ешкеев (Караганда, Казахстан), Спектр Йонсона и его модели
11:00 – 11:50 Р. Склинос (Пекин, Китай), Поля, интерпретируемые в свободной группе
Председатель Е.Р. Байсалов
15:00 – 15:20 Н.М. Мусина, М.Т. Касыметова, Н.В. Попова (Караганда, Казахстан), Компаньоны гибридов фрагментов определимых подмножеств
15:30 – 15:50 М.Т. Омарова, А.Р. Ешкеев, О.И. Ульбрихт (Караганда, Казахстан), Число совершенных фрагментов спектра Йонсона класса экзистенциально замкнутых моделей произвольной сигнатуры
16:00 – 16:20 А.К. Исаева, А.Р. Ешкеев, Н.К. Шаматаева (Караганда, Казахстан), Малые модели фрагментов множеств Йонсона
17:00 – 17:20 Б.К. Гупта (Барабанки УП, Индия), Большие данные : Неструктурированная информация по Буну и Бейну
17:30 – 17:50 М.Е. Огиуго (Ибадан, Нигерия), Число цепей подгрупп в декартовом произведении группы Z_p X S_4 (p – произвольное простое)
27 июня, воскресенье
Видеозаписи заседаний: https://cloud.mail.ru/stock/5d3V8P9DDmG5xL6J3GhodRb2
Председатель Б.Ш. Кулпешов
10:00 – 10:50 С.В. Судоплатов (Новосибирск, Россия), Характеристики семейств теорий
11:00 – 11:30 Н.Д. Мархабатов (Новосибирск, Россия; Тараз, Казахстан), Теоретико-модельные и топологические свойства семейств теорий
11:40 – 12:10 Д.Ю. Емельянов (Новосибирск, Россия), Алгебры бинарных изолирующих формул
Председатель В.В. Вербовский
15:00 – 15:20 Д.Ю. Власов (Новосибирск, Россия), Семантическое программирование и унифицированная семантика алгебраических, логических и фукнциональных операторов
15:30 – 15:50 С.В. Гусев, Е.В. Ли (Екатеринбург, Россия; Форт-Лодердейл, США), Сократимые элементы решетки многообразий моноидов
16:00 – 16:20 О.А. Воронина (Петропавловск, Казахстан), Об одновременном приведении элементов абелевых групп и векторных пространств к положительному виду
16:30 – 16:50 С.М. Луцак, О.А. Воронина (Петропавловск, Казахстан), О сложности решеток квазимногообразий алгебр Лукасевича
17:00 – 17:20 А.М. Касатова (Нур-Султан, Казахстан), Свойства квазимногообразий полных теорий
17:30 – 17:50 А.Б. Даулетиярова, С.В. Судоплатов (Новосибирск, Россия), О некоторых обогащениях плотных порядков
28 июня, понедельник
Видеозаписи заседаний: https://cloud.mail.ru/stock/6G9Y9UgqY6bve5Kw13gJSzE1, https://cloud.mail.ru/stock/iHcFNHEL9qfvb7Jo6QN4gvC2
Председатель Е.И. Тимошенко
10:00 – 10:20 М.Н. Зонов, Е.А. Тимошенко (Томск, Россия), О ниль-радикалах E-колец
10:30 – 10:50 Н.Ю. Галанова (Томск, Россия), О некоторых примерах вещественно замкнутых полей
11:00 – 11:20 А.И. Забарина, Е.А. Фомина (Томск, Россия), О некоторых свойствах множества K_p в конечных группах
11:30 – 11:50 Ф.А. Дудкин (Новосибирск, Россия), Подгруппы конечного индекса небольших обобщенных групп Баумслага-Солитера
Председатель А.П. Пожидаев
15:00 – 15:20 Е.Н. Порошенко (Новосибирск, Россия), О разложении частично коммутативных алгебр Ли в прямую сумму
15:30 – 15:50 А.А. Гальт (Новосибирск, Россия), О проблеме Томпсона в примитивных группах
16:00 – 16:20 К.М. Туленбаев, А.С. Джумадильдаев (Алматы, Казахстан), Теорема Нагаты для алгебр, близких к алгебрам Новикова
16:30 – 16:50 В.Ю. Губарев (Новосибирск, Россия), Операторы Роты-Бакстера на конформной алгебре петель над sl(2,C)
17:00 – 17:20 А.М. Старолетов (Новосибирск, Россия), О 3-порожденных алгебрах монстрового типа
17:30 – 17:50 А.В. Петухов (Москва Россия), Примитивные идеалы и ниль-Дынкиновские алгебры Ли
18:00 – 18:20 А.В. Зенков (Барнаул, Россия), Об идемпотентах полугруппы многообразий m-групп
18:30 Закрытие конференции