クリーネ賞

Kleene賞 ^[1] は、毎年開催されるIEEE コンピュータサイエンスの論理に関するシンポジウム(LICS) で最優秀学生論文の著者に授与されます。論文の提出日に各著者が学生である場合、その論文は学生論文として認められます。また、提出された論文が学生時代に取り組んだ研究に基づいている場合は、最近卒業した著者も対象となります。受賞の決定はプログラム委員会によって行われます。