From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10629 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Tarmo Uustalu Newsgroups: gmane.science.mathematics.categories Subject: ETAPS Test of Time Award 2022, call for nominations Date: Tue, 28 Dec 2021 21:28:08 +0200 Message-ID: Reply-To: Tarmo Uustalu Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="30097"; mail-complaints-to="usenet@ciao.gmane.io" To: Original-X-From: majordomo@rr.mta.ca Wed Dec 29 22:02:07 2021 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.75]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1n2g5H-0007Yi-5X for gsmc-categories@m.gmane-mx.org; Wed, 29 Dec 2021 22:02:07 +0100 Original-Received: from rr.mta.ca ([198.164.44.159]:39600) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1n2g5R-0002aR-GD; Wed, 29 Dec 2021 17:02:17 -0400 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1n2g1n-0003mK-Ur for categories-list@rr.mta.ca; Wed, 29 Dec 2021 16:58:31 -0400 Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10629 Archived-At: 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 . Award committee The 2022 award committee consists of Rance Cleaveland, Ugo Dal Lago, Marieke Huisman, Jan K=C5=99et=C3=ADnsk=C3=BD, Don Sannella (chair), Gabrie= le Taentzer and Peter Thiemann. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]