IX Азиатская конференция по логике АЛС'2005

16–19 августа 2005 г., Новосибирск, Институт математики им. С. Л. Соболева СО РАН.

Организаторы:
Институт математики им. С. Л. Соболева СО РАН;
Механико-математический факультет Новосибирского государственного университета.

Направления работы конференции:

• теория рекурсии;
• теория множеств;
• теория доказательств;
• теория моделей и универсальная алгебра;
• неклассические логики;
• логика в информатике.

Последний срок приема тезисов докладов — 30 апреля 2005 г.
Последний срок регистрации — 30 апреля 2005 г.

Контакты:
630090, Новосибирск, пр.академика Коптюга, 4, Институт математики им.С.Л. Соболева,
9-ая Азиатская конференция по логике;
Тел.: (3832) 33-28-94 (Одинцов Сергей Павлович)
Факс: (3832) 33-25-98;
E-mail: alc9@math.nsc.ru.

Подробнее о конференции