WikiDer > Симпозиум по логике в компьютерных науках
 | Эта статья нужны дополнительные цитаты для проверка. (Июль 2020) (Узнайте, как и когда удалить этот шаблон сообщения) |
В Симпозиум ACM – IEEE по логике в компьютерных науках (LICS) является ежегодным научная конференция по теории и практике Информатика в связи с математическая логика. Расширенные версии избранных статей ежегодной конференции публикуются в известных международных журналах, таких как Логические методы в информатике и Транзакции ACM по вычислительной логике.
История
LICS изначально спонсировалась исключительно IEEE, но с момента основания в 2014 г. Специальная группа ACM по логике и вычислениям LICS стала флагманской конференцией SIGLOG при совместном спонсорстве ACM и IEEE.[1]
С момента выхода первой партии в 1988 году на титульном листе трудов конференции была размещена работа под названием Иррациональная мозаика с помощью логических кванторов, к Элви Рэй Смит.[2]
С 1995 г. каждый год Клини награда выдается за лучшую студенческую работу. Кроме того, с 2006 г. Премия LICS Test-of-Time ежегодно вручается одной из 20-летних работ LICS, которые лучше всего выдержали испытание временем.[3]
Награды LICS
Премия Test-of-Time
Каждый год, начиная с 2006 года, награда LICS Test-of-Time Award присуждается тем статьям из заседаний LICS 20 лет назад, которые стали влиятельными.
2006
- Лео Бахмайр, Нахум Дершовиц, Цзе Сян, "Порядок доказательства по уравнениям"
- Э. Аллен Эмерсон, Чин-Лаунг Лей, "Эффективная проверка моделей во фрагментах исчисления высказываний (расширенная аннотация)"
- Моше Й. Варди, Пьер Вольпер, "Теоретико-автоматный подход к автоматической верификации программ (предварительный отчет)"
2007
- Самсон Абрамский, «Теория предметной области в логической форме»
- Роберт Харпер, Фурио Хонселл, Гордон Д. Плоткин, «Основа для определения логики»
2008
- Мартин Абади, Лесли Лэмпорт, «Существование уточняющих отображений»
2009
- Эухенио Моджи, "Вычислительное лямбда-исчисление и монады"
2010
- Раджив Алур, Костас Куркубетис, Дэвид Л. Дилл, «Проверка моделей для систем реального времени»
- Джерри Р. Берч, Эдмунд Кларк, Кеннет Л. Макмиллан, Дэвид Л. Дилл, Джеймс Хван, «Проверка символьной модели: 10 ^ 20 состояний и более»
- Макс Дауше, Софи Тисон, «Теория наземных систем перезаписи разрешима»
- Питер Фрейд, «Рекурсивные типы, сведенные к индуктивным»
2011
- Патрис Годфроид, Пьер Вольпер, «Частичный подход к проверке моделей»
- Джошуа Ходас, Дейл А. Миллер, «Логическое программирование во фрагменте интуиционистской линейной логики»
- Декстер Козен, "Теорема полноты для алгебр Клини и алгебры регулярных событий"
2012
- Томас Хензингер, Ксавье Николлин, Джозеф Сифакис, Серджио Йовине, «Проверка символьной модели для систем реального времени»
- Жан-Пьер Тальпен, Пьер Жувело, «Тип и эффект дисциплины»
2013
- Лео Бахмайр, Харальд Ганзингер, Уве Вальдманн, "Ограничения множества - это монадический класс"
- Андре Жоял, Могенс Нильсон, Глинн Винскель, «Бисимуляция и открытые карты»
- Бенджамин С. Пирс, Давиде Санджорджи, «Набор текста и подтипы для мобильных процессов»
2014
- Мартин Хофманн, Томас Штрайхер, «Модель группоида опровергает уникальность доказательств идентичности»
- Дейл А. Миллер, «Мета-логика с несколькими выводами»
2015
- Игорь Валукевич, "Полнота аксиоматизации Козена пропозиционального Mu-исчисления"
2016
- Парош А. Абдулла, Карлис Серанс, Бенгт Йонссон, Йих-Куен Цай, "Общие теоремы о разрешимости систем с бесконечным числом состояний"
- Илиано Червесато, Фрэнк Пфеннинг, "Линейная логическая структура"
2017
- Ричард Блют, Жозе Дешарне, Аббас Эдалат, Пракаш Панангаден, "Бисимуляция для маркированных марковских процессов"
- Даниэле Тури, Гордон Д. Плоткин, "К математической операционной семантике"
2018
- Мартин Абади, Седрик Фурне, Жорж Гонтье, "Безопасная реализация абстракций каналов"
- Самсон Абрамский, Кохей Хонда, Гай Маккаскер, "Полностью абстрактная игровая семантика для общих ссылок"
2019
- Марсело П. Фьоре, Гордон Д. Плоткин, Даниэле Тури, «Абстрактный синтаксис и привязка переменных»
- Мердок Габбей, Эндрю М. Питтс, «Новый подход к абстрактному синтаксису с использованием связующих»
2020
- Лука де Альфаро, Томас А. Хензингер, «Одновременные омега-обычные игры»
- Хироши Накано, "Способ рекурсии"
Клини награда
На каждой конференции Клини награда, в честь S.C. Kleene, присуждается за лучшую студенческую работу.
Смотрите также
- В список конференций по информатике содержит другие научные конференции по информатике.
Примечания
- ^ Панангаден, Пракаш (Июль 2014 г.), "Добро пожаловать в SIGLOG!", Письмо председателя, Новости SIGLOG, 1 (1): 2–3.
- ^ Иррациональная мозаика с помощью логических кванторов Обложка LICS Элви Рэя Смита.
- ^ Сайт награды LICS