Синтаксис и семантика логических систем
Владивосток, 1-5 августа, 2022

Цель школы-семинара – обсуждение результатов и определение актуальных направлений исследований в области алгебры, математической логики и их приложений, а также предоставление молодым исследователям возможности личного общения с известными российскими и зарубежными учеными.

Конференция будет посвящена

  • универсальной алгебре,
  • логическим исчислениям,
  • теории моделей,
  • категорной геометрии и логике,
  • алгебре логики,
  • теории конечнозначных функций,
  • алгебраическим и логическим методам в информационных технологиях,
  • логической составляющей математического образования.

По результатам работы конференции планируется публикация электронного сборника тезисов в издательстве ДВФУ. Просьба подготовить тезисы средствами TeX по шаблону (ссылка на шаблон). Подготовленный текст в формате .tex присылайте на почту efremov-el@mail.ru, в теме письма "Тезисы ССЛС". Объем тезисов - не более двух страниц.

Контакты: stepltd@mail.ru

The campus of the Far Eastern Federal University, the location of the school-seminar, is located on Russian Island in Ajax Bay

Кампус Дальневосточного федерального университета, место проведения школы-семинара, расположенный на острове Русский в бухте Аякс

Ссылка на второе извещение

Программный комитет

Председатель:
Гончаров С.С. (Институт математики им. С.Л. Соболева, Новосибирск)

Заместитель председателя:
Степанова А.А. (Дальневосточный федеральный университет, Владивосток);

Члены комитета:
Морозов А.С. (Институт математики им. С.Л. Соболева, Новосибирск);
Пальчунов Д.Е. (Институт математики им. С.Л. Соболева, Новосибирск);
Судоплатов С.В. (Институт математики им. С.Л. Соболева, Новосибирск);
Перязев Н.А. (Санкт-Петербургский электротехнический университет, Санкт-Петербург);
Винокуров С.Ф. (Иркутский государственный университет, Иркутск);
Пантелеев В.И. (Иркутский государственный университет, Иркутск);
Скурихин Е.Е. (Дальневосточный федеральный университет, Владивосток);
Кожухов И.Б. (Национальный исследовательский университет электронной техники, Зеленоград);
Байжанов Б.С. (Институт математики и математического моделирования, Алматы).

Организационный комитет

Председатель:
Самардак А.С., проректор по научной работе ДВФУ

Заместитель председателя:
Алексанин Г.Л., директор института математики и компьютерных технологий
Ефремов Е.Л., младший научный сотрудник Дальневосточного центра математических исследований

Члены комитета:
Скурихин Е.Е., Чеканов С.Г., Сухонос А.Г., Первухин М.А., Трикашная Н.В.

FEFU

Главный корпус Дальневосточного федерального университета

8/1/2022 8/2/2022 8/3/2022 8/4/2022 8/5/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.50-11.30 Байжанов Б.С. Счетные модели упорядоченных зависимых теорий 10.50-11.30 Кожухов И.Б. Условия конечности в полигонах над полугруппами. 10.50-11.30 Рыбаков В.В. Multi-Agent Logics with Lost Information 10.50-11.30 Пальчунов Д.Е. Теория моделей предметных областей и приложения к инженерии знаний
11.40-12.20 Романовский Н.С. Теория моделей делимых жёстких групп 11.40-12.20 Перязев Н.А. О теории мультиопераций

11.40-12.20 Пантелеев В. Сильные операторы замыкания на множестве мультифункций


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
Зубков Олег Владимирович Иркутск ИГУ О связи между СПУБФ и столбцами треугольника Серпинского

При поддержке Министерства науки и высшего образования Российской Федерации для реализации программы развития Регионального научно-образовательного математического центра «Дальневосточный центр математических исследований», Дальневосточного федерального университета, Владивостокского государственного университета экономики и сервиса

Синтаксис и семантика логических систем, 2022 г.