LICS Test-of-Time Award 2007

The LICS Test-of-Time Award recognizes a small number of influential papers which appeared in the LICS proceedings from 20 years prior that have best met the “test of time”.

I have just read that the Awards Committee for 2007, consisting of Yuri Gurevich (Chair), Rajeev Alur, and Glynn Winskel, selected the papers

• Samson Abramsky, Domain Theory in Logical Form, and
  
• Robert Harper, Furio Honsell and Gordon Plotkin, A Framework for Defining Logics,
  

as winners of the 2007 LICS Test-of-Time Award (for papers from LICS 1987). Congratulations to the authors for this recognition of their work! For once, I could have successfully bet on those two papers winning the award for 2007 :-)