Синтаксис и семантика логических систем
  Главная  
  А.И. Кокорин  
  Организаторы  
  Участники  
  Заявка  
  Доклады  
  Место проведения  
  Контакты  
 
А.И. Кокорин
 
 
  Powered by    
АГОРА    
Международная школа-семинар
Синтаксис и семантика логических систем
 
Русский | English

6-я Международная школа-семинар посвящена 90-летию со дня рождения основателя Иркутской алгебро-логической школы Али Ивановича Кокорина.

Сборник материалов школы-семинара
Программа школы-семинара
Фотографии


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

Тематика:

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


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

Место проведения: турбаза на берегу озера Хубсугул (Монголия). Расстояние от Иркутска до Хубсугула составляет 350 км.

Для пересечения границы в КПП Монды необходимо иметь российское или монгольское гражданство и действующий заграничный паспорт.

Из-за ограниченности мест в гостинице турбазы оргкомитету крайне желательно как можно раньше иметь список участников, поэтому оргкомитет обращается с просьбой к тем, кто планирует лично принять участие в школе, зарегистрироваться до 28 февраля.

Календарь школы-семинара:

  • получение заявок (подробнее см. раздел Заявка) на сайте до 10 июня 2019 года,
  • получение докладов (подробнее см. раздел Доклады) на сайте до 25 июня 2019 года,
  • рассылка приглашений до 25 июня,
  • регистрация участников – 10 августа,
  • выезд в Монголию из г. Иркутска на автобусе – 11 августа в 7 утра,
  • работа школы-семинара – 12–15 августа,
  • закрытие и выезд из Монголии – 16 августа, ориентировочное время прибытия в г. Иркутск – 16 августа, 18 часов местного времени.

 Дата последнего обновления: 30.08.19