Stony Brook, NY, May 29, 2013

Professor Leo Bachmair will receive a prestigious award at the 28th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2013) taking place June 25-28, 2013 in New Orleans, LA.

Professor Bachmair will be presented with the LICS Test-of-Time Award for his paper, Set Constraints are the Monadic Class, co-authored with Harald Ganzinger and Uwe Waldmann and published at LICS ‘93. Dr. Bachmair is also the recipient of the 2006 LICS Test-of-Time Award, along with Nachum Dershowitz, Jieh Hsiang, for their 1986 paper Orderings for Equational Proofs.

The LICS Test-of-Time Award recognizes a small number of papers from the LICS proceedings from 20 years prior that have best met the "test of time". This year’s awards committee, consisting of Prakash Panangaden, Jean-Pierre Jouannaud, Martin Grohe and Tom Henzinger, honored a total of three outstanding papers from LICS ‘93.

Congratulations, Professor Bachmair!