Joe Halpern and his coauthor Willemien Kets were awarded the Ray Reiter Prize for best paper at KR 2012.
- About
- Events
- Calendar
- CS Colloquium
- CU Tech Colloquium
- BOOM 2017
- SoNIC Workshop
- Conway-Walker Lecture Series
- Salton Lecture Series
- Seminars / Lectures
- Big Red Hacks
- 50th Anniversary Symposium
- Cornell University High School Programming Contest
- Game Design Initiative
- SJTU International Workshop
- Seminars & Lectures
- People
- Courses
- Research
- Undergraduate
- M Eng
- MS
- PhD