10 августа 2010 г. — 13 августа 2010 г., срок заявок: 1 июня 2010 г.
3-я Российская школа-семинар «Синтаксис и семантика логических систем»
Россия, Иркутск
3-я Российская школа-семинар посвящена 80-летию со дня рождения основателя Иркутской алгебрологической школы Али Ивановича Кокорина.
Цель школы-семинара – обсуждение результатов и выявление актуальных направлений исследований по математической логике, а также предоставление молодым исследователям возможности личного контакта с известными учеными в области математической логики из ведущих научных центров России.
Тематика школы-семинара:
- формальные языки и логические исчисления,
- теория моделей и универсальная алгебра,
- алгебра логики и функциональные системы,
- математическая логика в образовании.
Место проведения: турбаза на берегу озера Байкал.
Календарь школы-семинара:
- получение заявок и тезисов докладов – до 1 июня 2010 года,
- рассылка приглашений – до 15 июня,
- заезд и регистрация участников – 9 августа,
- работа школы-семинара – 10–13 августа,
- закрытие и отъезд участников – 14 августа.
При обращении к организаторам мероприятия обязательно ссылайтесь на сайт «Конференции.ru» как на источник информации.
Последний день подачи заявки: 1 июня 2010 г. (приём заявок закончен)
Организаторы: Восточно-Сибирская государственная академия образования (Иркутск), Институт математики СО РАН (Новосибирск)
Контактная информация: 664011, Россия, г. Иркутск, ул. Нижняя Набережная, 6, ВСГАО, факультет МФИ, кафедра математической информатики, тел.: (3952)240435. Секретарь: Пантелеев Владимир Иннокентьевич
Эл. почта: logic10@baikal.ru
Поделитесь информацией о мероприятии со знакомыми: