Новости

Нур-Султан, Казахстан
17.06.2019
С 17 по 21 июня 2019 года в Нур-Султане (Казахстан) состоится XVI Азиатская конференция по логике

XVI Азиатская конференция по логике пройдет в Назарбаев Университете (Нур-Султан, Казахстан).

Азиатская конференция по логике (Asian Logic Conference, ALC) является крупным международным событием в математической логике. В нем представлены новейшие научные разработки в области математической логики и ее приложений, логика в информатике и философская логика.  ALC также направлена ​​на продвижение математической логики в Азиатско-Тихоокеанском регионе и объединение логиков как из Азии, так и из других стран для обмена информацией и идеями.

Председателем Программного комитета ALC является академик Сергей Гончаров.