Премия Клини - Kleene Award

  (Перенаправлено с награды Клини )

Премия Клини вручается на ежегодном симпозиуме IEEE по логике в компьютерных науках (LICS) автору (авторам) лучших студенческих работ. Статья считается студенческой, если каждый автор является студентом на дату подачи. Также имеют право авторы, которые только недавно закончили учебу, при условии, что представленная работа основана на работе, выполненной, когда он или она еще были студентом. Решение о награждении принимает Программный комитет.

Премия названа в честь Стивена Коула Клини , который проделал новаторскую работу в области логики, связанной с информатикой.

Предыдущие получатели

Список прошлых получателей премии Клини представлен в таблице ниже.

Год Получатель Бумага
1995 г. Копылов Алексей Петрович «Разрешимость линейной аффинной логики»
1996 г. Юха Нурмонен «Подсчет кванторов по модулю на конечных линейно упорядоченных деревьях»
1996 г. Гай Маккаскер «Игры и полная абстракция для FPC»
1997 г. Джулиан Ратке «Уникальная индукция точек фиксации для процессов передачи ценности»
1998 г. Жан-Мари Ле Барс "Фрагменты экзистенциальной логики второго порядка без законов 0-1"
2000 г. Ларс Биркедал «Общее понятие реализуемости»
2001 г. Казусигэ Теруи «Легкое аффинное лямбда-исчисление и сильная нормализация по многим временам»
2001 г. Фредерик Бланки «Определения путем переписывания в исчислении конструкций»
2002 г. Альберт Ацериас «Неудовлетворительные случайные формулы трудно сертифицировать»
2003 г. Бенджамин Россман «Последователь-инвариантность в конечном»
2004 г. Феликс Клаедтке «О размере автомата для арифметики Пресбургера»
2005 г. Бенджамин Россман «Экзистенциальные положительные типы и сохранение при гомоморфизмах»
2006 г. Уго Дал Лаго «Семантика контекста, линейная логика и вычислительная сложность»
2007 г. Никос Цевелекос «Полная абстракция для именных общих ссылок»
2008 г. Дэвид Дурис "Теоремы об ацикличности и сохранении расширений гиперграфов"
2009 г. Оливер Фридманн "Экспоненциальная нижняя граница алгоритма улучшения стратегии игры на паритет, как мы его знаем"
2010 г. Энтони Виджаджа То «Парихские образы грамматик: сложность и применение»
2011 г. Виллем Хейлтьес «Доказательные сети для аддитивной линейной логики с единицами измерения»
2012 г. Кристоф Беркхольц "Нижние границы для экзистенциальных камешковых игр и тестов k-согласованности"
2013 Ори Лахав «От свойств фрейма к непоследовательным правилам в модальной логике»
2014 г. Ярон Велнер «Синтез стратегии с конечной памятью для надежных многомерных целей среднего выигрыша»
2014 г. Флавьен Брейварт «О характеристике моделей H»
2015 г. Фабиан Рейтер «Распределенные графические автоматы»
2016 г. Стин Вестер «Выигрышные ядра в паритетных играх»
2017 г. Амина Доуман «Конструктивная полнота для линейного мю-исчисления»
2018 г. Этьен Мики «Последовательное исчисление с зависимыми типами для классической арифметики»
2019 г. Рено Вильмарт "Почти минимальная аксиоматизация ZX-исчисления для чистой кубитной квантовой механики"
2020 г. Жюльен Гранж "Последовательно-инвариантная логика первого порядка на классах ограниченной степени"

Смотрите также

Ноты

  1. ^ a b "LICS - Архив" . lics.siglog.org .

внешние ссылки