coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] Call for Nominations: SLE 2024 - Artifact Evaluation Committee, Nominations Wanted
Chronological Thread
- From: Andrei Chis <chisvasileandrei AT gmail.com>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] Call for Nominations: SLE 2024 - Artifact Evaluation Committee, Nominations Wanted
- Date: Thu, 15 Aug 2024 16:32:27 +0200
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=chisvasileandrei AT gmail.com; spf=Pass smtp.mailfrom=chisvasileandrei AT gmail.com; spf=None smtp.helo=postmaster AT mail-lj1-f172.google.com
- Ironport-data: A9a23:zXaowa3vGXwSdkYiePbD5X11kn2cJEfYwER7XKvMYLTBsI5bp2EGz DAfD22Ha/yDYmX9Lot2YI6z/U4OupPdzdVkSwVk3Hw8FHgiRejtVY3IdB+oV8+xBpSeFxw/t 512hv3odp1coqr0/0/1WlTZhSAgk/vOHNIQMcacUghpXwhoVSw9vhxqnu89k+ZAjMOwa++3k YqaT/b3Zhn8g1aYDkpOs/jf8EM24ayo0N8llgVWic5j7Ae2e0Y9V8p3yZGZdxPQXoRSF+imc OfPpJnRErTxon/Bovv8+lrKWhViroz6ZWBiuVIKM0SWuSWukwRpukoN2FXwXm8M49mBt4gZJ NygLvVcQy9xVkHHsLx1vxW1j0iSlECJkVPKCSHXjCCd86HJW3rswvdSJ0BqAbUJ97kwRkQQ6 d4xKi9YO3hvh8ruqF66Yuxlh8BmKMuyeY1G5SsmwjbeAvIrB5vERs0m5/cChGZ21p0IR66OI ZNGM1KDbzyYC/FLElwXCYkglfypgnT2dTFCpVO9qq8+4myVxwt0uFToGIuJI4DUH5wJ9qqej mSa023lHT89Df/Fwz/Z4kmenMyTrTyuDer+E5Xjq6cy3wzNroAJMzUdUkL+qv2kgGalStdHI goV/DAvpO487iSWosLVWhS5pDuAvEdZVYMPSas17waCzqeS6AGcboQZctJfQN0mtc0Kbj126 meYkoyuQhkxrJ+8S23Io994sgiOESQSKGYDYwoNQg0E/8TvrekPYvTnHocL/Emd3o2dJN3g/ w1muhTSkFn6sCLm/6Cy/FSChzD145aQEVRz6QLQUWaoqAh+YeZJhrBEC3CKsZ6sz67AETFtW UTofeDAsIji6rnTyESwrB0lRu3B2hp8GGS0baRTN5cg7S+x3HWoYJpd5jpzTG8wbZxfJ2GxO xKP5VoIjHO2AJdMRf8mC25WI5R6pZUM6fy/D5g4k/IXPcghKlDdpEmCm2bKhj68zxJEfV4D1 WezKpv1VSlLV8yLPRK5QOAS1bJjxyY1gwvuqWPTnnyaPU6lTCfNE98taQPQBshgtf/siFuPr 753aZDRoz0BC72WX8Ui2dRMRbz8BSNrW86eRg0+XrLrHzeK70l4V6+In+J8Itw990mX/8+Rl kyAtoZj4AKXrRX6xc+iMxiPsZu2Bc0n/0EodzchJ0ip0HUFaIOipvVXPZgucLVtsKQpwfdoR rNXM4+NE9ZeeAThoj49VJjaqJA9VRKJgQnVATGpTgJidLFdRivI2OTeQC3RyAc0ABGaj/AO+ 4+b6luDQL4oZRhTM8LNWff+k3KzpSc8ncxxbWvpI/5SWkPmz6ZyIQesjPVte8AoAjfAzwu8y Ay5L0o5p+7Mgolt6/jPp/mOgLmIGttEPHhxPjfk/5fvEgLF7E+P/JRmbN+YWRz8CEbl57SEZ 8hO6vP3bc08g1dBtrRjH4ZRza4R48Xlo5lYxF9GGErnQkuKCLRyBGuvxuhK67Nww4FGtTuMW k6g/sdQPZOLMpjHFH8TPA8UUfSR58oLmzX97eUHH2ui3XVZpIG4aER1OwWArAd/L7EvaYMs/ roHif4ssge6jkInD8aCgiVq7F+zF30nUZg8l5QkEYTu2xsKyFZDXMTmMRXIwqqzMvdCDkp7B QWvpvvmp69dzU/8YXYMBSDz/e5Ct68v5jFO7nE/fmqspPSUp8UKzCVw8Cs2RDt71h9o8fx+E Uk1OlxXJZehxSZJhs9CVV+CAwtqXQaQ+GHt+Vkkz0jYEk+iDD3LJkIAJNfXrVw48n1dTBdf7 rq32Gboahe0XcDTjw8Ze19plOzndvN1rjb9ocGAG9+XOrULeh/nv/OeXnUJoB7ZHs8Bvk3Li u109uJWa6egFyovj4AkKoudj5I8dQulITFcfPRf4685J2HQVzWs0zyoKUrqWMdsJeTPwHCoG f5VOcNDeBSv5hmg9glBK/Y3HIZ1u/o16P4pWLDhfzcGuoTCiAtZisvb8yymiVI7R9lrr90GF brQUDC/CU2Vu2pfnj7cjctDO1fgW+I+Wi/H4LmX/tkKRrU5i8M9VWEp07CxgWeZDxs/wTKQo zH4RvH3y85M9N1SurXCQ4t/Aze6E9fRbNiz0RuSto1OZOzfMM2VuAIyrELmDjtsPrAQeopWk LiRgeHzx2fAmqg8aEHCupy7D6ISz96DbOlWFcPWLXdhgiqJXvH30SYD42yVLZ9okstXw8uaG y+UTdSWTsFMfftw31hXZDp6PzdHLp/of4HyoS+ZhNadOCg3iADoAouuyi70UDt9aCQNBazbN ib1nPSLvfVzs4VGAU4/NcFMWpNXDgfqZvo7SofXqzKdM2iPh2GCsJvEkT4Ly2nCKluAIfbAz aP1fDrMXzXsh/iQ1/BciZJ4gTMPBnUkgeUQQFMUy+Qrtx+EVlw5PcYvGrRYLKpLkx7C9oDyP xDMS2oANR/Tfxp5dTfE3dCyeTvHW8IvPI71KAV8qgnQI22zCZibCbRsyjZ47j0kMnH/xeWgM pcF9me2IhG1xYpzSP0O4uCgx91q3e7e2mlC7HWVfxYe2PrCKe5iOL1d8AtxuejvFsjMkADPJ zFwSzkbGge0Tkn+FcsmcHlQcP3cUPUD0B1wBRpjAv6G02lY8AGE4PL6MuD3lLYEaazm4ZYQE GjvSTLlD3++gxQuVGhAhz7tqaBxAPOPWMO9KccPgOHUc76YsgwaAi/JocbDoAzONuKS/5MxW wRAO0QDOXk=
- Ironport-hdrordr: A9a23:N/qRAahrsESFu8YUfR4LnIQoa3BQXtcji2hC6mlwRA09TyX4rb HIoB1/73XJYVkqKRIdcLy7WJVoIkm8yXcW2/hyAV7KZmCP01dAR7sSiLcKrQeQfxEWNdQw6U 6jScVD4RHLYmSSRPyV3DWF
- Ironport-phdr: A9a23:0usfIBFWkP5mzR+a1LcE6J1GfwBFhN3EVzX9CrIZgr5DOp6u447ld BSGo6k21BmQBduQtK4MotGVmp6jcFRD26rJiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wE ZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbAhFiiaxbalvI BmqrAjducsbjIR/Iast1xXFpWdFdOtRyW50P1yfmAry6Nmt95B56SRQvPwh989EUarkeqkzU KJVAjc7PW0r/cPnrRbMQxeB6XsaSWUWjwFHAxPZ4xHgX5f+qTX1u+xg0ySHJ8L2TLQ0WTO/7 6d3TRLjlSkKOyIl/GzRl8d/i79VoA+6pxxn3YHbfJ2VOvR5fqPYZ9waRGxBVdtVWyFOBo6wa o0CBPcDM+lFtYnwv1QBoxuwCwevGe3h1CNHi2Tq3aEmyektDR3K0BAiEt8IrX/arM/1NKAXU e2t0KTIyyjMb+lI1jf89YPFbBAhofCXXbltdsfe1UkvFwLejlWOs4PlJDKV1uATvGeB6epvS PivhHAmqwxqrTivw90jiojNho4P1l/E8iB5zZ8zKNalR0F1fcSqH4FMtyGGKYR2WMUiTnl0t Com17EKpYO3cTYUxZk62xLRa+GKfoyM7x/9SOucICl1in1hdbywmxq/80atxvDzWMSozVtEo CpLn9nQun0M0RHY98aJSvx4/ki72DaP0Rje6vpcIUAwj6XbMJ4hzaI3lpoVq0jDGTX2mErug K+NckUr5PSn6+PhYrXovJOcMJV0ig7mPqQgncy/G+E4MhMUU2iU/eSzyrvu9lD6TrVSlvA6j LXVvZTAKckYpqO1GRFZ3pog5hqlEjur0soUkH8aJ19bfBKHkpPpO03QL/DiEPm/glWtnylzy vzaOLDqH4/DIWLZkLj7eLZw805cxxQ3zdBY/59UD6sOIPP3WkPosNzYDAI1PxW6w+r6Cthxy JkSWW2IAq+eP6PStUGH6vgzLOmLYY8ZoDf9K/476P7ylXI1h0MRcK2z0ZYUaH20BOpqL1mab Hb2n9sME3kGshI7TOPwiV2CVTBTZ2y1X6I5/jw0FIKmDYbYRoCzmrOBxya7HplIaW9cDFCDD G3oeJuFW/oXZyKSJ9Vukj0AVbS7V4Ah0hSuuBf8y7V8NuXU4DEXtYr/1Nhp4O3ejQw++SRuD 8uBy2GNU310nmQQSjAq26B/uFVxxUuH0ahlmPNVDsdT5vNMUgciL5HQ1e16C9boWgLAZNiFU limQs/1SQ02G9k22poFZ1t3M9SklBHKmSSwUJEPkLneLZo46K/dl1PxJt01n33G1bI/hkInR sZGM2G8i69X+A3aBoqPmEKcwfX5PZ8A1TLAoT/QhVGFu1tVBVIhOU2kdXUWZ0+N6M/8+luHV Li2T7IuLgpGz8eGbKpMcNzgy1tcF7/4INqLRWW3li+rAAqQgKuWZd/he2QGwizGCUwJmgYf5 3uHHQc7Dyal5WnZCW8mDkrhNnvl6vI2s3anVgkxxgCOYVdm0u+++h8Om/WHSvce17QIoiogg zpxFVe5mdnRDonIvBJvKYNbZ951+1JbzSTZugh6a4SnNLxnj0UCfh5fukrv01BzCNwFn5F19 jUlyw19La/e21REH9+B9bb3PLCfamz7/RT0LrXTxkmby9GOvKEG9PU/rVzn+gCvDEsrtXt9g ZFT1DOH65PGARB3M9q5W1sr9xV8u7DRYzUsr4LS23p2NKCoszjEk9s3Deohwxykcp9RKqSBX AP1FsQbAYCpJolI0xCibhMfIulJ9ao5NsWqbfaH8KGuNedk2jmhiCUP4Yxw1F6N6zspUvTBj PNni7mT2gqKUSu5jU/06Jim39AZI2tKTizmlnK3YewZLrd/dosKF2q0dsi+x9ElwoXoR2Yd7 1m7QVUPxM6ufxOWKV37xwxZk0oN8hnF0WO1ySJ5lzYxo++RxivLlq7pdBscJGdQRW1vhFHgO 4W1p98fVUmsKQMukVH2gCSyj7gev6l5I2TJFA1DfyntMWh5U6+9v7yOecNOwJwtuCRTFu+7Z BrJL9y16wtf2CTlEWxEwTk9fDz/oZT1kStxj2eFJWpypn7UES1p7S/W/8eUBftY3z5dATJ9l SGSHV+ked+g4dSTkZ7H9OG4TWOoEJNJI2HnyoaJtS3z4mMPY1X3lPCygcPuCgk+3Cb928NnV A3HqR/9Zs/g0KHyPe98f0ZuDUPx8IIgQtA4wtZ23slAnyFF3N2c5h9l2S/rPM9e2L7iYXZFX jMNz9PPoUDk1EBlMnOV1tf8X3SZzNFmYorfACte0SY84sZWTaaMueYczG0l/xzi9VKXOKcnz VJ/gbM05XUXgv8Eol8oxySZWfUJGFVAeDfrj1KO5sy/q6NeYCCud6Kx3Qxwh4PEbvnKrwdCV XL+YppnEzV365A1O1LNy2P68YDgddDWYcgetzWblh7Bi65eL5d7xZ9ozWJ3fHnwu3Eo0btxh hxvxo+zp4mDJmxr8Li0AzZXMzT0Y4UY/TSn3sM81o6GmouoGJtmADACWpDlGOmpHDwlvvPiL w+SETc4pyTTCf/FEASY8ksjs2PXHsXhKSSMPHdAh4YHJlHVNAlFjQsTRjl/gpMpClXg2pn6a EkgrjEJugyj910Vm7oubUWgFD+Y/lvgay9oGsbDakANtUcbuR+TaYvHv4cRV2lZ5sHz8lLLc zTBIVwOVSZTAgSFHwyxYOfov4WRtbjAQLL5daOGYK3S+7MEEa7Ug8v+iM0+uG/cU6fHdnh6U 69khgwaBy0/Q4KB3GxRAy0Py3CUN57d/UjjvH0x9oflqbzqQF69vNTUTeIDbZM3vUjx2PnmV abYhT4le2wAh9VcmDmRkuhZhBlL1Glvb2X/S+1e83OdCvuBwOkPSEdKIyJraJkStvx6hFIcf 5WBzIuyj+8d7LZ9HV5BURaJdtiBQ8sMLin9MVrGAB3OL7GaPXjQxNmxZ6qgSLpWheESthuqu D/dHVWxdjKE3yLkURyiK4QuxGmSIQBetYehcx1sFXmrTdTobQe+OcN2ijt+yKM9h3fDP2oRe TZmdEYForqV5CJeyvJxfg4JpmJiNvWBkj2F4vPwL58Xtb5vAH0xmbsFujI1zLxa6CwCT/tw2 WPTotNov1C6g7yPxz5gA38s4n5AgIOGu1knOL2MrMERHyaZukhVvSPJVE5ZwrktQsfisK1R1 NXVwaf6KTMZtsnR4dNZHM/MbsSOLHsmNxPtXj/SFgoMCzCxZgS9zwRQlu+f8nqNo900sJ/pz dAFSr5ASlUuF/cXA0JpBtEDCJhyVzIg17WciYRbgBj25AmUX8hcsp3dA7iKBu7zLT+CkbReT x4BwLe9KYZKc4OihBYkZV59k4DHXUHXWJoex08pJh9xq0JL/n9kS2Q10E+wcQKh7kgYEvusl wI3gA9zCQzI3Djp6lYzYFHNoXlo+KHesdrgiDGVNjX2KfXpNWm3Iy/9tkx0NpGiBggsMlf0k ktjOzPJAblWiuk4HV0=
- Ironport-sdr: 66be118c_PSxa/4VsPIythYG9LPeWeDiylsq+S9W6EwCO4eALgfKMmNy bIJWn0A9sXoesxmJQcszfLM9UJgQZMQxK+coCOQ==
17th ACM SIGPLAN International Conference on Software Language
Engineering (SLE 2024)
October 20-21, 2024
Pasadena, California, United States
---------------------------
As part of the artifact evaluation process of SLE 2024, we are looking
for additional members. If you know candidates that might be
interested in being part of the Artifact Evaluation Committee, please
nominate them.
https://2024.splashcon.org/track/sle-2024#Artifact-Evaluation
http://www.sleconf.org/2024/ArtifactEvaluation
We organize nominations using the following Google form.
https://forms.gle/p3eB3572rQi7WdHYA
We prioritize nominations done until the 31st of August.
For additional information, clarification, or answers to questions,
please get in touch with the artifact evaluation co-chairs.
---------------------------
- [Coq-Club] Call for Nominations: SLE 2024 - Artifact Evaluation Committee, Nominations Wanted, Andrei Chis, 08/15/2024
Archive powered by MHonArc 2.6.19+.