Симпозиум по логике в информатике
 | Эта статья нуждается в дополнительных цитатах для проверки . ( июль 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 года ежегодно премия Клини вручается лучшей студенческой работе. Кроме того, с 2006 года награда LICS «Испытание временем» ежегодно вручается одной из двадцатилетних работ LICS, которые лучше всего выдержали испытание временем. [4]
Награды ЛИКС
[ редактировать ]Награда за испытание временем
[ редактировать ]Каждый год, начиная с 2006 года, премия LICS «Испытание временем» присуждается тем статьям, опубликованным 20 годами ранее, которые стали влиятельными.
2006
[ редактировать ]- Лео Бахмайр , Нахум Дершовиц , Цзе Сян , «Порядки доказательства уравнений»
- Э. Аллен Эмерсон , Чин-Лаунг Лей , «Эффективная проверка модели во фрагментах пропозиционального мю-исчисления (расширенное резюме)»
- Моше Ю. Варди , Пьер Вольпер , «Теоретико-автоматный подход к автоматической верификации программ (предварительный отчет)»
2007
[ редактировать ]- Самсон Абрамский , «Теория предметной области в логической форме».
- Роберт Харпер , Фурио Хонселл , Гордон Д. Плоткин , «Структура определения логики»
2008
[ редактировать ]- Мартин Абади , Лесли Лэмпорт , «Существование уточняющих отображений»
2009
[ редактировать ]- Эудженио Моджи , «Вычислительное лямбда-исчисление и монады»
2010
[ редактировать ]- Раджив Алур , Костас Куркубетис , Дэвид Л. Дилл , «Проверка моделей для систем реального времени»
- Джерри Р. Берч , Эдмунд Кларк , Кеннет Л. Макмиллан , Дэвид Л. Дилл , Джеймс Хван , «Проверка символической модели: 10^20 штатов и далее»
- Макс Доше , Софи Тайсон , «Теория систем перезаписи земли разрешима»
- Питер Фрейд , «Рекурсивные типы, сведенные к индуктивным типам»
2011
[ редактировать ]- Патрис Годфруа , Пьер Вольпер , «Частичный подход к проверке моделей»
- Джошуа Ходас , Дейл А. Миллер , «Логическое программирование во фрагменте интуиционистской линейной логики»
- Декстер Козен , «Теорема полноты для алгебр Клини и алгебры регулярных событий»
2012
[ редактировать ]- Томас Хенцингер , Ксавье Николлин , Джозеф Сифакис , Серджио Йовин , «Проверка символических моделей для систем реального времени»
- Жан-Пьер Тальпен , Пьер Жувело , «Тип и эффект дисциплины»
2013
[ редактировать ]- Лео Бахмайр , Харальд Ганцингер , Уве Вальдманн , «Ограничения множества — это монадический класс»
- Андре Жойал , Могенс Нильсон , Глинн Винскель , «Бисимуляция и открытые карты»
- Бенджамин Пирс , Давиде Санджорджи , «Типизация и подтипирование для мобильных процессов»
2014
[ редактировать ]- Мартин Хофманн , Томас Штрайхер , «Модель группоида опровергает уникальность доказательств тождества»
- Дейл А. Миллер , «Металогика множественных выводов»
2015
[ редактировать ]- Игорь Валукевич , «Полнота аксиоматизации Козена пропозиционального мю-исчисления»
2016
[ редактировать ]- Парош А. Абдулла , Карлис Серанс , Бенгт Йонссон , Йих-Куэн Цай , «Общие теоремы разрешимости для систем с бесконечным состоянием»
- Илиано Сервезато , Фрэнк Пфеннинг , «Линейная логическая структура».
2017
[ редактировать ]- Ричард Блют , Жозе Дешарне , Аббас Эдалат , Пракаш Панангаден , «Бисимуляция для меченых марковских процессов»
- Даниэле Тури , Гордон Д. Плоткин , «На пути к математической операционной семантике»
2018
[ редактировать ]- Мартин Абади , Седрик Фурне , Жорж Гонтье , «Безопасная реализация абстракций каналов»
- Самсон Абрамски , Кохей Хонда , Гай Маккаскер , «Полностью абстрактная семантика игры для общих ссылок»
2019
[ редактировать ]- Марсело П. Фиоре , Гордон Д. Плоткин , Даниэле Тури , «Абстрактный синтаксис и привязка переменных»
- Мердок Габбай , Эндрю М. Питтс , «Новый подход к абстрактному синтаксису, включающему связующие»
2020
[ редактировать ]- Лука де Альфаро , Томас А. Хенцингер , «Параллельные омега-регулярные игры»
- Хироши Накано , «Модальность рекурсии».
2021
[ редактировать ]- Аарон Стамп; , Кларк В. Барретт , Дэвид Л. Дилл , Джереми Р. Левитт , «Процедура принятия решения для экстенсиональной теории массивов»
- Хунвэй Си , «Зависимые типы для проверки завершения программы»
Премия Клини
[ редактировать ]На каждой конференции награда Клини в честь С.К. Клини вручается за лучшую студенческую работу.
См. также
[ редактировать ]- Список конференций по информатике содержит и другие научные конференции по информатике.
Примечания
[ редактировать ]- ^ Панангаден, Пракаш (июль 2014 г.), «Добро пожаловать в SIGLOG!» , Письмо председателя, SIGLOG News , 1 (1): 2–3 .
- ^ «Архив ЛИКС» . Симпозиум ACM/IEEE по логике в информатике . Проверено 26 февраля 2024 г.
- ^ Иррациональная мозаика от Logical Quantifiers , обложка LICS Элви Рэя Смита.
- ^ Веб-сайт наград LICS
