Symposium on Logical Foundations Of Computer Science
The LFCS series has the best student paper award, The Rosser Prize, named after John Barkley Rosser Sr. (1907–1989), a prominent American logician with fundamental contributions in both Mathematics and Computer Science.