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

10 - 13 August 2010, Irkutsk

Rubrics: Conference | Mathematics

E-mail: logic10@baikal.ru

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

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

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

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

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

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

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

Deadline date: June 1, 2010

Organizers:
Восточно-Сибирская государственная академия образования (Иркутск), Институт математики СО РАН (Новосибирск)

Contact information:
664011, Россия, г. Иркутск, ул. Нижняя Набережная, 6, ВСГАО, факультет МФИ, кафедра математической информатики, тел.: (3952)240435. Секретарь: Пантелеев Владимир Иннокентьевич

Information source: http://konferencii.ru/