Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Seeking nominations: POPL 2025 Artifact Evaluation Committee

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Seeking nominations: POPL 2025 Artifact Evaluation Committee


Chronological Thread 
  • From: Vadim Zaliva <lord AT crocodile.org>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] Seeking nominations: POPL 2025 Artifact Evaluation Committee
  • Date: Wed, 4 Sep 2024 18:00:19 +0200
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=lord AT crocodile.org; spf=Pass smtp.mailfrom=lord AT crocodile.org; spf=None smtp.helo=postmaster AT mail-ej1-f50.google.com
  • Ironport-data: A9a23:sAQ9Sar18aywJ1p9RC6zG+UlpWReBmLlYRIvgKrLsJaIsI4StFCzt garIBmOaPyJMWSmett+PI638h4GvMfWzd9jGlM+/3wwEiMU9OPIVI+TRqvSF3PLf5ebFCqLz O1HN4KedJhsJpP4jk3wWlQ0hSAkjclkfpKlVKiefHoZqTZMEE8JkQhkl/MynrlmiN24BxLlk d7pqqUzAnf8s9JPGjxSsvrrRC9H5qyo5GtJ5gBmP5ingXeH/5UrJMJHTU2OByCgKmVkNrbSb /rOyri/4lTY838FYj9yuuuTnuUiG9Y+DCDW4pZkc/DKbitq+kTe5p0G2M80Mi+7vdkmc+dZk 72hvbToIesg0zaldO41C3G0GAkmVUFKFSOuzdFSfqV/wmWfG0YAzcmCA2kXObM89vZ4H11o3 sVFEHMEdTW8rPiplefTpulE3qzPLeHuNYIb/3xilHTXUK5gTpfETKHHo9Rf2V/chOgURaeYN 5dfM2M/KkmYC/FMEg9/5JYWmOCyilH0aTpTr16Uoadx5HLcpOB0+OmwbIeJJ4zULSlTtnaoi nrv9FTHO089Cf+G0h643WqvnfCayEsXX6pJSeTgqa806LGJ/UQYDwRTXl+mq9Gim0umUpReL VYV82wgt8APGFeDS9D8W1i1oifBsENEHdVXFOI+5UeGza+8Dxul6nYsbzp/TNA2u9EKYxcTi 2fKlsjMOhd1r+jAIZ6CzYu8oTS3MCkTCGYNYy4YUAcIi+UPRqlj3nojqf4zQMaIYs3JJN3m/ 9ydQMEDa1g7iMcK0+C2/wmCjW/04JfOSQEx60PcWWfNAuJFiGyNNtbABbvztKkowGOlor+p4 iNsdy+2srxmMH11vHbRKNjh5Znwjxp/DBXSgER0A74q/Cm39niocOh4uW4keRw5YpxVJmazM Cc/XD+9ArcDbBNGiocnM+qM5zgCl/GI+SnND6+EPoQROMAZmPGvpnk3PRHBt4wSrKTcufpiY M/EIJjE4YcyBqNgwz67D+Yb2vlD+8zN7TK7eHwP9Dz+ieD2TCfNF98taQLSBshntv/siFuOq L53aZDVoyizpcWlPkE7B6ZIcAhWRZX6bLiqw/FqmhmreFo9Rzx7UqCMqV7jEqQ895loei7z1 inVcidlJJDX3BUr8C3bOi4xW6ClRptls3MwMAolOFviiTBpYp+i4O1bP9E7dKUuvr4rh/Nlb eg3S+PZCNR2SxPD52s8a7v5p9dcbxiFv1+FEBekRzkdRKReYTL11OXqRSbVzxlWPBGL7ZM/h 5aCyjLkRYEyQlU+LcTON9Oq4VCDnVkcv+NQXUDNc9tZIn/0+qdXNiaqrPkWIt4NGzrH1DC1x wabOjZGhOjv8qse0sjFurCAlKitS9BBJ0t9G3LKy4q2OQ3x3HuR8aUZXMmmJTniBX7JooO8b uBr/tTAGfwgnmcSlbFjErxunJkM1/G2q5B0lg1bTWj2NXK1AbZdI16D78lFlotJ4pR74QKWe Ea+yuN2CIWzGvHOMQAufVI+T+G5y/srtCHY7q01LGXE9SZHxue7fnsIDSacqh52DeVTC5wk8 9cDqcRNyg2YizgWCPikoB1Q1VyxKi0nb/16mLAcWJTmmyg6+GFkOJb8MBL70LuLStdLM3QpH AOqubr/t+xc6HbvI3sXPlrR7NVZnqUL6UxrzkddBlGnmejlp/4Q3T9NwAszVSBq8Axi6Lt2H FRCKn8vdLu8pSdsoM1lQWqXOhpgASeB8Rfb0Go5l2z+TmipWFfSLWY7B/2/wUAB/09YfRlZ5 Lu92k+/dRrLJebfhjATX2xhoNzdFe1BzBXIwp2bLp7UDqsEbirAqY7wQ2gx8j/MI9473W/Dr slUpNdAU7Xxb3MskvdqGruh9OoiTT6fLzZ/WtBnxqQCGF/cdByU2TSjL0OQeNtHF8fV8H2XW tBfGcZSayuQjCq+jCgXJaopEY9GmPQE4NkjeLSyAUUkt7CZjCRisbOO1yzYqVIofe5TkpcGG tuMTw6BL22evmsLumnvqMIfBHG0T+NZbyLB3ce00t4zKbQ9jM9Wf3sPj4SE50euDFM//ja/n h/yWKvN/ukzlaVuh9TNF4tANSWVKPTyduaD9VGxuY50ddngDNrE7CETi1j4PjZ5OakadMR3m I+s7v/2/hLhl5QnX1/Jn6KuE/Fy2vyze+5MI+TLLHV+tgmTav/Guhcs1TixFs1UrYl7+MKie TqdVOKxUtwkA/Fm23xfbnllISY3UqjYQP/pmnKgkq6qFBMY7A3gKeGn/1/PaUVwVHcBG7/6O z/Ol8ee3PJqh6USO0ZcHNBjOYFyH3H7U6h/d9HRiyiRPlP1vny84IndhTgSwhCVLEKbEfTKw 4PPHTn/UxWQhJvm7v9kt65KgxlGK0ol3McReBsR9ecj3nr+RCQDIP8GOJoLNoBMn2agnNvkb TXKdy05BT+7QT1Adg7m7c/+WhuEQNYDIcr9Oidj6nb8h/1a329cKOAJGuZcD3ZKlv/LyeimL ZQT+CS1MEXphJ5uQukX67qwhuIPKjY2AJ4X0RiVriAwK0927XY2OLhJFxBKXivLEsXA0kLRK gDZgEhaFVqjRxeZ/dlIIhZo9dJwgN8r5z4yaiyIzNfbtsOc1uIoJDgT/Q3s+uVrUfnm74Lii Z86q6VhLoxWNrEuVXMVhu8U
  • Ironport-hdrordr: A9a23:QZCGSaMJnp8whMBcTvCjsMiBIKoaSvp037BZ7TEJdfU1SL36qy nKpp4mPHDP+VMssR0b6Ki90cq7MBfhHPxOkOss1N6ZNWGM2FdARLsC0WKI+UyaJ8SRzJ866U 4tSdkYNDQyNzRHZATBjTVQ3+xO/DBPys6Vuds=
  • Ironport-phdr: A9a23:RC21jBFbfKG0VeCBThrwFZ1Gf6tGhN3EVzX9CrIZgr5DOp6u447ld BSGo6k21BmQANqQuqgMotGVmp6jcFRD26rJiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wE ZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbAhFiiaxbalvI Bi2rwjduc0bjZV/Iast1xXFpWdFdOtRyW50P1yfmAry6Nmt95B56SRQvPwh989EUarkeqkzU KJVAjc7PW0r/cPnrRbMQxeB6XsaSWUWjwFHAxPZ4xHgX5f+qTX1u+xg0ySHJ8L2TLQ0WTO/7 6d3TRLjlSkKOyIl/GzRl8d/i79VoA+6pxxn3YHbfJ2VOvR5fqPYZ9waRGxBVdtVWyFOBo6wa o0CBPcDM+lFtYnwv0cBoxiwCwajCuzh1D9GiGLt0KIgz+gsCxvL0BA+E98MtnnfsdX7NL0VU eCw1KTHwi/MYO5X2Tf49YPHcQouofWNXbJua8Xa1E4iFwfCjlWKtIPoJC+a1v4Ks2eH6OpvS OOvi2o5pA1rpTiv3Mgsh5DPi4kIxV/K6T93z5wpJd2kVkF7e9ikHYNfuSyeN4Z6X80vTmBmt iokxLMIuYC2cSYUxJkoyBPSav6Kf5aI7x/hVeucJSt0in14db6ihxu+7VWtx+3hWsSq1ltBs yRLkt7Jtn8X1hzT7NCKSvV6/ke73DaPzBrf6u5AIU8qjabbMJ8hwrEolpoXq0vDGDX6mELsj K+Zbkkr4PKo6/jmYrXovJCTK5N0hhjgPaQwgMO/Bf40Mg8UX2iU/+m3yb7t/VXhTblUkvE7l rPVvZPaKMgBuKK1HgxY3pwj5hqjFzuqzdsVkH0dIF5YZB6LkZLlN0/ALf36F/uznlqhnTZty vvbILDhBojNLmPfkLj/Z7Zz9k9cyQstwt1H+55ZDKwKLujpVU/rrtPYCwc0MwyqzObjD9Vwz oYeVniOAq+dKa/dr12I6v82L+mCZIIZpCzxK/ci5/7pgn85nUEScbO10psQbXC0BvVmI0OHb nrwmtoND3sGsw4kQOHpiFCOSyBfa2uxUq4m5jw3FJqqDYLZSYCshLyB0j27HppTZm1eDlCMF m3oeJifVvgQciKSJdNukjsZWrigT48uywuitAjgy7poNubU/DYXuor51Ndp/+3TiQ0y9TtsA siAy22NVX17nnsURz8q26ByuVByylCa0aRhn/NYEcFT6OhSXwchNZ/cyvR6BMroVgLAeNeJU lemTc+8DTE/VNJii+MJNk16ApCpig3J9yusGb4c0bKRV7Iu9aeJ4XH9JsM1+X/C1bcoxw0iR dFDHWa8gaV4+wnXCsjOiUrPxPXiTrgVwCOYrDTL9mGJpkwNDF8YucTtWHkeYhCTttHl/gbZS KfoD707MwxHwMrEK61Qa9Svg08VDOz7NoH4ZGS803y1GQ7O3qmFOY7tYWk11z/aA08IkgQeu 3GcOlt2HT+v9lrXFycmDlfzewXp+Oh6pmm8SxowyBuGR0Z70LGy9h8RiLqbUfxAlqkctnIHr DN5VE24w8qQC9eEoF95e75AZNom/Fpd/WfQtgg4M575aq4/3hgRdAN4u06o3BJyYmlZue4tq n5ijA97KKbDlUhEayvdxpfofLveNmj1+hmrLa/QwFDXltiMqO8J77wjplPvsRvMdAJq+mh70 9RTz3qX54nbRAsUX5XrV08r9h9877jEayg57onQ2DViK66x+jPF3tsoAqMixHPCN59bN7mIP AToFMYdC8mqJaotgVfoJhMIMeZO9bIlatu8fqjO06qqMeB82TO+2D4fscYtjwTWrno6F7abu vRNi+uV1QaGSTrm2VKos8Ss3JtBeSlXBW2njy7tGI9WYKR2O4cNE2anZcOtlbAcz9bgXWBV8 Fm7ChYIwsisLFCWaEbx9QZK0k8QrX2jlG2/1TM+wFRL5uKPmTfDxejvbk9NPmlRSEFpl1DnJ oS1i91cW1KnJVthhF6u4kD0wLJeraJ0IjzIQEtGSCPxKnlrTqq6srfqj9dn0Jozqm0XVe29Z QvfUbvhu14B1DulGWJCxTc9fjXsu5PjnhU8hnjPZHp0qXPYf4l3y3K9rJTYQuRd9jEcQyJ/h TjTCx67Jdbh8diPlpjFu/yzTCr7DswVIXStl9rQ8nbjrWRxSQWyhfWyhsHqHW1YmWfg2t9mW D+J5Bfwb4/31rirZOduf01mHlj5uIJxHoBzlJd1hYlFgyBLwMXIuyBewSGuaYY+u+q2dncGS D8VzsSA5QHk3BYmNXeV38fiUW3bxMJ9Zt68a2dQ2yQn7skMBr3Hid4M1SZzvFe8qhrcJPZnm TJIg/8p8nIyiPsOsw0hzyGQRLcIEgMLWE6k3wTN9N24oKhNMSyrdqK8/EFkmtumALCGr0dbQ nmzKd8yWCR36Mt4KlfF1nb+v5rldNfnZtUWrhSIkh3EgrswStp5hr8QiCFgI264oWw9xrtxk 0l1xZ/j9tvPOyB38am+GBIdKjDle5ZZ5GT2lagH+6Tel4G3Qsc6R3NSDcOuF673VmpV76ivN h7SQmNg7C3AQvyGQ1fZsAA//jrOC8z5aS/RfSFDi40kHF7HfCk9yEgVRGlowMB/TFz7gpy5N h8+vGhZ50ak+EQWjLs0cUCuCCGH4174IjYsFMrAcFwPtFwEvwGNdpXAi4A7VyBAos/49FzLc zPEIVQOVSZTAwSFHwyxZ+b1o4CRr67AQLL5dqWGYK3S+7YGBrHYmNT2iNsgp3HVaaDtdjFjF 6FpgBMdGy0pXZ2IwXNXDHVG3yPVM5zB/Un6oHYm6JvltqysAVOn84KLD/E63cxH3RewjO/DM ueRgH08MjNEztYXwmeOzrED3VkUgiUodj+3EL1GuzSfBKTX0rRaCRIWcUYRfINB8r480w9RO MXalsK917h2ieQwAktEUlqpk9+gZMgDKWWwfF3dA0PDOLODLDzNi8b5BMH0AaVXl/lRvgast CyzFkbiOnGOlWCsWU33d+5Liy6fMVpVv4T8OhdhBG7/Tc73Px22NNgk6F9+ibYwh37MKSsdK W0mKxIL/uDWt3oIxKgnSAkjpjJ/IOKJmjiU9bzdI5cS6r5wBzhs0vld+DI8wqdU6ydNQLp0n jHTp5hguQLD8KHHxzx5XR5JsjsOipiMuBAoPaLD+rFLQ3HP+x4M6WjWDA4F7YgAaJWnq+VLx 97DmbimYi9F6M7R9NAACtL8LcuGND8sM0OsFmOMSgQCSjGvOCfUgEkXw5TwvjWF65M9rJbrg p8HTLRWAUc0Gv0tAUNgBNUeIZ1zU1vMcJaehc8MoHe89VzfGZ0csZfAWfafR/7oLWTB5VGrT xASxrj/IYUXO8v8wUMwMzGSeazBAU3bWtxMpiAnaRU78h0lzQ==
  • Ironport-sdr: 66d88417_0ZpKX3lvskUtQOTV4PcStmoiteFALXvg1gQvgCoesS8aDMK zdSGvurgJ78VJEsFKHvCeMkSBvxxOztAz3riQsw==

