Математика

3-я Российская школа-семинар «Синтаксис и семантика логических систем»

10 августа 2010 г. — 13 августа 2010 г., срок заявок: 1 июня 2010 г., Россия, Иркутск

Организаторы: Восточно-Сибирская государственная академия образования (Иркутск), Институт математики СО РАН (Новосибирск)
Контактная информация: 664011, Россия, г. Иркутск, ул. Нижняя Набережная, 6, ВСГАО, факультет МФИ, кафедра математической информатики, тел.: (3952)240435. Секретарь: Пантелеев Владимир Иннокентьевич
Эл. почта: logic10@baikal.ru

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

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

Тематика школы-семинара:

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

Место проведения: турбаза на берегу озера Байкал.

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

- получение заявок и тезисов докладов – до 1 июня 2010 года,
- рассылка приглашений – до 15 июня,
- заезд и регистрация участников – 9 августа,
- работа школы-семинара – 10–13 августа,
- закрытие и отъезд участников – 14 августа.

Источник информации: https://konferencii.ru/info/28583