5-ая Российская школа-семинар "Синтаксис и семантика логических систем" (8–12 августа 2017 г., Республика Бурятия, г. Улан-Удэ, озеро Байкал)
Цель школы-семинара – обсуждение результатов и выявление актуальных направлений исследований по математической логике, а также предоставление молодым исследователям возможности личного контакта с известными учеными в области математической логики из ведущих научных центров России.
Тематика школы-семинара: формальные языки и логические исчисления, теория моделей и универсальная алгебра, алгебра логики и функциональные системы, математическая логика в образовании.