Конференция Логика 2017

О конференции

Цель и задачи мероприятия

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

Организаторы

  • Бурятский государственный университет (г.Улан-Удэ);
  • Институт математики СО РАН (г.Новосибирск).

Ожидаемые результаты

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

Сроки проведения

8-12 августа 2017 года

Место проведения

Улан-Удэ, оз. Байкал

Тематика секций

  • Теория моделей и универсальная алгебра
  • Теория булевых и конечнозначных функций
  • Формальные языки и логические исчисления
  • Математическая логика в образовании
Официальный сайт конференции: imi.bsu.ru/logic