Математика және математикалық модельдеу институты

Он алтыншы Азиялық Логика Конференциясы

Он алтыншы Азиялық Логика Конференциясы Нұр-Сұлтан қаласы Назарбаев Университетінде 2019 жылдың 17-21 маусым аралығында өтеді.

Бұл 2016 жылдың мамыр айында ASL (Символдық логика қауымдастығы) демеушілік ететін кездесуден ASL кеңесінің шешімімен ресми ASL кездесуіне мәртебесі өзгергеннен бергі екінші Азия логика конференциясы болады. Азиялық логика конференциясы (ALC) - математикалық логика саласындағы ірі халықаралық іс-шара. Онда математикалық логика және оның қолданылуы, информатикадағы логика және философиялық логика салаларындағы соңғы ғылыми жетістіктер көрсетіледі. ALC сериясы сонымен қатар Азия-Тынық мұхиты аймағында математикалық логиканы дамытуға және ақпарат пен идеялармен алмасу үшін Азия мен басқа өңірлердегі логиктерді біріктіруге бағытталған.

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

Маңызды күндер.

2018 жылдың 10 қыркүйегі: Тіркеу басталады.

2019 жылдың 1 мамыры: Өтінім берудің соңғы мерзімі.

2019 жылдың 9 мамыры: Өтінім беру нәтижелері туралы хабарландыру.

2019 жылдың 16 мамыры: Ерте тіркелудің соңғы мерзімі. (Осы күннен кейін банк аударымдары қабылданбайды. Конференцияның бірінші күнінде тек стандартты тіркеу жарнасының орнында қолма-қол ақшамен төлемдер қабылданады.)

2019 жылдың 15 маусымы: Тіркеу аяқталады.

2019 жылдың 17-21 маусымы: Негізгі іс-шара.

2019 жылдың 23-25 маусымы: CCR2019.

Конференция Есептеу, күрделілік және кездейсоқтық бойынша он төртінші халықаралық конференциямен (CCR 2019) бірге өтеді.

Толығырақ мәлімет алу үшін конференцияның ресми сайтына кіріңіз: http://www.alc2019.kz/

Математикалық журнал

Он алтыншы Азиялық Логика Конференциясы

Жаңалықтар