Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Volunteers for ICFP 2025 Artifact Evaluation Committee (AEC)

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Volunteers for ICFP 2025 Artifact Evaluation Committee (AEC)


Chronological Thread 
  • From: Lionel Parreaux <parreaux AT ust.hk>
  • To: "types-announce AT lists.seas.upenn.edu" <types-announce AT lists.seas.upenn.edu>, "haskell-cafe AT haskell.org" <haskell-cafe AT haskell.org>, "agda AT lists.chalmers.se" <agda AT lists.chalmers.se>, "coq-club AT inria.fr" <coq-club AT inria.fr>
  • Subject: [Coq-Club] Volunteers for ICFP 2025 Artifact Evaluation Committee (AEC)
  • Date: Mon, 17 Mar 2025 09:20:20 +0000
  • Accept-language: en-US
  • Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=ust.hk; dmarc=pass action=none header.from=ust.hk; dkim=pass header.d=ust.hk; arc=none
  • Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=ChWeHXP+Y3vUOEtTT4LIycw+1j7zmY1j2y5qemtR80E=; b=ZSR0ep/KHTLU3rgg4BBgD0c+oGnsCAMK2NaglfdeidS3m4WYadA7Gke8e/X5EIak14ugn+DWiEgYScaUtT99x4uBG5s1o2IkBw+f4FJclopur06tJubzuhICpoI3jwIX2zlP9KAWJ8L0/lYVBQjP/3WXtAR6P1UXMtRoHxxjOo8SDBSPYHy3+seTgQssrFCTLW97Pf4agnF3KczxpsJTEkkNdLEBCeWwiNZjQsy2jdeJTXC0v5012Ruk38aPQ8I+3p59gQhSXOWY2kQ3p/neoNnopXkd7oJqVCGktSPkVvcrjr9wcElN6/9uCvzWvmmGEMczI8VqxRm1FAfJMjx2iQ==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=e22SSzjQ0NL1DQKWykF4TGIhbASHonDRweT0uun55iplXGRRjA/fnkAZEOteAtsyT4L8wtV5jcbBruWz84mYEhQ+nVIJK7v7cp2WBJyDpIgSEz6ry6I7tv7EEoUkA1VXsbLyLIMk98sZ5yGt1ludpOusGLsukyUVfDba67GUq8iw5ZZUFVluWTFupnBazv2uWWmqcjk3fzjHUl4e/Pe4Zmra5DiyhE8Mfy9fmR77ZgufOXnkzKP7keelgS7yotc+C0ngZ+jydMWIPsFhVC3OrJE0weiGs58BtsypBIBYStab2LAYmxallJtsDEhCrs8v8WLl41irRQdJo7+YI/hsrQ==
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=parreaux AT ust.hk; spf=Pass smtp.mailfrom=parreaux AT ust.hk; spf=Pass smtp.helo=postmaster AT OS0P286CU010.outbound.protection.outlook.com
  • Ironport-data: A9a23:c5dF+6wAbq8EMVF9wkR6t+dPzSrEfRIJ4+MujC+fZmUNrF6WrkVVn 2EWUGmPOffYN2agL4tyOY/i8B4PsMeAxoBkSAJq+FhgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefSAOCU5NfsYkhZXRVjRDoqlSVtkus4hp8AqdWiCmthg /uryyHkEAHjgmIc3l48sfrZ9Us05auq4lv0g3RnDRx1lA+G/5UqJMlHTU2BByOQapVZGOe8W 9HCwNmRlo8O10pF5nuNy94XQ2VSKlLgFVDmZkl+B8BOtiN/Shkaic7XAhazhXB/0F1ll/gpo DlEWAfZpQ0BZsUgk8xFO/VU/r0X0QSrN9YrLFDm2fF/wXEqfFPVwOxRJVwXP7c+oMAnXV9Sr 6xDJGkSO0Xra+KemNpXS8FLvZwbdpm1F75H4ykmyizFB/E7R5yFW7/N+dJTwDY3gIZJAOraY M0aLzFoaXwsYTUTYhFOUM14w7vu3yOjG9FbgAr9Sa4f+2HJ1gF4zajFLcHJPNyJLSlQth/B/ z2arzmjWnn2MvSB4H25rlWoutTytnvACLNJDYSgyNhl1Qj7Kms7U0ZMCQTTTeOCokW5QpdUL 1Ee0jE/qLA7sk2tVNj0GROiyENopTYZUttUVu8z8AiL1afP/w+LAW5dF2YbMYV86IkxWCAg0 UKPk5XxHztzvbaJSHWbsLCJsTe1PitTJmgHDcMZcecby+Dgub4akzPNdPA5Nv7psMGvSWr8m i/f+UDSmI4vpcIM0qy6+3XOjDStuoXFQ2YJCuP/Dj/NAuRRNN7NWmC41WU3+8qsO667djG8U JUsnsGf6KUMBImEkjOAW/kEDravvq/damSF2wIpGIQ9/TOw/XLlZZpX/Dx1OEZuNIADZCPtZ 0jQ/whW4fe/3UdGj4cpOOpd6Oxzl8AM8OgJsNiIMrKihbAtL2e6ENlGPxL44owUuBFEfVsDE Zmaa92wKn0RFL5qyjG7L89EjuNxn3xvlTKDHsmrp/hC7VZ4TC7IIVviGAvfBt3VEIva/VSLm zqiH5fUlEgHDLOiCsUp2dVKdApUdBDX+qwaW+QMLbTffWKK6UkkCvTLxqgmdZAtlKNPjo/1E oKVCydlJK7ErSSfc22iMyk7AJu2BMoXhSxhYUQEYw3ys1B9OtnH0UvqX8dtFVXR3LA5laYsJ xTEEu3caslypsPvom9HNsKj9tc9JHxGR2umZkKYXdT2RLY4LyShxzMuVlKwnMXXJnPv7JNsk K7qzQ7BX5sISiJrCcucOrrlzEq8sTJZ0Kh+VlfBaIsbMkj90plYGwqohN8OIuYINUriwBme3 F2oGhs2n7TGjLI019jrvpq6ibmVPdFwJWdkOlXKzK2XMHDa91WzwIUbX+eveyvcZVzO+66jR Lt0zKDAFdMujXFmgaZCL5976Ilj+dffnb5QlTp5Ll6WcF+uW+tSHV/e1PYeq4lIl+ZVlhuoU BiU5+gAaKmoOdzkInEVNgEKfuSO7tBKuzjwvNAeAlT22z9zx5WDCX5tBhirjDdMCod6K6Y36 L4FlO9Kzh2g0Dw4H82jjCsJx1+TL3cFbborhqsaDKDvlAAv7FNIOr7YNQPb/7CNbMdqIGAxA zrJmpfHuatQ9nDCf1U3C3LJ++hX3rYKmRJSyW49N0a7ocXEitA3zS9u32wOFCoN9Sp+0sV3J mRPHG92L//X/z5X2e5yb1r1EARFXBCk6kj9zmUSr1LgTm6qa3fsKVMsMuPc7WEb9GNhJgJgx o+681q8czjWf5DW5BAQCGpFsP3oSOJj+jLSwP6HG9u3JLhkQD7HrJL3W082hUrGO+0TinfDh 9FWx8drSKiiNScvs6wxUIab8rILSSG7Hm9JQNA/3aU3D233JTa7yBmVCkWLYsgWDef7wUy5L M1PJ8x0SBW10hiVnA0bHaIhJ7xVnuYjwdg/JoPQOm8NtoWAogpTsJ7/8jb0gEkpSY5MlfkRB 5zwdTXYNECtnlpRxnHwqfdbNlqCYdUrYBP22Ma3+r4rE7MBqORdTlEg4ICrvnm6MBpVwDzMh VntP5Tp9u1FzZhgu6DOEa8ZXgW9Fo7VZdSyqQu2t4xDUMPLPcLwrDgqk1jAPTlNHL4vSt9yx KWsstn24Rv/h4wIcVvlwruPK6oYwv+JfrtzEtn2J3xkjye9SJfSwx8cyVuZd71Nsv1gv/eCe SXpRve0R9AvX/Vl+EZ0cAlbShYUNLT2ZPzvpAS7tPW9NSIe2g3mcvKhy23lRjxcfz4pILz7M Bf/4Ny11+BbraNNJR4KPO5nCJlGO23eWbMqWtnylDuABEyqvw+ygaTjnh8e9j37MHmIP8Lk6 5bjRBKlVhCNlIzX7dNe6apegwY2CStjvOwOYU4twd56pDSkBmogL+5GE5EnCIlRoxPixqPDe zDBQ2szOxrTBQ0eX03H3+3ieQODCsglGNTzfGUp9nzJTRaGPtqLBb85+xpw53tzRCDY89imD tMj4Vz1AAm6x8B4ZOQU58Hju9xd+NHh+isq93z+wuvIODRPMYVSgTYlVEBIWDfcGs7AqFTTK CJnDSpYSUW8UgjqHdwmZ3dRHwoDsSjyyykzKx2C28vbp57R2dgoJCcT4A0v+uZrgAU2yL8yq bffYFDV2zrGhFcu4fJx/dU0naVzFPSHWNCgK7PuThETmKf27Xk7O8QFnmwES8RKFMt3DQbGj jf1i5QhLB3tFayT8OT+JcY1F1ZZT2kQSTHK5OI6jSGTigQ3lrA1ZDDzpD8W6vjMR2zLol5EB jcRBKpUT5t6qxO8zQRDWj8nSpBrzC3f+bQokszlc38qriqRdQ==
  • Ironport-hdrordr: A9a23:2ZAQbK825NoUkwKKjmxuk+FMdb1zdoMgy1knxilNoENuH/Bwxv rFoB1E73TJYW4qKRcdcKO7SdC9qBTnhNdICOgqTMGftWzd1FdAQ7sSibcKrweAJ8SczJ8U6U 4DSdkYNDSYNzET4qjHCWKDYrUdKay8gcWVbJDlvhVQpG9RC51I3kNcMEK2A0d2TA5JCd4SD5 yH/PdKoDKmZDA+ctm7LmNtZZmIm/T70LbdJTIWDR8u7weDyRmy7qThLhSe1hACFxtS3LYZ93 TfmQCR3NTvjxj78G6R64bg1eUZpDLT8KoDOCVKsLlUFtzYsHfmWG2mYczAgNl6mpDs1L9gqq i1n/5pBbUJ15qWRBD/nfKl4Xic7N4jhkWSs2OwkD/tp9f0Syk9DNcEjYVFcgHB405lp91k1r lXtljpwqa/ICmw7xgV3eK4JS1Chw6xuz4vgOQTh3tQXc8Xb6JQt5UW+AdQHI0bFCz35Yg7GK 02Zfusk8p+YBefdTTUr2NvyNujUjA6GQqHWFELvoiQ3yJNlH50wkMEzIgUn2sG9pg6V55Yjt 60RphAhfVLVIsbfKh9DOAOTY++DXHMWwvFNCaILVHuBMg8SgLwQl7MkcQIDc2RCeI1JcEJ6e j8uXtjxBEPR34=
  • Ironport-phdr: A9a23:a7H4Ghfp+LJYxxgRAqVBGVJDlGM+79HLVj580XLHo4xHfqnrxZn+J kuXvawr0ASTG92DoKsf2rON+4nbGkU+or+580o+OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF 95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwbL1sI BmssQndqsYajZZsJ6s11xfErGZDdvhLy29vOV+ckBHw69uq8pJk7ypepe8q+dRaUaX9caQ4T LhYAyojPmso+sDltgTNQBWW6HcEXWoYjhRHAw7e7BHnRZjxqTf1tvB82CaBI8L7S60/VCm44 KdqTB/ojzoHNyI8/WrKhMF8kL5XrRS8rBN43oDUfZqVNOJgcazBYdMUS21BXsNLWCxABIO3c o8DAuUFMOpdqYT2ulkAogakBQS0BO3h1CJGhmP406M5z+svHg7J0Rc8H9IXrHjYsMn5OLsSX O2z0aLGzS/Db/RT2Trl7obIcxchofeSUrJ0bMHf01MgFxnfjlqOs4PlIjyU3fkKvmiD9eVgT /ivhHA9pAFsrTmi3dosipLVho4PylDE9jx0zYAoLtK3VEB1e8SrEIdMty6ELYt2RNsvTW9mt iomxbAKpYK3cSYUxZopwxPSdv2KfoaW7x7/WuicPzh2iXxndb+igxu/8Eatx+3zW8e7zFpHr S5InNnIu30Lyhfd5M+HSv5n8Ueg3zaCzw7T6uZeIUAxjqrXMZEhwroumZYLqkTDHyD2mF3yj KCMcEUo4O+o6/7oYrjgu5SSNJd0hxnxP6gygMCzHPg0PwoUU2WZ9umwzqDv8VP2TblSkPE7k 7XVvZ7fKMgGuqK0Bw5Y34Mi5hqjADqr1ckUkH0aIF9AfR+LkpTlNlfTK/3mCfe/nk+skCt1y PDcI7PhA5TMIWbbnbv9e7t29lRSxxApzd9F4pJZErEBL+z3Wk/2rNHWFwI3PxCuzer5C9hw1 50TVmyTDqOELK/eq1iI5v8zI+aXY48VpTD9JOU/6/72l385nkMdcre10psLaXC4GfJmL1+eY XrxntcBFWAKvg09TODwlFKCVjtTa26zX6I6+D47FJqrAIjfSoy3nbCNwCW2EodUa21JEFyAD GnkeoqcV/cJci2SI8thkjIeVbimTo8szQmuuxXgy7p9MOXb4DAYtJ342dho/O3TiQs+9Tx3D 8iF1WGCVHl7nnkUSD8uwKB/vUt9x0+e3aRgmfxXCcRT5+9VUgc9LZPT0+t6C8nrVg3deteJV U2pT869ATAxS9Ix28UBb1x8G9WklBDD3jClD6Ubl7yRV9QI9feWw2npKt04wnDA07QnhFQOR spUKXbgnaN27E7OH4PPlQOUm7vgPfAAzTbA7yKKy2yJoUdTXSZ0UL7ZRjYEa0LN68nh60XEC bKiFOJjekFBwNWBJ69OL9bgg1huRP74O9naZyS2gWj6TUKIz6iPYY7uPm4U0ij1CEEfkA0X+ TCBLwdoQm/rqm3SBRRqFEnzeAXn8eB6rX6hVQkvwkvCO0Ru27Od/h8OmefaQPMa2rcJojxns DgiWB731NXPTtGEugBJfaNGYNp77k0NnTbSsBU4NZi9JYhjgEQfekJ5pRW9+Q9wD9BkkM8so Xdi9ANoM6+RzUMJIyuRx4r9M6DHAnTp4FavaPiFiRnlzN+K9/JXu7wDoFL5sVT1RyLKkl1i2 thRiD6H44nSSREVSdT3W1o28B5zo/fbZDM87sXazy4kKrG65xnF3d9hH+450lC4Zd4KKKqeD gL7Dt0yGtOybuwpyBCydhxRBOlJ7+YvOt++Mf6P2aqlJuFlySqvl35K6Z1t+l+X62x8Sb2Ax I4LlsmRxRDPTDLglBGhv8TwzJhDfi0XF3GjxDLMI7UJXvciI602UT72Zcqq2t95mpjhHWZC8 0KuDE8H38nvfgeOa1v63ktb0kF/TWWPvyy+wnQ0ljgoqvHaxynS26H5cwJBPGdXRW5khFOqI I6ujtlcUlL6Jw4u3ACo40r33c057Ox2MnXTTEFUfiP3M3AqU62+saCHatJO75VguDteUeC1a 1SXArDnpB5S3yTmFmpYjDc1ElPi8o3whQZ3gX+NBGtosDzZeoA4xBvS4sDdWe8ExiAPF2Fzj TjaAET5PsH8oY3Szs+c9L/iETv7Cs42E2Gj146LuSql6Hc/BBS+m6v2gdj7CU0h1je90dB2V CLOpRK6Y4/x1q38P/g0GysgTFL69cd+HZlz14Uqg5RFk2ATnI+Y9GcXuXroLZNb2uitJGpIX jMNz9PPtUL90Vd5I3uU16rkTWnbwsgrNLzYKisGnyk66c5NEqKd6rdJyDB0rlSPpgXUefFhn z0ZxJPC8VYiivoS8EooxySZWfUJGFVAeDfrj1KO5sy/q6NeYCCud6Kx3Qxwh4LpALaHqwBaE HH3H/VqVTd59N9yOU/c+GDo9sfke5HcYMkSuRudjxrbx7QNbstpybxV2Ww+Yz61tGZt0+Mhi B1ywZy29JOKLWlg5uPcYFYQNzH4Yd8S5iC4iK9fmsiM2IX8Vp5lGzgNQN7pVaf0SHRL7auha FrISWdg+RL5UfLFEASS6VlrtSfKGpGvbDSMIWUBiM5lXF+bLVBehwYdWHM7mIQ4H0ak3p+EE g8x6zYP61r/shYJxPhvMky1Sm7FvgqhdyccVYODahpVpFIK9wLOPMqS4/gmVTlR5IespRGdA nGAe0JIDitaPy7MT0CmNb6o697a9uGeDefrNPrCb4KFrulGXuuJz5aigcN2uiyBPcKVMjx+H uU2jwBdCGthFZ2TyFBtA2QH0jjAZMmBqFKg9z1r+4qhpe/zVlun5JPTWecKd4Q1vUjw2eDaa qaRnHordW4ej8tTgyeOkP9Ggjtww2lvb2X/TO5G7HaVCvqWwugOUlYac38haZEOtvpmmFELY YmC1Jv0zuIq06RzUg8eEwSnwobwOqloaym8LA+VXR7XcujZY2WNm4auPuu9UeMC1uwM7k/p4 G/JHRO7ZmbR0GW5MnLneeBU0nPBNUQH6tjkK0RjVTC4HoChNkzzMccp32c/meRm3yqTZ2BAa WMuIxsV9u/Cqn4B55c3U21ZsCg/JLHdyX/AtrvWds5N4/AzWnwmxaUHuTw70+UHtigcHa4sw XKAoII2+AOoyrHXmGggDUAG7z9PgMjjUVxKAazC7dEAXH/F+ElI9mCME1ERoMMjDNTzuqdWw 9yJlaTpKT4E/ciGtccbAsHVLoqAPh9DeVLxHyXICQIeUTOxHUbk33QHwK+5yyXM9t49t4Tmn 4cIRvlDTlspG/gGC0NjWtsfPJNwWTBimrme6axArXaztxjeQsxGs4uPCqrUWK2wbmnFy+AeO 1MB2vvgIJ4WN5Hn1kAqcVR8kInQWgLRUd1Lvix9f1o0rUFKox0cBiU430PobB/o4WdGSabyx 0ZpzFQiJ713qGSJgR9/PFfBqSounVNknNzkhWvUazvtNOKrWpkQDSPotk83O5e9QgBvbAT0k 1Y3UVWMD79XkbZkcnhmzQHGvp4aU+ZVV7dJaQIA7eyMe7Mo0h4Pz0fvjV8C/ubDBZZ4wUEyd oWwqntbxw95RPkOfZSKdPRi8wAJ3uSJozOi0f03zEkGPUER/WiOeSkO/ksVKr0hICnu9etpo 1/n+XMLaC0HUPwkpehv/0U2NrGbzi7u5LVEL1i4K+2VK67K83iFj8ODRUk8k18Zj0QQt6Yjy t8tKgDHMiJnhKvUDRkCMtDObB1Yf9YHvmaGZj6A6K3M2c4nY937R7quFanW8/9JykO8QFR1R 8JVtptHRt/0lxiGSKWvZL8dlUdwvkKyfA3DVLIRP0vW2DYf/5PiltkuhdMbfndFRjwjeSSvu uSK/Elz2KHFBJFuJS5FO+lMfnMuBJ/jw3If4ysGVH/vlbtGgAmasW2mr3yJXmClNohtOK/MN 0ErVIHTm3138rDo2wTeqsyMfjijZ9o+4oSdu6RG9t6GE60GF7Al6hWFwtAKSSDyCDyfSYbtd cq3NtBJD5S8C27kAAa202tnFp6obtjxdvPailmwHdQG99TClDE7a53nH2lHSU4p/rMNuPonN wNbO8JpM1m17Ux7Pqi7am9wPf2zWHrrKTgEFpG3LM2dXORvlXpyRdLikSNmSYwmxe6q90JLX IsNkhzV2fekYc9ZTDT3HXtePQ7IoHhg/4CEHvsp3qE/w0GQ2WQ=
  • Ironport-sdr: 67d7e95b_7E0ejwMy4cKawfxt4/432DV5czfHHHpgqGJnyXECWBVCcg9 qDpkeNK3PEoybRzPvJGlB/ggpbJjvKBVyjWbJRA==
  • Msip_labels:

