Симпозиум по логике в компьютерных науках - Symposium on Logic in Computer Science
ACM-IEEE симпозиум по логике в области компьютерных наук ( СНД ) является ежегодной научной конференции по теории и практике информатики по отношению к математической логике . Расширенные версии избранных статей ежегодной конференции публикуются в известных международных журналах, таких как Logical Methods in Computer Science и ACM Transactions on Computational Logic .
История
Первоначально LICS спонсировалась исключительно IEEE , но с момента основания в 2014 году Специальной группы ACM по логике и вычислениям LICS стала флагманской конференцией SIGLOG при совместном спонсорстве ACM и IEEE.
Начиная с первого выпуска в 1988 году, на титульном листе трудов конференции была размещена работа Элви Рэя Смита под названием « Иррациональное разбиение на логические квантификаторы » .
С 1995 года каждый год премия Клини вручается за лучшую студенческую работу. Кроме того, с 2006 года награда LICS Test-of-Time Award ежегодно вручается одной из 20-летних статей LICS, которые лучше всего выдержали испытание временем.
Награды 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 г.
- Лука де Альфаро , Томас А. Хензингер , «Параллельные омега-регулярные игры»
- Хироши Накано , «Способ рекурсии»
2021 г.
- Аарон Стамп; , Кларк В. Барретт , Дэвид Л. Дилл , Джереми Р. Левитт , "Процедура принятия решения для расширенной теории массивов"
- Хунвэй Си , "Зависимые типы для подтверждения завершения программы"
Клини награда
На каждой конференции премии Клини , в чести Клини , даются для лучшей студенческой газеты.
Смотрите также
- В списке конференций по информатике есть и другие научные конференции по информатике.