Симпозиум по логике в информатике
 | Эта статья нуждается в дополнительных цитатах для проверки . ( июль 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]
LICS Awards ЛИКС editНаграды
Испытание временем « » Награда
Каждый год, начиная с 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