Dear all,

We are looking for motivated people to be members of the ICFP 2025
Artifact Evaluation Committee (AEC). Students, researchers and people
from the industry or the free software community are all welcome. The
artifact evaluation process aims to improve the quality and
reproducibility of research artifacts for ICFP papers. In case you
want to nominate someone else (students, colleagues, etc.), please
send them the nomination form.

Important note: If you are a student, you will need to provide a letter
from your advisor supporting your nomination (one or two short paragraphs
should be enough). We ask for this mainly to ensure that students and
advisors are on the same page regarding the allocation of a sufficient
amount of your time to review the assigned artifacts.

Nomination form:
https://forms.gle/RthfLTeJ3fo6iMH16

Deadline for nominations:
Fri April 11th 2025

For more information, see the AEC webpage:
https://icfp25.sigplan.org/track/icfp-2025-artifact-evaluation

The primary responsibility of committee members is to review the
artifacts submitted corresponding to the already conditionally
accepted papers in the main research track. In particular, run the
associated tool or benchmark, check whether the results in the paper
can be reproduced, and inspect the tool and the data.

We expect the evaluation of one artifact to take about a full day.
Each committee member will receive 2 to 3 artifacts to review.

All of the AEC work will be done remotely/online. The AEC will work in
June, with the review work happening between June 16th and July 18th.

Come join us in improving the quality of research in our field!

Best,

— The Artifact Evaluation chairs: Benoît Montagu and Lionel Parreaux


  • [Coq-Club] Volunteers for ICFP 2025 Artifact Evaluation Committee (AEC), Lionel Parreaux, 03/17/2025

Archive powered by MHonArc 2.6.19+.

Top of Page