Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Call for ETAPS Test of Time Award 2024 Nominations

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Call for ETAPS Test of Time Award 2024 Nominations


Chronological Thread 
  • From: jan.kofron AT d3s.mff.cuni.cz
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] Call for ETAPS Test of Time Award 2024 Nominations
  • Date: Wed, 03 Jan 2024 15:51:29 +0100
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=jan.kofron AT d3s.mff.cuni.cz; spf=Pass smtp.mailfrom=jan.kofron AT d3s.mff.cuni.cz; spf=None smtp.helo=postmaster AT mail.d3s.mff.cuni.cz
  • Dkim-filter: OpenDKIM Filter v2.10.3 mail.d3s.mff.cuni.cz 1CE9453DAAA
  • Ironport-data: A9a23:nRyEKKIY2/HfLsw/FE+R75AlxSXFcZb7ZxGr2PjKsXjdYENS0T1Rx 2ocDWCEM/jZYGenfd5wao21oEIH6p/dzt5iQAcd+CA2RRqmi+KVXIXDdh+Y0wC6d5CYEho/t 63yTvGacajYm1eF/k/F3oDJ9CU6j+fSLlbFILasEjhrQgN5QzsWhxtmmuoo6qZlmtHR7zml4 LsemOWBfgf5s9JIGjhMsf7b8Us05K2aVA4w5zTSW9gb5DcyqFFOVPrzFYnpR1PkT49dGPKNR uqr5NlVKUuEl/uFIorNfofTKiXmcJaKVeS9oiY+t5yZv/R3jndaPpDXmxYrQRw/Zz2hx7idw TjW3HC6YV9B0qbkwIzxX/TEes3X0GIvFLLveBCCXcKvI0LuVlyz+K5+A18MAIwW17h8G2hB6 e4dN2VYBvyDr7reLLOTT+BtgoIvd9KtOY0R/Hp9yzCfBuROrZLrGvSXo4YBh3Fq3oYXQKe2i 8kxMVKDaDzCahsJOVAZEpU4tOvznT/6fTMeo0+TpOw88QA/ySQojOSyaYWEI43iqcN9vB+0h 1r+7mbAPQBZMP7Gwia981vribqa9c/8cMdIfFGizdZhh0TWzWgOAjUNRF6jqL+4jFS/UpRRM SQpFjEGqKEz8AqnFcK7WhO25nWZuB9aUMg4//AG1TxhA5H8u26xblXohBYaADD/nJZuHWZ45 UzDhN7zGz1kvZucTH/XpP/eriq/NWJRZSUObDMNB1lNqdTygpABvjSWRPZaEYmxkoLUHxP0y Gu0tyQQvegYovMK8KSZxmr5pQyQiKLHdSMLwznGf3mE61p5bbG1Zobz5ln86+1BHbmjTVKAn SYlnpGe5d8REKOhsj6pRbwILrD05fq6bSX4hHgxPpg+9gaC/2yoUpBQ7QpfemZoEJcgUh34b HDDvTh+4MdoA0KrSqtscaedMt8P34G8MfjED9f6NsFvZLp1fy+5pBBeX1aahT3RoRJ9gJMBN oe+WufyK3QjUIBM7ie8HsUZ2p8VnhEO/3vZH83H/k72wIilRSCnTJkeOwGzdcE/1qSPpTvV/ /t5N8enzxZ+UvX0UhLI8Lw8fEw7EnwmOa/Y88BnVPaPAg5DKlETD/X8xbAAeYs8u493kuzO3 G+2W24G6V7ZqEDEFz63aSFYWOuyZap8kHM1BjxzHFCK33N4X52jwp1CfLQKfJ4m1tdZ89hKc 9c/df+9X8t/Egb8x2xFbL3WjpBTSxCwtAffYwuneGceerBjdSzo+/jlXAjKrwwTBBWFsO87h eSq0wDGcMEERiBJLsXfWNSwxXyf4Fkfn+NTWRPTA99xIU/DzqljGxbTvNQWff4eDArk7SSL8 TqWDTMzh/j/k6Vs/Pbn3am7/pqUSc1gFU9kLkznxLeRNxiC2FG8wIVFAd26TRqEWEzaoKydN PholdfiO/g6nXFPgYp2M5Bv6Ykcv9LPhbtr/j5ILUXxTWaAK+1feyGd/Mx1qKdy6KdTulK2V mKx69BqA+i1F/2/ImEBBjgOT7ql7u4VqAnw/P5uAUTd5Q1LxpSlf3hWHSGxjH16EOMoHqIjm fwsqewH2TyZ0xAKCOuLvgpQ1maLL0EDbZkZi4EnMNfrpzcvm35/Ys36Ky7p4ZuwRc1GHWs0L xS12qfTpbRu6XDTUng0FErh+/h5gM0LihEXzlM9ekytn/ybp/4o3S9+9SY8YRRVwy5mjcNyG DlPHG9kKZqe+wxHgJB4YFmtPAVaFji19VfUyWZVpFbGTkKtaHPBHFc9NcmJ4kod1WBWJRpfw 52110fnVmzMUPzq/y5vR3NglePvfeZx+iLGhsqjOcaPRLs+QDj9h56RdXg6kATmDewxlX/4i 7FTpsgoUpLCNAkUv6EfIKuZ3+5JSBm7eUpzccs496YNRWzhaDW+3AaVEH+Ie+RPGufr9HGpA Mk/N+NNUBWDjBy1lA45PpJVAbFIn68O3uEgK4PbfTtM9/PVqzdyq5vf+xTvnGJhEZ0kjc85L ZiXbD6YVHCZgXxPgWLWsc1YISyCbMIZYBHnlvWAmAnT+0nvbMk3Ga3z7le1g5lRGA5u/hbSs FjYIarYwapp1IJt2YD+ekmG68NYNvurPNlkMijq2ziNUT8LGcuVrEUQpFehNBlQPP0aSbybU JyT5cXv0hqtUKkeCgjkdlroK0WNzcnpR6xSPMyxJ2RcnG2JSqcAJvfFF3+QcfR0rT+W2iVrq 8ZUpid9mR75luqxHEFoVhU=
  • Ironport-hdrordr: A9a23:pOsEpaHPc6a2v/B2pLqFsZLXdLJyesId70hD6qkvc3Fom52j/f xGws5x6fatskdoZJkh8erhBEDyewKmyXcV2/hbAV7MZniBhILFFu9fBKrZslnd8k7Fh6RgPM VbAtFD4bTLZDAX4voSizPIcOrIteP3lZxA8t2urUuFIzsKV4hQqyNCTiqLGEx/QwdLQbAjEo CH28ZBrz28PVwKc8WSHBA+LqT+juyOsKijTQ8NBhYh5gXLpyiv8qTGHx+R2Qpbey9TwI0l7X POn2XCl+qeWrCAu1HhPl3ontRrcejau5h+7Qu3+4oowwDX+0eVjUJaKvi/VX4O0aWSAR0R4a PxSl8bTrlOAjXqDyyISGDWqm7dOX8VmgDf4E7djn35rcPjQjUmT8JHmIJCaxPcr1Etpddmzc twrhSkXjVsfGD9dQnGlqz1vitR5z2JiGtnlfRWg21UUIMYZrMUpYsD/FlNGJNFGC7h8ogoHO RnEcmZvZ9tABunRmGcunMqzM2nX3w1EBvDSk8eutaN2zwTmHxi1UMXyMEWg39F/pMgTJtP4f jCL81T5fhzZ95Tabg4CPYKQMOxBGCISRXQMHiKKVCiD60DM2Klke+D3JwloOWxPJAYxpo7n5 rMFFlRsGI0dkr0TdeDx51G6FTMR3+hVTPmxoVf6vFCy8PBrXrQQF++oXwV4rudSq8kc7Hmst 6ISeNrP8M=
  • Ironport-phdr: A9a23:elcYyh/4OW4hK/9uWXO2ngc9DxPPW53KNwIYoqAql6hJOvz6uci4b AqFuagm0g+BdL6YwswHotKViZyoYXYH75eFvSJKW713fDhBt/8rmRc9CtWOE0zxIa2iRSU7G MNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1Ifn+FpLPg8it2O2+5Z7ebx9WiDeyYb5+I xS7oAbMvcQKnIVuLbo8xRTOrnZUYepawn9mK0yOlBjm/Mew+5Bj8yVUu/0/8sNLTLv3caclQ 7FGFToqK2866tHluhnFVguP+2ATUn4KnRpSAgjK9w/1U5HsuSbnrOV92S2aPcrrTbAoXDmp8 qlmRAP0hCoBKjU09nzchM5tg6JBuB+vqRxxzZDJbo+WOvVxcb/Sc9wBSGpdR8ZcTTBNDp+mY oYNCecKIOZWr5P6p1sLtRa+BxOjBOX1xj9LgX/207c60+MnEQzdwQMtEckOvG7RrNX7OqceS /y6zLTOzTXCdf9ZxTb85Y7VeR8uvf+CR6h/cdbNyUYxDQPFiE2dpI/qMj6I1OkArXWW4eR8W O+uhGMrtR98rDahyMojiYTFmJ4YxF/a+Sh33oo5OMG1RVJ0b9OrDJdcqT2WOo9rT84kXmpmu z46x6UbtZO/fCUG0okrywPRZvCdbYSE/gjvWPuRLDp8nH5pZbayihao/US91+HxWNO43EhWo iZfltTAqHYA3AHN58iDV/t95Vuh1iiV1w7O6+FFIF47mLLHJ5Mn37U+jIAcsV7ZES/zgEj2j LGZdkEj+uWw7uToeLTmppuGO4BphAz+Kb4imsmxAeQ2KAQBQ3Wb+eK91LH54UL4Qa1Gjvwwk qbHrJDXPdkXq6q5DgNPz4ov9hiyAy243NgEh3ULMVJIdRafg4jsIV7OIfT4Dfmlg1SrlTdm3 /LGMafnApnXLXjDl7nhfax6605a0wc80N5S54lOBrEELvLzVFX9u8DFDh8/Mgy42froCdRl2 oMYQm2AGrWZP7/KsV+U+uIvJPGBaJINtDbnN/cl/+LujWM+mVIFYaap2oIXZGmkEfRiPkWWe mHhgswBEGcPpgoxVvbmiFyEUT5JZna9Rbgw5j8hCNHuMYCWTYe0xbeFwS2TH5tMZ2kABErfP 23vctCGUvFKayWcOMhnujBfTv6kRYFn3gyotUnx2ek0ZtHI8zEV4MqwnON+4PfewElaHV1cC s2c1zvIVGRohiYSQDRw2qljoEt7w1PF0K5igvUeG8YAr+hRXFIcMpjRh/d/F8i0QhjIK9WAT hClRdu8BjcZQokqhdoAbQB2BtOjyBvRjGKxG7FAr7WQH9Qv977EmX34JsJz0XHDgasoiR8lR cVVMmuOivVksQ3dCcjCjkOY0a24JuwHxCCY0mCFwCKVuV1AFg59VaKQRXcEek7ftsj0/GvHR r6qT7h8KU1Ex8DEIbZMa5vinz2qXd/FP9LTKyK0kma0X1OTw6+UKZDtcCMb1TncD04Nl0YS+ 2yHPE4wHHXppWWWFzFoGV/1BiGkueBjtHO2SFM1xACWfgVg0bSy4Bscmf2bTbsawLsFvC4rr zg8Eky62praDN+Jpgwpe6s5A5t14l5Bk2HeuRZ6OLSsdLskg1AQNQ9quUKo3Ac2QoRMnM42r W87mRJoIPH9shsJfDeZ0Jbsf7zPfzCjoVb2MvWQgAmYiYvHqcJtoLwipl7uvR+kDB8n+nRji ZxO1meEo4/NB0wUWI7wVUA+8157oavba28z/dCxtzUkPK+qvzvFw99sCvEiz0Pqfd5ZdqCDG hX1FeUWXNPoLeIk3VO0aBNCN/IYp8tWd4u2MuCL3qKmJrMqnjugy2dA7pp61GqArDE6T+DGm Z0YxfDe1RnNBFKexB+x98vwn45DfzQbGGGynDPlCIBmbap3ZY8XCG2qLqVb3/1GjoX2Ez5d/ V+nXRYd3dOxPACVZBr71BFR0kIepTqmnzG5xnp6iWNhoq2a1S3Ii+PsEXhPcmxCQi9hiln2J o6cg4sBGk2mYU4iiR2ko03oj6RWv6VwKWDPTFwAJnmraTg7Ce3q7vzbPp8H4YhN020fSOmmZ FGGVrPx6wAX1S/uBSoWxTw2cS2rpoSsmhV7jGyHK3MgyRiRMcp0xBrZ+JndXasIj2dAHXAjz 2OPQAHhborMn53cjZrIv+GgWnj0U5RSdXOu1oacrG6h4mYsBxSjnve1k9mhEA4g0Ca92cM5M EeA5Bv6fITv0Ly3dOx9eUw9Tl317Yx5HY9klY0YiMoLn30UiNOe4HwG12zhe4Y+u+q2fD8WS DgHzsSAqgrs3gtgKXyTwITRWi6GhM5vaZ+xf2UXnCkvpZMvau/c/PlPmi17pUC9pATabK1mn zsT/vAp7WYTn+ADvAd+hjXYGL0ZGlNUeDD9jxndpc7rt71ZPSz8FNr4nFo7h92qC6uO5x1RS GqsMIl3Bjd+t41+KA6eiSyurNi9I5+KNZRN7lWVi0uS1rkIbstozbxQ3Ww6ZAef9TUk07Bp1 0Q2hMPl5djVcmg1p/DpWkcKZGaqL8ILpmO03PsYx5/Nmdr3WMw8S30OTMnpVrSjDTQT8//1U mTGWGo1rnPRcVbGNSmY7kou73fGEpTxcmqSOGFc19JpAh+UOE1YhgkQGjQ8hJ8wUA6wloTnd w9i6zYd60SdyFMEw/90NxT5TmbUpRu5IjYyRp+FKRNK7wZEr07LOM2a5+h3EmlW5Jqk5ACKL 2WaYUxPAwRrEgScAEv/O7C1+dTa2+2RB+74I6DVJ7CAp6pVSvGJg5m9k8Nn8zuKKsSTLyxiA vk8iS8hFThyH8XUnSlKSjRCznOQKZfC/1Hmomsu85HslZajEBji7oaOFbZIZNBm+hTsxLyGK /bVniFybzBRypILw3bMjrkZxl8bzS90JFzPWfwNszDASKXIl+pZFRkePmlxPc0O7KUyxA5LE cKAkZXw2LA+heMzChFORxay/6PhLdxPOGy7OF7dUQyTM6+aIDTQ38ztSaa1SLkWgL5P8Ri+t 3CQDknieD+R3WqMNVjnIaRHiyeVOwZbsYe2f0N2CGTte9nhbwWyLN59iTBeKVwcg3rLMSgQa iM6dk1D6LaN6yIeiectQwSpAVJpdvLCniiXqeLFLJdQuuk5W0yccspWu298zrVbqipZQv0zk zmA9rZT
  • Ironport-sdr: 6595747e_fPI1+BEnSaE+pJkrQRA7JEk+oEl0n7ZVfQ/GOVRvZ9IzEZS NDuDj01kc/SWSyb2VuDMwORAo2rGYFtvi8QVvvg==

ETAPS Test of Time Award
========================

The ETAPS Test of Time Award, instituted 2017, 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.

The Test of Time Award is selected by an Award Committee consisting of a
representative of each of the constituent ETAPS conferences, the ETAPS
Steering
Committee Chair, the General Chair of the current ETAPS, and a Chair appointed
by the ETAPS Steering Committee Chair.

The Award Committee is expected to select 1–2 papers each year. It may choose
to select no paper in a given year. The winners of the ETAPS Test of Time
Award
receive a recognition plaque at ETAPS and a cash award of 1200€ which is
shared
among the authors. A paper can receive the ETAPS Test of Time Award only once.

Nominations
-----------

Nominations for the 2024 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
nomination. Self-nominations are not allowed.

Nominations should be sent by Monday 5 February 2024 to the chair of the award
committee, Don Sannella <dts AT inf.ed.ac.uk>.


Award Committee
---------------

Luis Caires, Rance Cleaveland, Ugo Dal Lago, Marieke Huisman, Peter Ryan,
Don Sannella (chair), and Gabriele Taentzer.


  • [Coq-Club] Call for ETAPS Test of Time Award 2024 Nominations, jan . kofron, 01/03/2024

Archive powered by MHonArc 2.6.19+.

Top of Page