coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: jan.kofron AT d3s.mff.cuni.cz
- To: coq-club AT inria.fr
- Subject: [Coq-Club] Call for ETAPS Test of Time Award 2023 Nominations
- Date: Thu, 19 Jan 2023 09:31:57 +0100
- Authentication-results: mail3-smtp-sop.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 0E6EF50E1AF
- Ironport-data: A9a23:JjGCsqAN0sYiqhVW/xLnw5YqxClBgxIJ4kV8jS/XYbTApDp30jYOm mcfW2iFa/aMNGHyfdpyPYqyoB8P75XWz9Y2OVdlrnsFo1Bi+ZOUX4zBRqvTF3rPdZObFBoPA +E2MISowBUcFyeEzvuVGuG96yM6jMlkf5KkYMbcICd9WAR4fykojBNnioYRj5Vh6TSDK1rlV eja/ouOZzdJ5xYuajhPs/va+Us21BjPkGpwUmIWNagjUGD2zCF94KI3fcmZM3b+S49IKe+2L 86rIGaRows1Vz90Yj+Uuu6Tnn8iGtY+DiDS4pZiYJVOtzAZzsAEPgnXA9JHAatfo23hc9mcU 7yhv7ToIesiFvWkdOjwz3C0usyxVEFL0OavHJSxjSCc51zLT33e89RuNn0nIYEYx/xaI05S7 dVNfVjhbjjb7w636LeyS+0qip84aszlMsUUp3dhizrLZRokacmSHuOTvIQehm92350fdRrdT 5JxhT5Hbh3GJR5INE0QDroyx/zug3fxNTZFrlPTrrhfD237kFEtjuCxboW9ltqiFOhymUem/ X/97T7JKQ4+H9+zzRyI2yf57gPItXqgBNNISeDQGuRRqFaU3ykYDAAcfUCqpOGwzE+4QdNWb UIOkhfCtoA3/U2vCNWmRFu9rnDCtQMaWpxbAYXW9T1h1ILF7jqfNFglTgR9ecAqtPIsaB4Fy kegyoaB6SNUjJWZTneU97GxpDy0ODQIIWJqWcPiZVdcizUEiN1p5i8jXuqPA4bo1oSuQGmYL ySi9XRi3OhO5SIe//jTwLzRv967jrP7JuLfzj3NV22442uVj6b8N9XgsQCzARpoDIKQUF+A9 H0JgNSZpNgUBJGE/BFhrc0IFbCtofreK3vZj1ApFIQn9nKm6RZPnLy8AhkleS+F0e5dJ1cFh XM/XisLv/du0IOCN/MfXm5II51CIGiJPY2NugroRtRPeINtUwSM4TtjY0Wdt0i0zhdwyf9hZ 83FLJ7xZZr/NUiB5GfqLwv6+eJwrh3SOUuOFfgXMjz3jerONSD9pUktaQTUP4jVE59oUC2Mq IoObZbXo/mueObzeS/a7cYBa0tMNT48Q/jLRz9/K4a+z8sPMD9JNsI9Npt4INU7xf4OyrygE 7PUchYw9WcTTEbvcW2iAk2Popu1NXqmhSNjY34fLhyz1mI9YI2iyq4aetFlNfMk7eFvh7o8B fUMZ8zKULwFRyXl6gYtS8D3jLVjUxC32iOIHS6uOwYkc7BaGgfmx97DfynUzhcoMBaZj8UFj oOF6hL6WrsGHgRrM9bXYqmgznS3pnksp9hxVErpfPhWIUXlz5d3GQDXnNsyesQ+KEjBygTHz yKTJ0k5pPbMkaAx4tLmlaCJlKb3MupcT25xPXjX0qayDgbeplGc+I5nVP2aWBzkT0bm0fmGS cQM6N+kK9wBvlJBk7QkIoZR1ahkuufe/e5L/DprDFDgTgqNCIo5BlKkwMMWlKlG5oEBiDuMQ kjVp+VrY+SYCvjETmwUChEuNNmY9PcunTLX0/Q5DWP66AJz/5uFSU9iBAaNugMMMIpKNJ4Z/ sl5tP408wCfjj8YAuSChA1Q9EWOKSUOaLV4l5c4BISwtBEn5GsfarPhCwj3wqq1VfNyDmcQL AWp2ZXy34Zn+hKacl4YN2T84u5GtJFf5DFI1AAjInqKqPrkh9g2/h50qhEqRDtnyzFC9bt5P 2t2BhZyJIGl3TRhtO5cVU+CRiBDAxy4/BTq6l0rzWf2cWihZlbvHkYcZ9mf2V8+2H1NWARb8 JWz6nfXYRyzcO7fhiINCFNY8dr9RtlPxyj+scGAHfXdOaIlYDDg05ScVUBRpzTJWcoO1VD6/ 8909+NNaIr+By4ag4s/L6K4jb0wahS1FFZucMFb3pEiPD/jIWmp+D20NUqOVNtHJKXK/W+GG sVeHJ9zeCrk5hmejAIwJPAqE+dvke8L9egyXOrhBVQ7vou1qhtrt5Pt9RbCulI7fuU2kesAL tL+SjHTNE2RmnpepEHVpuZmJGeTQIcJdS/87s+P4cQLEJMxnMd+VURr14m14neZD1Z/2xey4 iLCeK7k4Ohwwqt8n4bXM/tiBiflDfjRRei34ASInNAWVuz2MODKrBEwhlb8GgZrYYsqRNV8k IqSvO7N3E/quKg8V0bbkcKjE5ZlyNqTXu0NFO7KN1hfwDW/XfHz7ys5+2yXLYJDlPVf7JKFQ yq6cM6BSs4HaexCxXF6azlsLDhFMv7ZNpzfnCKaq+iALjM/0gadddOuyiLPXFFhLyQNP8XzN x/wt/OQ/etnlYVrBiFVN8E+VtU8aBXmVLA9ftL8iSiAAyP6yhmes7/ljlw75SuNFnCAF93g7 InYQgTlMi6/o7zM0MoTprkaUsf715qhqbJYkoMhF99KZ/SSCWcHKaIRao5AD59a1Cfv0pC+b yOlgK7Oz8nidWwsTPk+yI2LssSj6igmNoziYDkn8QWfdiG3QoiSaFek3jk1+G94I1MP08n+Q ezzORTM0tyZzspyA+Md6LqwnOFmgPjIrp7NFYYRjOSqaysj7X42OLCN0eaDueEr0y0AqakTG VUIeA==
- Ironport-hdrordr: A9a23:vney6KuxfshN2TtzNj1XFv8W7skDWNV00zEX/kB9WHVpm5Sj5q STdYcgpHjJYVcqKQsdcL+7WJVoLUmwyXcx2/h1AV7AZniahILLFvAA0WKK+VSJcEfDH6xmpM VdmsNFZ+EYeGIasS+M2meF+rgbrOVvu5rY49s2h00dND2CRZsQlzuQRGygYzZLeDU=
- Ironport-phdr: A9a23:26dYdRS7Bs2Z1xtK0XBwxnXIzNpsotGVAWYlg6HPa5pwe6iut67vI FbYra00ygOTAMOCs6MP0rOH+4nbGkU+or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7F skRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiCS9bL9oM Rm6sQHcusYLjYd/Lqs61wfErGZPd+lKymxkIk6ekQzh7cmq5p5j9CpQu/Ml98FeVKjxYro1Q 79FAjk4Km45/MLkuwXNQguJ/XscT34ZkgFUDAjf7RH1RYn+vy3nvedgwiaaPMn2TbcpWTS+6 qpgVRHlhDsbOzM/7WrajNF7gqBGrxK7vxFxzY7abp+IOvR9cKzScs8VS2VaU8ZNTixMGJ+wY 5cVAucDO+tTsonzp0EJrRu7HQSsBvngyjlSin/12q063f4hEQbA3AE7At0Dvm/UoM/wNKccX +C51rXHzSjFb/NXwzvy9InJfxY8qv6DQbx+a9DeyVUzFwzblFWQr5ToMjCa2+kQsWWW8fdtW +yzhmMmpAx9vCaiyMkihITGhY8Z1EzJ+ypnzIs7O9G0VVJ2bMKrHpZfqy2WKZd6T8c/Tmxup S00yaUGtIamcCUOyJkr3QPTZ+GJfoSS/B7vSPydLSp4iX9hYL6zmhK//Ei6xuHhS8W53kxGo jRZntXWsn0ByRre4dWdRPRn5EeuwzOP2hjT6u5aJUA0krLWK5s7zb4xkpofq1nMEyHtmEnsi a+WeEsk9vK05OT6ZLXmp4WQOJN1iw3mM6QunNKwAfggPwQTW2WW+f6w2KD+8UD3WrlGkOE6n rPEvJ3aIckXvqu5DBVU0oYn5Ra/FTCm0NEAkHkFNl1FfgiLj4vuO1HAOvD4CvG/jk+xnzpl3 PDKJLjhApvDLnTZjLjhYLB9609GxAUvzNFT/5RUBaoZL/LpRkDxrMDYDgM+MwGs3urrEM992 Z8GWWKTHq+ZN7vfvkOP5uI2OuWDeIsVuCvmJPU+/P7vjXo5mUcHcqWz3JsXbmq4HvV8LEmDb 3rsmIRJLWBftQ0nCefulVeqUDhJZn/0UbhvyCs8DdekBIGFRYejmruH9CvgBdtTaG4AAU2KE DHjZdbXE8wQYT6fd5cy2gcPUqKsHtdJPXCGsQb7z+EiNe/I4mgDsoql0tFp5urVnBV09DpuD s3b3XveB3pskDYuQDk7lLt6vVQ70k2KhKpxhbpbEtJJ4PVhXlwhc5vSwapxFtbzHAnTLZ+SU Fjzety9GnkqS84phdoHYkJzAdKn2xLK2WypBLEPkLqjCMcvtKfS0T76OsB8jX3Uh+E6l1dzZ MxJOCW9g7JnsQjeA4mci0KCi6OjbrgRxgbI/WaHi2bVpwddXgA2WrjDXDYUdCM6tPzf4UXPB /+rALUjaU5azNKab7BNcpvvhElHQ/HqPJLfZXiwkiG+H0TAwLTEd4fsd2gHuUeVQEEZjwAe+ 2qHPgkiF2+gpWzZFjlnCVPoZQvl7+B/rHqxSkJ8wRuNagVt0L+8+xhdgvL5Kbtb3LsC/iQmp S9zGn6xhMmQDtSO4QF8eqQaasF8qFZL2GTFthBsa4S6JvMH5BZWeAB2skXykhRvX9wRzI5z9 ShsllI0cP/JgzYjP3uC0Jv9O6PaMDz39RGrMOvN303Glc2R4uEJ4eg5rFPquEeoEFAj+jNpy YowsTPU65PUAQ4VSZ+0XFww8k0wpbjcJCo66ZnT01VgarLytzHMndk0AupjwQTqLLI9eOuUU RT/FcEXHZ3kKuUs3VuuYAgDOsher7VyOs2oMfCb3q/tN/Qqz1fExSxXpYt61EyL7S91TOXFi o0Ez/+v1QyCTz7gjV2lv6gbgKh8bCoJViq6wCngX8tKY7FqOJ0MESGoKtG2wdN3g9jsXWRZ/ RitHQFO1MiscBuUJ1vzuG8YnUYepzqkniWiyDpcn2oy6K+R0mrF3uLjMhEVcmJGX2hti17wL JP81oFHGhHxNE5zzF38uBeyzrM+xuw3N2TJREZUYyX6Z3pvVKe9rPvKYsJC7o8prTQCVe29Z V6ATbuuxnlSmyjnHmZY2HU6b2Tz68i/xkUhzjjFai8u/Sm8G4k43xrU6d3CSOQE2zMHQHI9k jzLHh2nOMHv+9yIlpDFu+T4VmS7V5QVfzO4qOHI/Ca9+2BuBgWy2v6pndiyWwoz12n40NdwU iPgoE3nJIzl2eKxLORmOEJ6TgyZiYIyCsRln408iYtFk3oTgNOW+nQdlmHbPY5An6fwYjwGW DgKhdXHqluAugUrPjeCwIT3UW+Yy81qaoyhY28Y7Sk66thDFKae6LEX1TswuFezqhjdJORsh jpIg+V782YU2qta3WhlhjXYGL0ZGlNUeDDhhwjdpc7rt71ZPS6uaeTijRsj24n4V/fY+kcCA D74YstwRH4tqJwmaxSWiDuut+SGMJHRdYxB7EXMykWf1rgHcZ9pzaha3XM1azmi9Xw9l7xi3 EEohMjh+tLfbTwwreq8EkxZLXv+esUSvDr/6MQW1pGf24Tldnl4MhMMWpagDfehETZJ8O/iK x7LCzok7HGSBbvYGwabrkZgtXPGVZ6xZTmRIzECwNNuSQP4RgQXiR0IXDg8gp8yFxy7jM3nf kBj4zkN51n+4hJSw+NsPhP7Xy/RvgCtIjszTZGeKlJR4GQgrw/NNteC6+toAyxC1piorQjLJ jeAIQFGAycCR0qFQVvxf/Gv6dTG7+mEF7++Iv/JMtDs4aRVU/aFw47q05MzpmfRcJzWZT84V 7tihxsQOBIxU97UkDgOVSENwifEbsrA4Qy55jUytcentvLiRAPo44KLTbpUK9RmvR6s0sLhf 6adgjh0LTFA29YC33jNnfId1VhUiCZgbT6rObhbrmjIQqyWkbJRDlgQeWkgUakAp7J5xQRLN cPB35nt0aVki/cuF1pffVnom8XvaZcRZWSzOhXMGUCKcr+Ub26uoYm/cea3Trtei/9Rvhu7t GOAEkPtCT+EkiHgSxGlNewkZMSzMEdF/oSzfFBmFG7iCtn0OEXT2DBfgWYth7g6iDXBKGgdd zNuIRolRly46CpZhrNzQHcH63Rra+KZnSff5PuKcv4r
- Ironport-sdr: 63c90000_1r07IAxwxZ72qqF2MTuCdgnSYO5HHXsoYGeigMoj5/1PAPt MIlUZSu6KPsqOQ+yHqsRF3PfxAwws6fJI67dTEg==
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 2023 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 20 February 2023* to the chair of the
award committee, Don Sannella (dts AT inf.ed.ac.uk).
Award Committee
---------------
Rance Cleaveland, Ugo Dal Lago, Marieke Huisman, Fabrice Kordon,
Don Sannella (chair), Gabriele Taentzer, and Luis Caires
- [Coq-Club] Call for ETAPS Test of Time Award 2023 Nominations, jan . kofron, 01/19/2023
Archive powered by MHonArc 2.6.19+.