Skip to search formSkip to main contentSkip to account menu

Kleene award

The Kleene Award is awarded at the annual IEEE Symposium on Logic in Computer Science (LICS) to that author(s) of the best student paper(s). A paper… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
The LICS conference presents the Kleene Award annually to the best student paper or papers accepted for presentation at LICS that…