From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 3460F5D5 for ; Wed, 15 Jan 2020 01:40:54 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.70,320,1574118000"; d="scan'208";a="431378777" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 15 Jan 2020 02:40:53 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 4F0747ED1F; Wed, 15 Jan 2020 02:40:53 +0100 (CET) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 573257ED1F; Wed, 15 Jan 2020 02:36:15 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=tarmo@cs.ioc.ee; spf=None smtp.mailfrom=tarmo@cs.ioc.ee; spf=None smtp.helo=postmaster@smtp2.ioc.ee IronPort-PHdr: =?us-ascii?q?9a23=3APTKztBNigthJ+ybYxmwl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0Ivn+rarrMEGX3/hxlliBBdydt6sYzbKM+Pu6ESxYuNDd6StEKMQNHzY+yu?= =?us-ascii?q?wu1zQ6B8CEDUCpZNXLVAcdWPp4aVl+4nugOlJUEsutL3fbo3m18CJAUk6nbVk9?= =?us-ascii?q?Kev6AJPdgNqq3O6u5ZLTfx9IhD2gar9uMRm6twrcutQZjId4Nqo91BTFr3VWd+?= =?us-ascii?q?9LwW9kOU+fkwzz68ut8pNv6Thct+4k+8VdTaj0YqM0QKBCAj87KW41/srrtRfC?= =?us-ascii?q?TQuL+HQRV3gdnwRLDQbY8hz0R4/9vSTmuOVz3imaJtD2QqsvWTu+9adrSQTnhz?= =?us-ascii?q?kBOjUk7WzYkM1wjKZcoBK8uxxyxpPfbY+JOPZieK7WYNUXTndDUMlMTSxMGo2y?= =?us-ascii?q?YYsRAeQcPuhXoJXyqVQVoBuiBwShHv/jxiNUinPo26AxzuQvERvB3AwlB98Arm?= =?us-ascii?q?7brM/wNKcVTOu6wrTIzS7fb/xM3Tf99ZXDfxc9of6WR7JwdM3RxFIzGAPelFmQ?= =?us-ascii?q?qIvlMC+P2usTrWeW9uxtXv+shW4/swx9vzyiy8k2hoTGmo4Z0E7I+CVkzIovON?= =?us-ascii?q?G1TEp2bca5HJZQuSyWLY97Tt04T211tys3yacKtYOlcCULzpks2gTRZOadc4eS?= =?us-ascii?q?5xLuTOaRLil8hHJiYL+/nBOy8VS4yuHiTMW00VFKoTZfntbSqH8Bzx3T6s6ZRf?= =?us-ascii?q?th5kqtxDKC2g7J5uxLPUw4j7TXJp48zrIqi5YetUDOEjfzmErsja+Wcksk+vKv?= =?us-ascii?q?6+TierjmuoWTN5VxigH5Kakhhte/Df45MggJQ2eX4/qz26P78U3jXLpKluE2kr?= =?us-ascii?q?XesJ3COcsUvKu5AwtM3oYn6ha/FCum3c8DnXgHKVJFYAiIg5LoO1HIOvD4DO2w?= =?us-ascii?q?j06ikDdx3/rGJKHuAo3RLnjfl7fsZapy60lFyAYq0d9f449UBaoaLfLoWk7xsc?= =?us-ascii?q?TYAQUjPwy1xebnEtR92ZkEVWKBGK/KeJ/V5F+B/eEiJ+2kZIYOuzv5L74i/fGq?= =?us-ascii?q?xXY2lVY1eaiywYBRY3CxGvFrOV7feneoytwIFGNPugslUMTrjkeDWHhdfTL6VK?= =?us-ascii?q?Ulozo/FYiODIHZR4nrjqbS8j28G8hqb3pDDRixDGz0foGZE6MQYTiXJedqiXoF?= =?us-ascii?q?UrPnRoJ3hkLmjxPz17cydrmcwSYfr5+2jIEptd2Wrgk78HlPN+rYy3uEFjgmlX?= =?us-ascii?q?hORjg9mq1y8xQklwWzlJNgivkdLuR9ovNEVgBjaczHyvBiUZbzXQmHc9rbEA/3?= =?us-ascii?q?EOXjOik4S5cK+/FLZk98H9u4iRWahnihGPkUkLfNCZFmqq8=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DGGgCYax5e/8f7KMFmHgELHIQKCBKBQ?= =?us-ascii?q?SASKo0Qh0eCCYFomCoJAQMBOwEBhFSCCAYGNBMCEAEBBAEBAQIBAgMEAWyFQ4I?= =?us-ascii?q?7IoJ9KB0uTRMhTxIUIQeDMoIzBa1GhUmDUYE9gTaMMoIAgUeCL4F6iSkEjUOJY?= =?us-ascii?q?5gYgkJ7lSYneJl1Ao5ZnQgigVgzGggwGoMNUBgNlkdBM40lAQE?= X-IPAS-Result: =?us-ascii?q?A0DGGgCYax5e/8f7KMFmHgELHIQKCBKBQSASKo0Qh0eCCYF?= =?us-ascii?q?omCoJAQMBOwEBhFSCCAYGNBMCEAEBBAEBAQIBAgMEAWyFQ4I7IoJ9KB0uTRMhT?= =?us-ascii?q?xIUIQeDMoIzBa1GhUmDUYE9gTaMMoIAgUeCL4F6iSkEjUOJY5gYgkJ7lSYneJl?= =?us-ascii?q?1Ao5ZnQgigVgzGggwGoMNUBgNlkdBM40lAQE?= X-IronPort-AV: E=Sophos;i="5.70,320,1574118000"; d="scan'208";a="431378605" X-MGA-submission: =?us-ascii?q?MDHKvgoYkNqzkCa/GI08POy32n6sVJ0t5WLNxU?= =?us-ascii?q?lLXoJur3swoLLLy0E3cVZuT/nVKMz/FYsaQybg/lKdV6k9GJ6pn0Epwf?= =?us-ascii?q?7GHzpo47bR5ofIWCWd0olmD1GpDfafG9xtzlvuyhV83B7Zz2pFEFCi0D?= =?us-ascii?q?j2kltazpoZphNH/c4MO8Ug3A=3D=3D?= Received: from smtp2-out.ioc.ee (HELO smtp2.ioc.ee) ([193.40.251.199]) by mail2-smtp-roc.national.inria.fr with ESMTP; 15 Jan 2020 02:36:14 +0100 Received: from cs.ioc.ee (nova-153-092-148-126.cpe.nova.is [153.92.148.126]) by smtp2.ioc.ee (Postfix) with ESMTPSA id 352176044D; Wed, 15 Jan 2020 03:36:13 +0200 (EET) Date: Wed, 15 Jan 2020 01:36:12 +0000 From: Tarmo Uustalu To: haskell@haskell.org, agda@lists.chalmers.se, caml-list@inria.fr, coq-club@inria.fr Message-ID: <20200115013612.3f8761c5@cs.ioc.ee> MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit X-Validation-by: tarmo@cs.ioc.ee Subject: [Caml-list] ETAPS Test of Time Award 2020, call for nominations Reply-To: Tarmo Uustalu X-Loop: caml-list@inria.fr X-Sequence: 17954 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: 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.