ACM СИГЛОГ
ACM SIGLOG или SIGLOG — это на логике и вычислениях Ассоциации вычислительной техники группа, специализирующаяся . Он издает новостной журнал ( SIGLOG News ) и проводит ежегодный симпозиум ACM-IEEE по логике в компьютерных науках (LICS) в качестве своей ведущей конференции. [1] Кроме того, он публикует онлайн-информационный бюллетень SIGLOG Monthly Bulletin (ранее LICS Newsletter ), [2] и «поддерживает тесные связи» с соответствующим академическим журналом ACM Transactions on Computational Logic . [3]
Создание этой группы особых интересов было предложено в 2007 году Моше Варди и Даной Скотт , и Варди был основным автором более подробного предложения по ее созданию. Он был основан в 2014 году Пракашем Панангаденом в качестве его основателя и Анджеем Муравским в качестве редактора-основателя информационного бюллетеня. [1] [4]
Премия Алонсо Чёрча
[ редактировать ]В 2015 году SIGLOG в сотрудничестве с EATCS , EACSL и Обществом Курта Гёделя учредил Премию Алонзо Чёрча за выдающийся вклад в логику и вычисления . [5] Список прошлых лауреатов премии ведется EACSL. [6] [7]
- 2016 Раджив Алур и Дэвид Дилл «За изобретение временных автоматов, разрешимой модели систем реального времени, которая сочетает в себе новую, элегантную, глубокую теорию с широким практическим воздействием».
- 2017 Самсон Абрамски , Радха Джагадисан, Паскуале Малакария, Мартин Хайланд , Люк Онг и Ханно Никау «за предоставление полностью абстрактной семантики для вычислений высшего порядка посредством внедрения игровых моделей, что произвело фундаментальную революцию в области семантики языков программирования, и за прикладное воздействие этих моделей».
- 2018 Томас Федер и Моше Ю. Варди «за фундаментальный вклад в вычислительную сложность задач ограничения-удовлетворения».
- 2019 Мердок Дж. Габбай и Эндрю М. Питтс за «новаторскую работу по представлению теории номинальных представлений, мощной и элегантной математической модели для вычислений с данными, включающими атомные имена».
- 2020 Рональд Фейгин , Фокион Г. Колайтис , Рене Дж. Миллер , Люсьен Попа и Ван-Чью Тан за «их новаторскую работу по закладке логических основ для обмена данными».
- 2021 Георг Готтлоб , Кристоф Кох, Райнхард Пихлер, Клаус У. Шульц и Люк Сегуфин за «фундаментальную работу по извлечению веб-данных на основе логики и запросам данных с древовидной структурой».
- 2022 Декстер Козен — за «фундаментальную работу по развитию теории и приложений алгебры Клини с тестами, эквациональной системы для рассуждений об итерационных программах».
Ссылки
[ редактировать ]- ^ Jump up to: а б Панангаден, Пракаш (июль 2014 г.), «Добро пожаловать в SIGLOG!» , Письмо председателя, SIGLOG News , 1 (1): 2–3 .
- ^ «Ежемесячный бюллетень SIGLOG» , Ежемесячный бюллетень SIGLOG , 168 , 1 марта 2015 г.
- ^ Официальный сайт , по состоянию на 13 августа 2015 г.
- ^ Зикманн, Йорг М. (2014), «Вычислительная логика», в Габбай, Дов М .; Зикманн, Йорг М.; Вудс, Джон (ред.), Справочник по истории логики, том. 9: Вычислительная логика , Северная Голландия/Elsevier, стр. 15–30 . См., в частности, стр. 29 .
- ^ «УВЕДОМЛЕНИЯ» . Бюллетень символической логики . 23 (4): 540–545. 2017. ISSN 1079-8986 .
- ^ «Премия Алонзо Чёрча» . Европейская ассоциация теоретической информатики . Проверено 23 апреля 2022 г.
- ^ «Предыдущие награды – EACSL» . Проверено 13 ноября 2021 г.
