Moshe Y. Vardi, Karen Ostrum George Professor in Computational Engineering, will be awarded the Test-of-Time Award from the IEEE Symposium on Logic in Computer Science (LICS) for co-authoring a paper entitled, "An Automata-Theoretic Approach to Automatic Program Verification." The LICS awards committee selected the paper, which appeared in the 1986 LICS proceedings, after concluding that twenty years later, the paper still carries influence today.
The Test-of-Time Awards will be presented during the 2006 LICS Business Meeting, which will take place Saturday, August 12, in Seattle as part of the Federated Logic Conference (FLoC) 2006. Vardi will accept the award with co-author Pierre Wolper, professor of computer science at the Université de Liege in Belgium.
The Test-of-Time Award is a new distinction from LICS. The award recognizes a small number of papers from the LICS proceedings from 20 years prior (i.e., papers from LICS 1986 are considered in 2006) that have best met the "test of time". The awards committee is appointed by the LICS General Chair and consists of between three to five LICS members.
August 12, 2006