Премия Клини


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

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