From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10382 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 2021, call for nominations Date: Sun, 31 Jan 2021 16:54:18 +0200 Message-ID: Reply-To: Tarmo Uustalu Mime-Version: 1.0 Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="26961"; mail-complaints-to="usenet@ciao.gmane.io" To: Original-X-From: majordomo@rr.mta.ca Wed Feb 03 03:11:11 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 1l77dO-0006qf-67 for gsmc-categories@m.gmane-mx.org; Wed, 03 Feb 2021 03:11:10 +0100 Original-Received: from rr.mta.ca ([198.164.44.159]:42370) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1l77ae-0000QT-VT; Tue, 02 Feb 2021 22:08:20 -0400 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1l77XP-0000y4-6V for categories-list@rr.mta.ca; Tue, 02 Feb 2021 22:04:59 -0400 Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10382 Archived-At: ETAPS Test of Time Award 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://www.etaps.org/about/test-of-time-award Nominations Nominations for the 2021 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 15 February to the chair of the award committee, Don Sannella . Award committee The 2021 award committee consists of Rance Cleaveland, Ugo Dal Lago, Marieke Huisman, Peter Ryan, Don Sannella (chair), Gabriele Taentzer and Peter Thiemann. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]