LICS 2011 Test-of-Time Award

The LICS 2011 Test-of-Time award was given yesterday to 

• Patrice Godefroid and Pierre Wolper for their paper A Partial Approach to Model Checking, 
• Dale Miller and Joshua Hodas for their paper Logic Programming in a Fragment of Intuitionistic Linear Logic and 
• Dexter Kozen for his paper A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events.
  

This year's award was given to papers presented at LICS 1991 that have stood the test of time and have had considerable impact since their publication. (Source: Prakash Panangaden)

Congratulations to all the award recipients!