The Rosser Prize

This year, LFCS has established the best student paper award and named it after John Barkley Rosser Sr. (1907–1989), a prominent American logician with fundamental contributions in both Mathematics and Computer Science.After a direct vote of the whole Program Committee the John Barkley Rosser Sr. best student award (the Rosser Prize) at LFCS 2009 goes to Yuri Savateev of Moscow University for his paper “Product-free Lambek Calculus is NP-complete”.

Congratulations to Yuri!