В период с 20 по 24 августа 2024 г. старший научный сотрудник ДЦМИ ДВФУ Ефремов Е.Л. и младший научный сотрудник ДЦМИ ДВФУ Сахаров И.А. приняли участие в работе 8-ой Российской конференции «Синтаксис и семантика логических систем», посвящённой памяти И.К. Шаранхаева (пос. Аршан, респ. Бурятия).

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

На конференции были представлены доклады:

• Аксиоматизируемость класса конгруэнц-перестановочных унаров, Ефремов Е.Л.
• О семантических и синтаксических степенях жесткости унаров, Сахаров И.А.

Помимо основной части организаторами конференции были предложены экскурсии по живописным местам Аршана: восхождение на пик Любви и подъем по экологической тропе вдоль реки Кынгарги.

С программой и материалами конференции можно ознакомиться по ссылке https://agora.guru.ru/display.php?conf=ssls-8