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