Институт математики и математического моделирования

Шестнадцатая Азиатская Логическая Конференция

Шестнадцатая Азиатская Логическая конференция состоится в Назарбаев Университете Нур-Султан, Казахстан, 17-21 июня 2019 года. Это будет вторая Азиатская конференция по логике, поскольку ее статус изменился с собрания, организованного АСЛ (Ассоциация по символической логике), на официальное собрание АСЛ в результате действий Совета АСЛ в мае 2016 года. Азиатская конференция по логике (АКЛ) является крупным международным событием в математической логике. В нем представлены последние научные разработки в области математической логики и ее приложений, логики в информатике и философской логики. Серия АКЛ также направлена на продвижение математической логики в Азиатско-Тихоокеанском регионе и объединение логиков как в Азии, так и в других местах для обмена информацией и идеями.

С 1981 по 2008 год Азиатская логическая конференция проводилась три раза в год и чередовалась между странами Азиатско-Тихоокеанского региона. Предыдущие встречи проходили в Сингапуре (1981 г.), Бангкоке (1984 г.), Пекине (1987 г.), Токио (1990 г.), Сингапуре (1993 г.), Пекине (1996 г.), Си-Тоу (1999 г.), Чунцине (2002 г.), Новосибирске ( 2005) и Кобе (2008). В 2008 году восточноазиатские и австралийские комитеты Ассоциации символической логики решили сократить трехлетний цикл до двух. Новый двухлетний цикл начался со встречи в Сингапуре (2009 г.), а последующие встречи были проведены в Веллингтоне (2011 г.), Гуанчжоу (2013 г.), Мумбаи (2015 г.), Тэджоне (2017 г.).

Важные даты.

10.09.2018: открытие регистраций

1 мая 2019 г.: крайний срок подачи заявок на участие.

9 мая 2019 года: Уведомление о результате подачи заявок на участие.

16 мая 2019 года: крайний срок для ранней регистрации. (После этой даты регистрационный взнос больше не будет приниматься банковским переводом. В первый день конференции будет приниматься только оплата на месте (наличными) стандартного регистрационного сбора.)

15 июня 2019 года: регистрация закрывается.

17 - 21 июня 2019 года: главное событие.

23-25 июня 2019 года: CCR2019.

Конференция будет проводиться совместно с Четырнадцатой международной конференцией по вычислимости, сложности и случайности (CCR 2019).

Для получения дополнительной информации, пожалуйста, посетите официальный сайт конференции: http://www.alc2019.kz/

МАТЕМАТИЧЕСКИЙ ЖУРНАЛ

Шестнадцатая Азиатская Логическая Конференция

НОВОСТИ