Новости

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

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

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

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