LICS Test-of-Time Award
The LICS Test-of-Time Award recognizes a small number of papers
from the LICS proceedings from 20 years prior (i.e., papers from
LICS 1986 — the first LICS conference — were considered in 2006) that have best met the
"test of time".
The papers are selected by an awards committee that is appointed
by the LICS General Chair and consists of between three to five
members. The committee is renewed every year; at the discretion
of the General Chair, members may be reappointed to the awards
committee.
In selecting these papers, the Awards Committee should consider
the influence that the papers have had since publication;
because of the foundational nature of LICS work, impact is
often not fully felt immediately, hence the 20-year
perspective.
The Award Committee is expected to select 1–2 papers. However, the
Award Committee may choose to select no paper from a given year, or
may select up to 3 papers.
All papers from the given year are eligible for this award, except
those that are authored or co-authored by members of the Awards
Committee. There is no formal nomination process for this award, but
input from the LICS community is welcome.
- LICS Test-of-Time Award in 2007
- For the second LICS Test-of-Time Award, all papers from LICS 1987
were considered.
The Awards Committee
consisted of Yuri Gurevich (Chair), Rajeev Alur, and Glynn Winskel.
The Committee has selected the following two papers for
the LICS Test-of-Time Award; the papers are listed in the order they appeared
in the LICS 1987 proceedings:
-
"Domain Theory in Logical Form" by Samson Abramsky
-
"A Framework for Defining Logics" by Robert Harper, Furio Honsell, and Gordon Plotkin
The presentation of the awards took place on July 10, 2007
during the Awards Ceremony session at LICS 2007.
- LICS Test-of-Time Award in 2006
- For the first LICS Test-of-Time Award, all papers from LICS 1986 (the first LICS)
were considered.
The Awards Committee
consisted of Samson Abramsky (Chair), Rajeev Alur, and Yuri Gurevich.
The Committee has selected the following three papers for
the LICS Test-of-Time Award; the papers are listed in the order they appeared
in the LICS 1986 proceedings:
-
"Efficient Model Checking in
Fragments of the Propositional Mu-Calculus"
by E. Allen Emerson and Chin-Laung Lei
-
"An Automata-Theoretic Approach to
Automatic Program Verification"
by Moshe Y. Vardi and Pierre Wolper.
-
"Orderings for Equational Proofs"
by Leo Bachmair, Nachum Dershowitz, and Jieh Hsiang.
The presentation of the awards took place on August 12, 2006
during the 2006 LICS Business Meeting.
Back to the LICS web page.