coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] ETAPS Test of Time Award 2020, call for nominations

From: Tarmo Uustalu <tarmo AT cs.ioc.ee>
To: haskell AT haskell.org, agda AT lists.chalmers.se, caml-list AT inria.fr, coq-club AT inria.fr
Subject: [Coq-Club] ETAPS Test of Time Award 2020, call for nominations
Date: Wed, 15 Jan 2020 01:36:12 +0000
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=tarmo AT cs.ioc.ee; spf=None smtp.mailfrom=tarmo AT cs.ioc.ee; spf=None smtp.helo=postmaster AT smtp2.ioc.ee
Ironport-phdr: 9a23:PTKztBNigthJ+ybYxmwl6mtUPXoX/o7sNwtQ0KIMzox0Ivn+rarrMEGX3/hxlliBBdydt6sYzbKM+Pu6ESxYuNDd6StEKMQNHzY+yuwu1zQ6B8CEDUCpZNXLVAcdWPp4aVl+4nugOlJUEsutL3fbo3m18CJAUk6nbVk9Kev6AJPdgNqq3O6u5ZLTfx9IhD2gar9uMRm6twrcutQZjId4Nqo91BTFr3VWd+9LwW9kOU+fkwzz68ut8pNv6Thct+4k+8VdTaj0YqM0QKBCAj87KW41/srrtRfCTQuL+HQRV3gdnwRLDQbY8hz0R4/9vSTmuOVz3imaJtD2QqsvWTu+9adrSQTnhzkBOjUk7WzYkM1wjKZcoBK8uxxyxpPfbY+JOPZieK7WYNUXTndDUMlMTSxMGo2yYYsRAeQcPuhXoJXyqVQVoBuiBwShHv/jxiNUinPo26AxzuQvERvB3AwlB98Arm7brM/wNKcVTOu6wrTIzS7fb/xM3Tf99ZXDfxc9of6WR7JwdM3RxFIzGAPelFmQqIvlMC+P2usTrWeW9uxtXv+shW4/swx9vzyiy8k2hoTGmo4Z0E7I+CVkzIovONG1TEp2bca5HJZQuSyWLY97Tt04T211tys3yacKtYOlcCULzpks2gTRZOadc4eS5xLuTOaRLil8hHJiYL+/nBOy8VS4yuHiTMW00VFKoTZfntbSqH8Bzx3T6s6ZRfth5kqtxDKC2g7J5uxLPUw4j7TXJp48zrIqi5YetUDOEjfzmErsja+Wcksk+vKv6+TierjmuoWTN5VxigH5Kakhhte/Df45MggJQ2eX4/qz26P78U3jXLpKluE2krXesJ3COcsUvKu5AwtM3oYn6ha/FCum3c8DnXgHKVJFYAiIg5LoO1HIOvD4DO2wj06ikDdx3/rGJKHuAo3RLnjfl7fsZapy60lFyAYq0d9f449UBaoaLfLoWk7xscTYAQUjPwy1xebnEtR92ZkEVWKBGK/KeJ/V5F+B/eEiJ+2kZIYOuzv5L74i/fGqxXY2lVY1eaiywYBRY3CxGvFrOV7feneoytwIFGNPugslUMTrjkeDWHhdfTL6VKUlozo/FYiODIHZR4nrjqbS8j28G8hqb3pDDRixDGz0foGZE6MQYTiXJedqiXoFUrPnRoJ3hkLmjxPz17cydrmcwSYfr5+2jIEptd2Wrgk78HlPN+rYy3uEFjgmlXhORjg9mq1y8xQklwWzlJNgivkdLuR9ovNEVgBjaczHyvBiUZbzXQmHc9rbEA/3EOXjOik4S5cK+/FLZk98H9u4iRWahnihGPkUkLfNCZFmqq8=

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.

Nominations 2020

Nominations for the 2020 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. It should be
phrased 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 2 March 2020

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

Award committee

The 2020 award committee consists of Rance Cleaveland, Ugo Dal Lago,
Marieke Huisman, Tiziana Margaria, Don Sannella (chair), Gabriele
Taentzer and Peter Thiemann.

[Coq-Club] ETAPS Test of Time Award 2020, call for nominations, Tarmo Uustalu, 01/15/2020