АЗИАТСКАЯ ЛОГИЧЕСКАЯ КОНФЕРЕНЦИЯ
В НОВОСИБИРСКЕ
С 16 по 19 августа 2005 года в Институте математики
им. С. Л. Соболева СО РАН пройдет очередная азиатская логическая
конференция. Это уже девятая конференция в серии мероприятий,
проводимых раз в три года в различных странах
Азиатско-Тихоокеанского региона. Организаторами выступили
Ассоциация символической логики, Новосибирский государственный
университет и Институт математики им. С. Л. Соболева СО РАН.
Традиционно участниками азиатских логических конференций являются
известные ученые и молодые специалисты, причем не только из
азиатских стран, чьи научные интересы охватывают весь спектр
направлений современной логики, включая приложения в
информационных технологиях. Целью всей серии конференций является
установление эффективного взаимодействия между исследователями,
работающими в различных областях математической, вычислительной и
философской логики, а также приложений логики в области
информационных технологий.
Открытие Девятой азиатской логической конференции состоится
16 августа в 9.30 в конференц-зале ИМ СО РАН. Ежедневно с 16
по 19 августа первая половина дня будет посвящена пленарным заседаниям.
На них с докладами выступят П. Алаев, Л. Беклемишев, Ю. Ершов,
В. Кановей, А. Манцивода, В. Рыбаков (Россия), М. Варди, С. Гао,
Дж. Миллер (США), А. Воронков (Великобритания), С. Жейн (Сингапур),
Х. Оно, М. Сато (Япония), Б. Хусаинов (Новая Зеландия), С. Чжао
(Китай). В послеобеденное время на конференции будет организована
работа четырех секций:
— теории вычислимости,
— теории моделей и теории множеств,
— неклассических логики, теории доказательств и универсальной
алгебры,
— приложений логики.
Организаторы ожидают, что в мероприятии примет участие более 100
ученых, в том числе 20 из стран дальнего зарубежья.
Сайт конференции с обновляемой информацией находится по адресу
http://www.sbras.ru/ws/ALC-9/.
Оргкомитет 9-й Азиатской
логической конференции
стр. 1
|
