Премия Клини

Премия Клини присуждается на ежегодном симпозиуме 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	Флавьен Бревар	«О характеристике моделей Н»
2015	Фабиан Райтер	«Автоматы с распределенным графом»
2016	Стин Вестер	«Победа ядер в играх на четность»
2017	Амина Думане	«Конструктивная полнота мю-исчисления с линейным временем»
2018	Этьен Микей	«Секвенционное исчисление с зависимыми типами для классической арифметики»
2019	Рено Вилмарт	«Почти минимальная аксиоматизация ZX-исчисления для квантовой механики чистого кубита»
2020	Жюльен Гранж	«Инвариантная к преемнику логика первого порядка на классах ограниченной степени»
2021	Мориц Лихтер и Джейми Такер-Фольц
2022	Елена Ди Лавор и Йоав Монтакют

См. также

• Список наград в области информатики
• Премия Мачти

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

• Премия Клини