Симпозиум по логике в информатике
This article needs additional citations for verification. (July 2020) |
Симпозиум ACM –IEEE по логике в компьютерных науках ( LICS ) является ежегодной академической конференцией по теории и практике компьютерных наук в связи с математической логикой . Расширенные версии избранных статей конференции каждого года публикуются в известных международных журналах, таких как Logical Methods in Computer Science и ACM Transactions on Computational Logic .
История
Первоначально LICS спонсировался исключительно IEEE , но с основанием в 2014 году Специальной группы по логике и вычислениям ACM LICS стала флагманской конференцией SIGLOG при совместном спонсорстве ACM и IEEE. [1]
Начиная с третьего [2] выпуска в 1988 году и до 2013 года на титульном листе материалов конференции красовалась работа Элви Рэя Смита под названием « Иррациональная мозаика с помощью логических квантификаторов» . [3]
Начиная с 1995 года, каждый год премия Kleene вручается лучшей студенческой работе. Кроме того, начиная с 2006 года, премия LICS Test-of-Time Award ежегодно вручается одной из двадцатилетних работ LICS, которая лучше всего выдержала испытание временем. [4]
Награды ЛИКС
Премия «Испытание временем»
Ежегодно, начиная с 2006 года, премия LICS Test-of-Time Award присуждается тем статьям из трудов LICS 20-летней давности, которые стали влиятельными.
2006
- Лео Бахмайр, Нахум Дершовиц , Цзе Сян, «Упорядочение доказательств уравнений»
- Э. Аллен Эмерсон , Чин-Лаунг Лей, «Эффективная проверка моделей во фрагментах пропозиционального мю-исчисления (расширенный реферат)»
- Моше Й. Варди , Пьер Вольпер , «Автоматно-теоретический подход к автоматической проверке программ (предварительный отчет)»
2007
- Самсон Абрамский , «Теория предметной области в логической форме»
- Роберт Харпер , Фурио Хонселл , Гордон Д. Плоткин , «Структура определения логик»
2008
- Мартин Абади , Лесли Лэмпорт , «Существование уточняющих отображений»
2009
- Эудженио Моджи , «Вычислительное лямбда-исчисление и монады»
2010
- Раджив Алур , Костас Куркубетис, Дэвид Л. Дилл , «Проверка моделей для систем реального времени»
- Джерри Р. Берч, Эдмунд Кларк , Кеннет Л. Макмиллан , Дэвид Л. Дилл , Джеймс Хванг, «Проверка символической модели: 10^20 состояний и далее»
- Макс Доше, Софи Тисон, «Теория систем переписывания наземных данных разрешима»
- Питер Фрейд , «Рекурсивные типы, сведенные к индуктивным типам»
2011
- Патрис Годфруа, Пьер Вольпер , «Частичный подход к проверке моделей»
- Джошуа Ходас, Дейл Миллер , «Логическое программирование в фрагменте интуиционистской линейной логики»
- Декстер Козен , «Теорема полноты для алгебр Клини и алгебры регулярных событий»
2012
- Томас Хензингер , Ксавье Николлин, Джозеф Сифакис , Серхио Йовин, «Проверка символической модели для систем реального времени»
- Жан-Пьер Тальпен, Пьер Жувело, «Тип и дисциплина эффекта»
2013
- Лео Бахмайр, Харальд Ганзингер , Уве Вальдман, «Ограничения множеств — это монадический класс»
- Андре Жойал , Могенс Нильсон, Глинн Винскель, «Бисимуляция и открытые карты»
- Бенджамин С. Пирс , Давиде Санджорджи , «Типизация и подтипизация для мобильных процессов»
2014
- Мартин Хофманн , Томас Штрайхер , «Группоидная модель опровергает уникальность доказательств тождества»
- Дейл Миллер , «Многократная металогика выводов»
2015
- Игорь Валюкевич, «Полнота аксиоматизации Козена пропозиционального мю-исчисления»
2016
- Парош А. Абдулла, Карлис Серанс, Бенгт Йонссон, Йих-Куэн Цай, «Общие теоремы разрешимости для систем с бесконечным состоянием»
- Илиано Сервесато, Фрэнк Пфеннинг , «Линейная логическая структура»
2017
- Ричард Блют, Жозе Дешарне, Аббас Эдалат , Пракаш Панангаден , «Бисимуляция помеченных марковских процессов»
- Даниэле Тури, Гордон Д. Плоткин , «К математической операционной семантике»
2018
- Мартин Абади , Седрик Фурне, Жорж Гонтье , «Безопасная реализация абстракций каналов»
- Сэмсон Абрамски , Кохеи Хонда, Гай МакКаскер, «Полностью абстрактная игровая семантика для общих ссылок»
2019
- Марсело П. Фиоре, Гордон Д. Плоткин , Даниэле Тури, «Абстрактный синтаксис и связывание переменных»
- Мэрдок Гэбби, Эндрю М. Питтс, «Новый подход к абстрактному синтаксису с использованием связующих элементов»
2020
- Лука де Альфаро, Томас А. Хензингер , «Одновременные игры Omega-Regular»
- Хироши Накано, «Модализация рекурсии»
2021
- Аарон Стамп, Кларк В. Барретт, Дэвид Л. Дилл , Джереми Р. Левитт, «Процедура принятия решения для экстенсиональной теории массивов»
- Хунвэй Си, «Зависимые типы для проверки завершения программы»
Премия Клини
На каждой конференции вручается премия Клини в честь С. К. Клини за лучшую студенческую работу.
Смотрите также
- Список конференций по информатике содержит другие научные конференции по информатике.
Примечания
- ^ Панангаден, Пракаш (июль 2014 г.), «Добро пожаловать в SIGLOG!», Письмо председателя, Новости SIGLOG , 1 (1): 2– 3.
- ^ "Архив LICS". Симпозиум ACM/IEEE по логике в компьютерных науках . Получено 26 февраля 2024 г.
- ^ Иррациональная мозаика с использованием логических квантификаторов. Обложка LICS Элви Рэя Смита.
- ^ Сайт наград LICS
Внешние ссылки
- Домашняя страница LICS