TLDR: Nominate students, postdocs, and researchers for the POPL 2025 Artifact Evaluation Committee by September 17, 2024 at the following link:
https://forms.gle/jxkK2TMUPuWMy6HW6

Please forward to your own students and institutions!

For the eleventh year, POPL (https://popl25.sigplan.org/)  is creating an Artifact Evaluation Committee (AEC) to promote repeatable experiments in the POPL community (https://www.artifact-eval.org/). Last year, we had 57 submitted artifacts, leading to 2-3 artifacts assigned to each reviewer.

We are proud to announce an open call for nominations of senior graduate students, postdocs, or research community members to serve on the POPL 2025 AEC. We encourage self-nominations from anyone interested in participating in the artifact evaluation process. Participation in the AEC can provide useful insight into the value of artifacts and the process of artifact evaluation, and also helps to establish community norms for artifacts.

We particularly encourage graduate students to serve on the AEC. Qualified graduate students are often in a much better position than many researchers to handle the diversity of systems expectations we will encounter. In addition, these graduate students represent the future of the community, so involving them in this process early will help push this process forward.

The work of the AEC will be done between approximately October 15 and November 7, so we are looking for people who are available during that time.

Please fill out this nomination form for each nominee by Friday, September 17, 2024:
https://forms.gle/jxkK2TMUPuWMy6HW6

Please note that in the past we have had more nominees than slots on the AEC, and so not all nominees will be able to join the AEC.

We look forward to your nominations! Please let us know if you have any questions. Thank you for your help!

Caleb Stanford and Vadim Zaliva
POPL 2025 AEC Chairs


-- 
"La perfection est atteinte non quand il ne reste rien a ajouter, mais quand il ne reste rien a enlever."  (Antoine de Saint-Exupery)


  • [Coq-Club] Seeking nominations: POPL 2025 Artifact Evaluation Committee, Vadim Zaliva, 09/04/2024

Archive powered by MHonArc 2.6.19+.

Top of Page