From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10646 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, 2nd call for nominations Date: Tue, 18 Jan 2022 20:38:04 +0000 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="27068"; mail-complaints-to="usenet@ciao.gmane.io" To: Original-X-From: majordomo@rr.mta.ca Wed Jan 19 22:49:34 2022 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 1nAIph-0006qv-W7 for gsmc-categories@m.gmane-mx.org; Wed, 19 Jan 2022 22:49:34 +0100 Original-Received: from rr.mta.ca ([198.164.44.159]:41900) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1nAIpa-0005ts-4K; Wed, 19 Jan 2022 17:49:26 -0400 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1nAInS-0008QR-05 for categories-list@rr.mta.ca; Wed, 19 Jan 2022 17:47:14 -0400 Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10646 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/ ]