Logic List Mailing Archive

CfNominations: ETAPS Test of Time Award 2024, deadline: 5 February 2024

ETAPS Test of Time Award
========================

The ETAPS Test of Time Award, instituted 2017, recognizes outstanding papers published more than 10 years in the past in one of the constituent conferences of ETAPS. The Award recognises the impact of excellent research results that have been published at ETAPS.

The Test of Time Award is selected by an Award Committee consisting of a representative of each of the constituent ETAPS conferences, the ETAPS Steering Committee Chair, the General Chair of the current ETAPS, and a Chair appointed by the ETAPS Steering Committee Chair.

The Award Committee is expected to select 1–2 papers each year. It may choose to select no paper in a given year. The winners of the ETAPS Test of Time Award receive a recognition plaque at ETAPS and a cash award of 1200€ which is shared among the authors. A paper can receive the ETAPS Test of Time Award only once.

Nominations
-----------

Nominations for the 2024 ETAPS Test of Time Award are solicited from the ETAPS community. A nomination should include the title and publication details of the nominated paper, explain the influence it has had since publication, and why it merits the award. The nomination should phrase it in terms that are understandable by the members of the award committee and suitable for use in the award citation and should be endorsed by at least 2 people other than the person submitting nomination. Self-nominations are not allowed.

Nominations should be sent by Monday 5 February 2024 to the chair of the award committee, Don Sannella <dts@inf.ed.ac.uk>.


Award Committee
---------------

Luis Caires, Rance Cleaveland, Ugo Dal Lago, Marieke Huisman, Peter Ryan, Don Sannella (chair), and Gabriele Taentzer.
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php