coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Quentin Stiévenart <quentin.stievenart AT gmail.com>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] ICFP 2023 Artifact Evaluation Committee: call for nominations
- Date: Wed, 15 Feb 2023 09:27:35 -0500
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=quentin.stievenart AT gmail.com; spf=Pass smtp.mailfrom=quentin.stievenart AT gmail.com; spf=None smtp.helo=postmaster AT mail-yw1-f169.google.com
- Ironport-data: A9a23:WnuxlKsEjFA+U/lBNvvMBEWd3+fnVIhaMUV32f8akzHdYApBsoF/q tZmKTrSaP3bMWv3fop+btzl8UkGuZbdy4BhSQFr/ntjRiMXgMeUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOgTrSCY0idfCc8IA85kxVvhuUltYBhhNm9Emult Mj7yyHlEAbNNwVcbyRFtMpvlDs15K6p4GlB4wRnDRx2lAa2e0c9XMp3yZ6ZdCOQrrl8RoaSW +vFxbelyWLVlz9F5gSNz94X2mVTKlLjFVDmZkh+A8BOsTAezsAG6ZvXAdJHAathZ5plqPgqo DlFncTYpQ7EpcQgksxFO/VTO3kW0aGrZNYriJVw2CCe5xSuTpfi/xlhJHluL5wDq9lbO0VH0 sYDM2EmSS6nwNvjldpXSsE07igiBMziPYdaq245iD+AU6dgTpfETKHHo9Rf2V/chOgURaeYN 5dfMGA/Kk2eMnWjOX9PYH46tP61i3/jcjses06UqLQ65WHJ0CR+1bHsNJzefdniqcB9zxzI+ TuarzSR7hcyDcSdzRGvw0iWo+bXuGTpB6QINZy736s/6LGU7jVLVEd+uUGAifK+kwu1X89VA 1cF/zIn66k07k2iCNfnNyBUu1aBtx8YHstPSqg0sV/cjKXT5AmdCy4PSTsphMEaWNEefWQ4x 0TYoP/TITVIiqaOGFm6yJPTlGbnUcQKFlMqaSgBRAoDxtDspoAvkx7CJuqP9obl3rUZ/hmgk 1i3QDgCa6Y71pFUiv3qlbzTq3f9+ciTF19dChD/Bzr9tmtEiJiZi5tEAGU3AN5FJYedC0ie5 T0KwpbPqu8JCp6JmWqGR+Bl8FCVCxStYG20bb1HRcFJG9GRF5iLI9s4DNZWeh0BDyr8UWW1C HI/QCsIjHOpAFOkbLVsf6W6ANkwwK7rGLzND66LMIEfM8UqLFPfp0mCgHJ8OUi9wCDAdolva f+mnTqEUB729Iw9nWbrHbZNuVPV7nxjlTu7qW/HI+SPiOLCPhZ5uJ8KN1yBau1R0U93iFS9z jqrDOPTk083eLSmPEH/qNdPRXhXcyVTLc2p86R/KLTfSiI4QzpJI6GKkdscl3lNxfs9ehHgp SHjBCe1CTPX2RX6FOl9QiEzNOK+Ac8v9RrW/0UEZD6V5pTqWq73hI93Snf9VeBPGDVLnKQqH coWMd6NGOpOQTnh8jEQJ8u15o97eRjhwUrEMyO5aXJtN9RtVi7YyO/CJwHPzSgpCjbolM0cp 7b76BjXb6BeTCtfDeHXSsmV8XWPgVYnlthPAnT4eutoRB208axBCTDAsfssEsRddTTB3mS70 iiVMzc5pM7MgYk/z/fRj4vZrY3zS+paNWhZFln98ryZG3T7/G2i4IkYS8eOX2nXe13V8ZWYR 9d+7q/DItxeu31Voa9QLq1N8Zsuw/fO+5pL0RVCHljQSlagV4NbPXiN2PdQup13xrN2vRW8X mSN8IJ4PYqlFdzEElkDAhgMdcWGiO8pnwfN4cQPIEnV4DF9+JyFWx5wOziOkClsE6tnArg6w OsOuN8k1CLns0AEau25tyFz83iAClciUK9975ETP9LNuzoRk1pHZcTRNz/y7JSxcO5zC0gNI AHFoIrZhr9Z+FjOTGprK1jJwthmpMovvDJk8QY8Amqny/v/u+8P/RxO8D4IYBxf4TdZ3slSZ GV6FU1HCp+f3jVvhcJ8cXimMFgcCA+05n7z5gEurzDfRRP5UGbiEXAMY7eR3UEG8lBzeipQ0 6GYxV3EDxfrXpDV9QkjVXF1r8fMSYRKyTTDv8S8DuK5H5UeShj0sJ+EPGYnhUPuPpIsuRfhu +JvwtdVVYT6Eiwh+4sAFIiQ0OUreiCufWBtb6low/IUIDv6Zjq35DmpLnKxcONrI9jh0xexK +5qF/J1eyWO7gS8hRFFOvdUOJ5xpuAj2/QacLCyJWImjaqWngA0jL3urBrBlE0ZaPQwt/ZlM Y7AVSOwIkrJj1tupmL9hs1lOG25XNo6WDPBzN2FqOUkKpZSn9xvIGcT06S1tUq7KAFI3QyZl yKdar70z95N85VNnYztIP8aBwyLNs7CDrWU0QGssuZhacHEHtfOujg09HjmHVVyFpkAV+tnk Y+itIbM43rEm7ItQkbllIKkBYAQwemPBM9sLdPQAFxBuCmzSOvAwkAkxTijCJprlNh92JGWd zGgYpHtSe9PCsZv+nJFTgN/TTMPALvTRYX9r3qfq/+sNEAs4TbfJon6yU6zPHBpTQ5WCZjQE QSuhu2P4Opfp4FyBBMpIfFqLpt7AV37U5sdaNzDmmiEP1asn2+9lOPupTg45RHPL0u0IsLwz JbGZxr5LRqM4fCCiJkTtoFppRQYAUpsmeR6LApX59dyjCv8F2Ica/gUNZIdEJxPjyjuz9fCa SrQaHc5QzDINdienc4QPPy4NuteOgAPBjs9Djkg/kfRejjvQY3ZXuon+SBn7HN7PDDkyYlL7 D3YFmLYZnCMLlNBHI7/JcBXRc9ow/rbwjQD/kWVfwnaHUMFGbtTvJB+NFMlaMEEev0hUG3EI GE0QSZPR0TTpYsd1yp/UyY9JSz1dw8DA9nlgeljDTofV0imIDV89cDC
- Ironport-hdrordr: A9a23:lxAc56qXE8Z7n13vF4O5EsQaV5omeYIsimQD101hICG9E/bo8P xG+c5w6faaskdzZJhNo7C90cq7IE80l6QFg7X5VI3KNGLbUQCTXeRfBOXZslnd8u7FmtK1F5 0MT0GzMrLN5JFB4/rH3A==
- Ironport-phdr: A9a23:3EGa0RxYtH0oIKfXCzKRw1BlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z hGZvKswxwKWFazgqNt6yMPu+5j6XmIB5ZvT+FsjS7drEyE/tMMNggY7C9SEA0CoZNTjbig9A dgQHAQ9pyLzPkdaAtvxaEPPqXOu8zESBg//NQ1oLejpB4Lelcu62/6y9pHJfglFhTqwbbxyI Ri0sA7cqtQYjYx+J6k+zRfEvmFGcPlMy2NyIlKTkRf85sOu85Nm7i9dpfEv+dNeXKvjZ6g3Q qBWAzogM2Au+c3krgLDQheV5nsdSWoZjBxFCBXY4R7gX5fxtiz6tvdh2CSfIMb7Q6w4VSik4 qx2TxDmlToHNyUh8G7JlsNwkKxVoBWkpxNlwo7UZpyeOP5xc67ZeN8XQ3dKUMRMWCxbGo6zY IsBAeQCM+hFsYfyu0ADogGiCQS2Hu7j1iNEi33w0KYn0+ohCwbG3Ak4EtwVrXTbstP1NLsTU eCz0aLG0CnDb/JM3jfj9ofIdAouoeuQXbltdsfR0FQvGB3DjlWMqIzlOSmZ1v8Rs2ia8eVgS /ygi2g9pAFrvjii3cgsiozTiYIUzlDI7zl2wIEwJdChTkNwfNGrHodKuS6AK4t2Xt0tQ3tuu CsiyrALuYO3cDUFxZkj2xPSafKJfoiG7B/+SeqcPzd1iG5rdbywiBi/81atxvPyW8e70FhGs ylIn9fIu30C1RHf986KQeZz8Eem3DaAzQHT6udcLEA6kqrbMZshwqUqmpoctUTMADf6mF73j K+ZbkUk/vKn6+L9brXhvJ+cOIl5gRz9PKQ2gsGzH/g0PwwUU2WY+emwzqDv8VP6TblQk/E7k 63UvZbHLsoBvKG5GRVa0oM75ha/ETim1NMYkGECLF1feRKHi5HlOlHAIfzlFPu/jUmgnTZvy vzcMb3hBZLNLnfHkLj/Z7py90lcyA8rwdBe4ZJbFK0BLertVkPtsNHUFBw0Pgyuz+r6Ftlw1 ZkSVX+OD6KdKK/StEWH5uMrI+mCfo8VvzP9JuA85/7zk3A5n0Mdfaiv3ZcNc3C4AvVmLFuHY XXyhNcOC30KvhYlQezljV2NSz9TZ3KoU60g4TE7DZqqDYHYSY+1mryOwD+7HoFKZmBBEl2AD G/kd5+YVPcUdCKSPshhnyQYWrimUo8tzA2htAvny7V8NefU4S0ZtZf71Ndv/eHTlBcy9SZ1D 8uHyW2NQXt0zSs0QGo927k6qkhgwH+C17J5irpWD499/fRMBz4nOJjAzuoyMMzz2xzMeN6TV B7yW8irBy0wSJQq394DfUt7Es++ph/G1iuuRbQSkurYV9QP7qvA0i2pdI5GwHHc2fx93jHOI +NKPGyi3Otk8hTLQpTOmAOfnrqrcqIV2GjM8n2CxCyAphIQSxZ+BIPCW31XfU7KtZLh/EqXV qKjD6gmNE1a1c+PNKZMY8f1pVpDTfbnft/ZZjH5gH++UC6B3ajEd4/2YyMY1STZBlIDllUK4 HuAKQk4QDy9om/AATpnD07HbEbl8O04o3S+HQcv1w/fSUpn2vKu/wINw/yRT/RGxrUfpCIos Cl5Bn641tPSTsuf/k9vJfsNJ9w651hD2CTSsAkV0oWICadkixZedg12uxmrzBBrEsBalsNsq no2zQ10IKbe0VVbdjre04qicrvQYnL/+hyiccu0khnXzcqW96ET6f85t0SrvQenEVAn+mlm1 N8d2mWV55HDBg4fGZzrVUN/+x9/rrDcKi4zguGcnWRxPK+oszmEwM4oCfUozB+6Y/9QNaqFE En5FMhbT8miJeo2mkS4OwoeNbM3luZ8NMenev2ana+zabw4zXT20CIeutA7ixzdpE8eAqbS0 p0Iwu+VxF6CXjb41hK6t9zv3JpDbncUF3a+zi7tAMhQYLdzdMAFEzTLQYX/y9NgiprqQ3Md+ kSkAgZMwdKkfwaTaRrmwQxdy0kRqGa7sSS9xj1w1Touq+DMuU6Gi/SnbxcBNmNRESN7kFrqP YmyycsGXUW2Yg4gjgeN6kPzxqwdr6N6ZTq2Iw8Ab239KGdsVbG1v7yJbptU6Z8mhi5QVfy1f VGQTrOVTwIy6yr4BCMewTk6c2vvoZDlh1lgj2nbKn9vrX3fcMU2xBHF5dWaS+QDljYBQSB5j 3HQCD3ed5Gw4NiSi5bF9PuiVm+/W5taazXDwoaJtS/97mpvSRGyhPG8nNT7HBNyi3eqkYk3E 3yS/FClPNij3r/fU6ovZkRyAV7g98d2UppzlIc9ntBY2HQXgImU4WtSlG7yNdtB3qetCRhFD TUPwtPT/E3kwBg5diPPl9+/Dy/NhJI/NorfACtewC824sFUBb3B6bVFmXEwuV+ktUfLZvM7m D4ByPwo4XpcgucTuQNrwD/OZ9JaVUReIyHokAyFqt6kq6ACLn+yfL6s1Uw4hsygAa+PpAhGR F72f54jGWl76cA1YzeumDXjr5rpftXdd4dZrwCZlQvBia5ONJM8iPcMjDB7EW34tHwhjeU8i FY9uPPy9JjCIGJr8qWjBxdePTCgfMIf9AbmiqNGl9qX1YSiTd1xXy8GV5zyQbe0ASof4L75Y h2WHmR2+RL5UfLPWBWS40B8ozfTHoC3YjuJcWIBw4wqRQHBdhcCxllFBHNgwsF/TkfwmITga BsruGxXvAWj7EISkqQwcECuNwWX7AawNmVqFt7GdEAQtkcaoB2Nec2GsrAtQWcCoszn/FTLc ivBP0xJFT1bBRbCXgylZ+j0o4GHqrj9ZKL2LuOSM+rS77UECrHQg8roi9Uu/i7QZJzXbj87U KJ9igwbGiogU8XBx2dWFHdRznORKZbd/FDlpEgV5oi+6Ki5Alq+o9vSTeIIYZM3vEnpyaaba 7zK3Xg/dGYej8JWgyePkelX3UZO2Xs3KX/3SuVG7nSLFOWJy8o1R1YNYid3fqOk9ooa2Q9Ac Y7eg9LxjPtji+ItTk1CXhrnk92oYsoDJye8MknGDQCFLubOIzqD2Mzxba6mLN8YxOxJqx29v yqaGE7/L3yCkTfuTRWmLeBLimmSIhVfvIi3dhslB3LkSZrqbRiyMdk/ijNTo/V8nnTRKWsVK iRxaWtIp7yUqDJH27BxQjIQqHViKuaAlmCS6OyZYpcavP13AzhlwuJX5HNprtkdpCpARfFzh G7Ttos0+wDgwrTJk2A3FkMQ+2Uu5srDp0hpNKTH+4MVXH/F+EhI9mCME1EQoNAjDNTzuqdWw 9yJlaTpKT4E/ciHmKlUT8XSNs+DN2IsdBTzHzuBRhIYQDi3NGeZnFBcne+f8HSPsrA1r5Htn NwFTboRBzlXXrsKT19oGtAPOsI9RjQ/jbuSl9IF/1K7pRjVAdRF59XJD6zDR/roLzmdgP9PY B5CktaaZcwDc4b83UJlcFxzmo/HTlHRUd56qSpkdgYooU9J/RCWq0U83kvkbkWm53pBTZZcc TY5jwJ/ZaIm8zK+uj/fx3LPrSo01VguwJDr2G7ANjH2K6i0UMddDC+m7yAM
- Ironport-sdr: 63ecebe5_m1DfLdI1BW1vJmy6VspP4S66GzZV7E3df41GYYThUljsKOc IDDSuxh+udpgWea6R0gCELtJu5xyUMZ3867jYfw==
Dear all,
We are looking for motivated people to be members of the ICFP 2023 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.
Nomination form:
https://forms.gle/RDomoHLv39RnjBUC6
For more information, see the AEC webpage:
https://icfp23.sigplan.org/track/icfp-2023-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 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 5th and June 29th.
Come join us in improving the quality of research in our field!
Best,
the Artifact Evaluation chairs: Jannis Limperg and Quentin Stiévenart
We are looking for motivated people to be members of the ICFP 2023 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.
Nomination form:
https://forms.gle/RDomoHLv39RnjBUC6
For more information, see the AEC webpage:
https://icfp23.sigplan.org/track/icfp-2023-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 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 5th and June 29th.
Come join us in improving the quality of research in our field!
Best,
the Artifact Evaluation chairs: Jannis Limperg and Quentin Stiévenart
- [Coq-Club] ICFP 2023 Artifact Evaluation Committee: call for nominations, Quentin Stiévenart, 02/15/2023
Archive powered by MHonArc 2.6.19+.