Цель школы-семинара – обсуждение результатов и определение актуальных направлений исследований в области алгебры, математической логики и их приложений, а также предоставление молодым исследователям возможности личного общения с известными российскими и зарубежными учеными.
Организаторы школы-семинара:
Дальневосточный центр математических исследований,
Дальневосточный федеральный университет,
Владивостокский государственный университет экономики и сервиса.
Конференция будет посвящена
Для дистанционного участия перейдите по ссылке https://meet.google.com/bha-nrbv-pjf
(Google Meet, код конференции: bha-nrbv-pjf)
Тезисы конференции опубликованы и доступны для скачивания по ссылке.
Контакты: stepltd@mail.ru
Кампус Дальневосточного федерального университета, место проведения школы-семинара, расположенный на острове Русский в бухте Аякс
Председатель:
Гончаров С.С. (Институт математики им. С.Л. Соболева, Новосибирск)
Заместитель председателя:
Степанова А.А. (Дальневосточный федеральный университет, Владивосток);
Члены комитета:
Морозов А.С. (Институт математики им. С.Л. Соболева, Новосибирск);
Пальчунов Д.Е. (Институт математики им. С.Л. Соболева, Новосибирск);
Судоплатов С.В. (Институт математики им. С.Л. Соболева, Новосибирск);
Перязев Н.А. (Санкт-Петербургский электротехнический университет, Санкт-Петербург);
Винокуров С.Ф. (Иркутский государственный университет, Иркутск);
Пантелеев В.И. (Иркутский государственный университет, Иркутск);
Скурихин Е.Е. (Дальневосточный федеральный университет, Владивосток);
Кожухов И.Б. (Национальный исследовательский университет электронной техники, Зеленоград);
Байжанов Б.С. (Институт математики и математического моделирования, Алматы).
Председатель:
Самардак А.С., проректор по научной работе ДВФУ
Заместитель председателя:
Алексанин Г.Л., директор института математики и компьютерных технологий
Ефремов Е.Л., младший научный сотрудник Дальневосточного центра математических исследований
Члены комитета:
Скурихин Е.Е., Чеканов С.Г., Сухонос А.Г., Первухин М.А., Трикашная Н.В.
Главный корпус Дальневосточного федерального университета
1/8/2022 | 2/8/2022 | 3/8/2022 | 4/8/2022 | 5/8/2022 | |||||
понедельник | вторник | среда | четверг | пятница | |||||
Пленарные доклады | Пленарные доклады | Пленарные доклады | Пленарные доклады | ||||||
10.00-10.40 | Гончаров С.С. | 9.00-18.00 | Прогулка на корабле | 10.00-10.40 | Судоплатов С.В. Характеристики элементарных теорий и их моделей | 10.00-10.40 | Мясников А. First-order classification, non-standard models, and bi-interpretability (онлайн) | 10.00-10.40 | Морозов А.С. Вычислимые структуры над вещественными числами |
10.40-11.20 | Байжанов Б.С. Счетные модели упорядоченных зависимых теорий | 10.40-11.20 | Кожухов И.Б. Условия конечности в полигонах над полугруппами. | 10.40-11.20 | Рыбаков В.В. Multi-Agent Logics with Lost Information | 10.40-11.20 | Пальчунов Д.Е. Теория моделей предметных областей и приложения к инженерии знаний | ||
11.50-12.30 | Романовский Н.С. Теория моделей делимых жёстких групп | 11.50-12.30 | Перязев Н.А. О теории мультиопераций | 11.50-12.30 | Скурихин Е.Е. Структуры подобъектов и категорные свойства объектов топоса Гротендика | ||||
12.30-13.10 | Пантелеев В.И. Сильные операторы замыкания на множестве мультифункций | 12.30-13.10 | Степанова А.А. Вопросы аксиоматизируемости в теории моделей полигонов | ||||||
Работа секции | Работа секции | Работа секции | |||||||
14.00 | Вербовский В. В. О дп-минимальных упорядоченных группах | 14.30 | Емельянов Д.Ю. Алгебры бинарных изолирующих формул | 15.00 | Посещение океанариума | 14.30 | Чеканов С.Г. Некоторые особенности преподавания криптографических дисциплин | ||
Кулпешов Б.Ш. Об алгебрах формул циклически упорядоченных теорий | Мархабатов Н.Д. О рангах семейств теорий регулярных графов | Дулатова З.А., Ковыршина А.И., Лапшина Е.С., Штыков Н.Н. К вопросу о логике содержания педагогического математического образования | |||||||
Ефремов Е.Л., Степанова А.А., Чеканов С.Г. Псевдоконечные теории унаров | Ершигешова А.Д. Об упорядоченной стабильности обогащения линейных порядков одноместной функцией | Смелянский Д.М. Возможная характеристика разрешимых теорий второго порядка. Неполнота и неразрешимость теорий второго порядка с аксиомой бесконечности | |||||||
Первухин М.А., Трикашная Н.В. О частично упорядоченных группоидах | Бадмаев С.А., Фомина И.В., Шаранхаев И.К. Об одном интервале частичных ультраклонов | Тагласов Э.С. SI*-замкнутые множества мультифункций ранга 2 | |||||||
Мещанинов Д.Г. Замкнутые классы k-значной логики, определяемые проекциями функций | Попова В.А. Вывод типов выражений во встроенном языке программирования «1С:Предприятие» | Тодиков С.И. Автоматизация процесса решения систем включений с неизвестными в теории мультиопераций | |||||||
Зубков О.В. О связи между СПУБФ и столбцами треугольника Серпинского | Сухонос А.Г. Моноидальная структура на категории пространств Чу над категорией SS-Act | Сахаров И.А. Проективные и инъективные унары | |||||||
Симаков В.К. Категории пространств Чу над категорией множеств | Шамич Н.И. Об аксиоматизируемости класса конгруэнц-перестановочных унаров |
Фамилия | Имя | Отчество | Город | Аффилиация | Название докада |
---|---|---|---|---|---|
Судоплатов | Сергей | Владимирович | Новосибирск | Институт математики им. С.Л. Соболева СО РАН | Характеристики элементарных теорий и их моделей |
Кулпешов | Бейбут | Шайыкович | Алматы | Казахстанско-Британский технический университет | |
Гончаров | Сергей | Савостьянович | Новосибирск | Институт математики им. С.Л. Соболева СО РАН | |
Махнев | Александр | Алексеевич | Екатеринбург | ИММ УрО Р,АН | Граф Мура степени 57 не существует |
Шаранхаев | Иван | Константинович | Улан-Удэ | Бурятский государственный университет имени Д. Банзарова | |
Романовский | Николай | Семенович | Новосибирск | Институт математики им. С.Л.Соболева СО РАН | Теория моделей делимых жёстких групп |
Перязев | Николай | Алексеевич | Санкт-Петербург | Санкт-Петербургский государственный электротехнический университет "ЛЭТИ" | О теории мультиопераций |
Пантелеев | Владимир | Иннокентьевич | Иркутск | Иркутский государственный университет | Сильные операторы замыкания на множестве мультифункций |
Дулатова | Зайнеп | Асаналиевна | Иркутск | ФГБОУ ВО "Иркутский государственный университет" | |
Ковыршина | Анна | Ивановна | Иркутск | ФГБОУ ВО "Иркутский государственный университет" | |
Лапшина | Елена | Сергеевна | Иркутск | ФГБОУ ВО "Иркутский государственный университет" | |
Штыков | Николай | Николаевич | Иркутск | ФГБОУ ВО "Иркутский государственный университет" | |
Ботороева | Мария | Николаевна | Иркутск | Иркутский государственный университет | |
Будникова | Ольга | Сергеевна | Иркутск | ИГУ | |
Казимров | Алексей | Сергеевич | Иркутск | Иркутский государственный университет | |
Тагласов | Эдуард | Станиславович | Иркутск | Иркутский государственный университет | SI*-замкнутые множества мультифункций ранга 2 |
Рябец | Леонид | Владимирович | Иркутск | Иркутский государственный университет | О множестве E-замкнутых классов мультифункций ранга 2, сохраняющих константу |
Демаков | Алексей | Иркутск | ИГУ Институт математики и информационных технологий | ||
Емельянов | Дмитрий | Юрьевич | Новосибирск | НГТУ | Алгебры бинарных изолирующих формул |
Markhabatov | Nurlan | Darkhanuly | Новосибирск | Novosibirsk State Technical University | On ranks for families of regular graph theories |
Попова | Виктория | Алексеевна | Иркутск | Иркутский государственный университет | Вывод типов выражений во встроенном языке программирования «1С:Предприятие» |
Rybakov | Vladimir | Vladimirovich | Krasnoyarsk | Siberian Federal University | Multi-Agent Logics with Lost Information |
Мещанинов | Дмитрий | Германович | Москва | НИУ "МЭИ" | Замкнутые классы k-значной логики, определяемые проекциями функций |
Чеканов | Сергей | Геннадьевич | Владивосток | Дальневосточный федеральный университет | |
Степанова | Алена | Андреевна | Владивосток | Дальневосточный федеральный университет | Вопросы аксиоматизируемости в теории моделей полигонов |
Вербовский | Виктор | Валериевич | Алматы | Казахский национальный исследовательский технический университет имени К.И. Сатпаева | О дп-минимальных упорядоченных группах |
Пальчунов | Димитрий | Евгеньевич | Новосибирск | ИМ СО РАН | Теория моделей предметных областей и приложения к инженерии знаний |
Первухин | Михаил | Александрович | Владивосток | ДВФУ | |
Ефремов | Евгений | Леонидович | Владивосток | Дальневосточный федеральный университет | |
Скурихин | Евгений | Евгеньевич | Владивосток | ИПМ ДВО РАН, Дальневосточный федеральный университет | Структуры подобъектов и категорные свойства объектов топоса Гротендика |
Сухонос | Андрей | Григорьевич | Владивосток | Дальневосточный федеральный университет | Моноидальная структура на категории пространств Чу над категорией SS-Act |
Ершигешова | Айша | Дауреновна | Алматы | Университет имени Сулеймана Демиреля | Об упорядоченной стабильности обогащения линейных порядков одноместной функцией |
Сахаров | Игорь | Александрович | Владивосток | ДВФУ | |
Симаков | Валентин | Константинович | Владивосток | Дальневосточный федеральный университет | Категории пространств Чу над категорией множеств |
Шамич | Никита | Ильич | Владивосток | ДВФУ | Об аксиоматизируемости класса конгруэнц-перестановочных унаров |
Смелянский | Дмитрий | Москва, Санкт-Петербург | ИИЕТ | ||
Трикашная | Наталия | Вячеславовна | Владивосток | ДВФУ | Частично-упорядоченные абелевы группоиды |
Zaitseva | Irina | Saint Petersburg | Russian State Hydrometeorological University | ||
Miasnikov | Alexei | Hoboken | Stevens Institute of Technology | First-order classification, non-standard models, and bi-interpretability | |
Schwidefsky | Marina | Novosibirsk | Sobolev Institute of Mathematics SB RAS | ||
Тодиков | Сергей | Игоревич | Saint Peterburg | Saint Peterburg Electrotechnical University | Solving systems of inclusions with unknowns in multioperations |
Stankevich | Nataliya | Nizhny Novgorod | HSE University | Dynamic Systems Theory for Mathematical Modeling of Pathological Cell Behavior | |
Зубков | Олег | Владимирович | Иркутск | ИГУ | О связи между СПУБФ и столбцами треугольника Серпинского |