From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10099 Path: news.gmane.io!.POSTED.ciao.gmane.io!not-for-mail From: Tarmo Uustalu Newsgroups: gmane.science.mathematics.categories Subject: ETAPS Test of Time Award 2020, call for nominations Date: Wed, 15 Jan 2020 01:36:16 +0000 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="ciao.gmane.io:159.69.161.202"; logging-data="72979"; mail-complaints-to="usenet@ciao.gmane.io" To: Original-X-From: majordomo@rr.mta.ca Thu Jan 16 18:42:04 2020 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.55]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1is99g-000In3-AO for gsmc-categories@m.gmane-mx.org; Thu, 16 Jan 2020 18:42:04 +0100 Original-Received: from rr.mta.ca ([198.164.44.159]:40950) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1is97m-0007UP-2O; Thu, 16 Jan 2020 13:40:06 -0400 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1is97o-0003kj-Os for categories-list@rr.mta.ca; Thu, 16 Jan 2020 13:40:08 -0400 Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10099 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. 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 . 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. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]