[Agda] ETAPS Test of Time Award 2022, call for nominations

[Tarmo Uustalu]

The ETAPS Test of Time Award 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.

See https://etaps.org/about/test-of-time-award .

Nominations

Nominations for the 2022 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 the nomination. Self-nominations are not allowed.

Nominations should be sent by

    Monday 14 February 2022

to the chair of the award committee, Don Sannella <dts at inf.ed.ac.uk>.

Award committee

The 2022 award committee consists of Rance Cleaveland, Ugo Dal Lago,
Marieke Huisman, Jan Křetínský, Don Sannella (chair), Gabriele
Taentzer and Peter Thiemann.