С 1 по 8 августа 2022 г. в ДВФУ будет проходить сателлитное мероприятие Международного математического конгресса 2022 г. – Международная школа-семинар «Синтаксис и семантика логических систем»
С 1 по 8 августа 2022 г. в ДВФУ будет проходить сателлитное мероприятие Международного математического конгресса 2022 г. – Международная школа-семинар «Синтаксис и семантика логических систем»
Конференция получила статус сателлитного мероприятия Международного математического конгресса 2022 г.
Председатель оргкомитета: Самардак А.С., проректор по научной работе ДВФУ.
Заместители председателя оргкомитета: Алексанин Г.А., директор Института математики и компьютерных технологий ДВФУ, Ефремов Е.Л., старший преподаватель кафедры алгебры, геометрии и анализа ДВФУ.
Члены оргкомитета: Скурихин Е.Е., профессор кафедры алгебры, геометрии и анализа ДВФУ, Чеканов С.Г., доцент кафедры алгебры, геометрии и анализа ДВФУ, Сухонос А.Г., доцент кафедры алгебры, геометрии и анализа ДВФУ, Первухин М.А., доцент кафедры алгебры, геометрии и анализа ДВФУ, Трикашная Н.В., доцент кафедры информационной безопасности ДВФУ.
Председатель программного комитета: С.С. Гончаров, академик РАН (Новосибирск).
Заместитель председателя программного комитета: Степанова А.А., профессор (Владивосток)
Члены программного комитета: Морозов А.С., профессор (Новосибирск), Д.Е. Пальчунов, профессор (Новосибирск), Судоплатов С.В., профессор (Новосибирск), Перязев Н.А., профессор (С-Петербург), Винокуров С.Ф., профессор (Иркутск), Пантелеев В.И., профессор (Иркутск), Скурихин Е.Е., профессор (Владивосток), Кожухов И.Б., профессор (Зеленоград), Байжанов Б.С., профессор (Алматы)
Приглашенные докладчики (9 человек): Гончаров С.С., академик СО РАН, Морозов А.С., профессор (Новосибирск), Д.Е. Пальчунов, профессор (Новосибирск), Судоплатов С.В., профессор (Новосибирск), Перязев Н.А., профессор (С-Петербург), Винокуров С.Ф., профессор (Иркутск), Пантелеев В.И., профессор (Иркутск), Кожухов И.Б., профессор (Зеленоград), Байжанов Б.С., профессор (Алматы)
Тематика школы-семинара: универсальная алгебра, логические исчисления, теория моделей, категорная геометрия и логика, алгебра логики, теория конечнозначных функций, алгебро-логические методы в информационных технологиях, логическая составляющая математического образования.
Сайт школы-семинара: http://ssls.dcmi.ru
04.10.2021