coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] Call for Nominations: SLE 2025 - 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 2025 - Artifact Evaluation Committee, Nominations Wanted
- Date: Thu, 27 Mar 2025 23:46:16 +0100
- Authentication-results: mail2-smtp-roc.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-f179.google.com
- Ironport-data: A9a23:D5h2h6t9C7zCPcMNwEosW30fQOfnVONaMUV32f8akzHdYApBsoF/q tZmKWDXPv7YNGT3KIt/bYm+90kHvJfdyoc2SFZvrH0yFX5EgMeUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOgTrSCYEidfCc8IA85kxVvhuUltYBhhNm9Emult Mj7yyHlEAbNNwVcbCRNt8pvlDs15K6v4GhC4QRiDRx2lAa2e0c9XMp3yZ6ZdCOQrrl8RoaSW +vFxbelyWLVlz9F5gSNz94X2mVTKlLjFVDmZkh+A8BOsTAezsAG6ZvXAdJHAathZ5plqPgqo DlFncTYpQ7EpcQgksxFO/VTO3kW0aGrZNYriJVw2CCe5xSuTpfi/xlhJE8tG9cC4fl1OGZH3 /sbAiIHUg27tdvjldpXSsE07igiBMziPYdavnM5iD+AUqdgTpfETKHHo9Rf2V/chOgURaeYN 5dfM2I/Kk2fMnWjOX9PYH46tOyoh2LheiZZrF+co6Yt7mn7wwl40byrO93QEjCPbZ8Mwx/H+ zuWrgwVBDk+DO6v0hO78UusqeH+mB3CYos/EoC3o6sCbFq7nTFKUEJHCzNXu8KRgUmnHtlbN kY84TsrtaF09UqxT9C7UQfQnZKflhsVWt4VF+9jrQ/UlfuS7AGeCWwJCDVGbbTKqfPaWxQkz XnThcj2BwVouZeSSliP/IuJlQGLbH19wXA5WQcISg4M4t/GqY41jw7SQtsLLEJTpo2kcd0X6 2DaxBXSl4kuYdg3O7JXFG0rbhqpr5nNCwo3v0DZBz30qAx+Y4Ghasqj7l2zARd8wGSxHwDpU Jsswpf2AAUy4XelynblrAIlQuvB2hp9GGeA6WOD5rF4n9hXx1atfJpL/BZ1L1pzP8APdFfBO RCP4lsIv88CbSryPMebhr5d7ex6nMAM8vy1BpjpgiZmPsAZmPKvpXE+OhbPjzyFfLYEy/Fja MbEGSpTMZrqIf86lWLpFrl1PU4DySc5ymfeDZH9xFLP7FZtTC/9dFvxC3PXNrpRxPrc/m39q o8DX+PUkUk3eLOlOUH/r9VDRW3m2FBhWfgaXeQNK7bbemKL2QgJV5fs/F/WU9c4zvwLyrmYp BlQmCZwkTLCuJEOEi3SAlgLVV8ldc8XQasTZHR3YQSbyDI4bJyx7awSUZIycPN1vKZg1PN4B b1NMcmJHv0FGHyN9iU/fKvNitVoVC2qogaSYAujQjw0JKB7SyLzp9TLQwrI9Qs1NBSRi/cQm bOb+z3+fYsiXCVnVcbfV+KuxQi+vF8bg+NDYHHLKdhyJmTpqYhjFDPthNAwM+UzGAXl1DiH5 VzHHyVCte3ppqkr+uLonoGBlZ+iSMFlL3pZHk7azLe4Djbb9Wyd2r19UP6EUDTedWHs8oCwT L9x48CnFcYYjXB2s4ZYOJR6/5IUvtfAiedT8VV5IS/tcV+uNIJFHlCH+st+7ot22b5TvFqNa HKlo9V1F+2AB5L4LQQ3OgEgU+Wk0MMUkBn06dAeAh3zxA1zzYq9fXRiBTu+ow0DE+ItK6Ig+ /krh+AO4Q/mihYKDMePvhoJy0uydE4/Q4cVnbBEJrT0izgb6EBIOr3dLS7U3KuhSftxNmsSH zvFo5aa2pp9wBLZfmsRBEr9+7NXpa4ztSBgyH4AIFW0meT5uMIn4S0JzxMJSlV68xYW9cNyJ WlhCGNtL4qs4TpDpZZOTkKsKS57FTyb/U3DkQIJnVLGUnjyB3DsLXI8C8mJ7ks242JRRRkF3 bC6mULOcyfmQ9H15QQ2AXVakv3EScdg0DHNg+W1Np2hM6RiRAH6k4iCQHEtqSr3Je8Q32r5/ fJL+sR0Yo3FbR8gmbUxUdSm5O5BWSK6K3xnatA/2bECAkX3Wiy4gBqKIGCPIvJ9HeTAqxKEO pY/N/B0dkqM0QiVpWomHo8KGbh/mcAp6Pcker/GIW0nsaOVngF2saD/pzTPu2s2f+pAycoNC JvdVzanIFyigXF5n2zsrs4dHkGaZdICRhP33cHr0eEvOq8AjtpRchAJ4uPph0mWDQppxALLn QXhY6SN8fdu574xlKTRE4JCJT6OF/XNaMqy/jueie9+NeH0DZ+Wtic+iEXWAABNDL5AB/V1j eustfD07mPkvZE3cWbTpLeZHYIU58/oBOtzGeD0JUl8giGtdpLN4RwC2mbgMr1PsopXyfeGT juCSvmbVIAqSfYE41ZKeQ1yLg07N53nSovB+QassOWqCDUG9A7MceOc6n7iaF9Eeh8yO5HRD hH+v9Cs7It6qLtgKQAlBfZ0JY1RO37mBLUbcuPuuQmiDmWHhk2Ivp3gn0EC7RDJEny1L9bo0 6naRxTRdAWAh4+Q9Yt367dNhxwwCGpxpcISfUhHot5/tG2cPV48dO8YNc0LN4FQninMz6rHX TDqblY5KCDDTD9BIATd4tPiY1+lPdYwGOzFfx4nw0DFTB2NJtKwMOM0vGMoqXJ7YSDqw+ybO MkTsC+4dAS4xpZyA/0f/LqniONg3enX3W8M5Vu7qcHpHhICGv8f4RSNxuaWufDvSKkhVXknJ FTZgUhBSUC/DErzSINuIiEEXh4euzzrwnMjaiLnLBMzfWmE5LUo9RE9E7ibPn4/gAAiK7sHR HexTGyIi4xT8mJGorMn4rrFnoctYc9m3aGGwGvLSggbnqX24WMiVy/HcezjU+l6kDNi/5jhe vVALpTw6Ilp6Kyc5VFO9Tg0xg==
- Ironport-hdrordr: A9a23:Sukvi6yr4RDP7LAaAvsCKrPwD71zdoMgy1knxilNoHtuA7Slfq GV7Y0mPHrP4gr5N0tQ++xoVJPwIk80lqQU3WByB8bHYOCOggLBR72KhrGSpAEIdReOkNJ15O NPd+xQBNXsEUN3l6/BkWyFOudl7t3C3q7Av4jjJrRWIT2CqZsM0+60MGim+4RNJTV7OQ==
- Ironport-phdr: A9a23:VS7bcx1Ap01DusZ8smDOnw0yDhhOgF0UFjAc5pdvsb9SaKPrp82kY BeFo601xwaXDNuAo9t/yMPo8InYGlY8qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpV O5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1Ov71GonPhMiryuy+4ZLebgtWiDanfb9+M Bq6oRjQu8QSgIZvJLs6xwfUrHdPZ+lZymRkKE6JkRr7+sm+4oNo/T5Ku/Im+c5AUKH6cLo9Q LdFEjkoMH076dPyuxXbQgSB+nUTUmMNkhpVGAfF9w31Xo3wsiThqOVw3jSRMNDsQrA1XTSi6 LprSAPthSwaOTM17H3bh8pth61cvRyhugd/w5bKb46JKPpwcKTdfdYASmpAWMZaSihND4y4Y ocKCecKIORWoJTnp1YWohSwBQeiCuDyxDFWmnD40rY30/g4EQzcwAAsA84CvXbSod7oNKkSS +e1zKzQwDjfafNZxC3955bJchs8v/yMXbNwcdHMwkQoCwzFjlSQqZf7PzyPzeQNsmyb4PR6W uKplmEnsR9+ojm0y8cjj4nGnIMVylTe+Splx4Y1IMS1RUhmatGrDJVerTuVN5dqQsw8WWFov j43x74It5O0YiUG1YkqyhzeZvGafYaG7BztWuafLztlmH9oer2xiwqy/Eag1uHxVca53lhWo idYj9XBtnAD2wLX58WBV/Bz8ECh2TOV2ADS7OFJOVo0mrTAK5E/2LEwjIYcsUTZHiPsn0X2l qCWel0/+uis9evofrLmppmSN4NujQH+KKsultSwAOgiLgcOWG2b9fyz1L3k+k35T7FKgeMsn qbFt5DaIMIWrbO6DQ9Nyosv9QqzAjO83NkbnXQLNkxJdA6EgoTzJl3DIvT1APGiiFmylDdr2 uvGPqH/DZXXM3bDkbbgcqhl5kJAzgc40MpR6IhOCr4bJfL+Qk/xu8LcDh8+KwG0xvzoCNR51 o8HXWKPALKVPLrcsVOV5O8iJ/OAZIASuDb6JPgl4+DhgWUlll8aeKmlxZoXaHamEfR6O0iVf 2bgj9MbHWoJvgcyVvLmhEGBXDJJenq/XaYx6ik+CI28DIfDQo6tgKaG3Ce+BpBZemBGClGXE Xf2bYqEQPYMaCaMLcB7lDwLSKKhRJEg1Ry1uw/6zqBoLuvQ+iECqZ3j09116/XVlR4p7TN0F diS03mRT2FomWMFXyI60LhloUNh0leDzbR4g/tAGNNP4PNJSx42OoLYz+xnEN//QRnBf9eMS Fa+WNqqGzAxTtQrw98PeUlxAduijgqQlxatVrQSjvmAAIE+2qPaxXn4YchnmFjc06x0pl8qW MZOfUamh7U3owPTBpXXml6Yk6ujc6gG0S/l+2KKzG7It0ZdBl0jGZ7ZVGwSMxOF5e/y4VnPG uP/YVxGGg5IyMrYb7BPdsWsl1JNAvHqJNXZZWu13Wa2HxeBgL2WP8LxY2tI+iLbBQAflhwLu 26cPF01Bia6vWvFDThjHFTjeU7t2eZ7oXK/CEQzylLCdFVvgoK84QVdnvmAU7UW17MAtj0mr mB/HFemwdvNCt6NrgxtZqhdSdw46VZDk2nesl81JYSueoZlgFNWaAFrpwXu2hFwX51HitQvp Wg2wRBaLKuZ1BZFdWrd08mva/vYLW79+B3pYKnTsr3H+PCR/KpHqPExqlG5+RqsClJn6XJsl d9cz3qb4JzOSgsUS5P4FEgtpVB8oPnBby8x6pmxtzUkOLSosjLEx9MiBfc0ghemcdBFNaqYF Qj0W8QEDsmqIeYulhCndBUBdOxV8ac1OYuheZ7kkOagPOd7gju9jGBK6YZxyE+N3yV5Q+/Mm Z0CxrDQ3weKUSv9kEb0qtr+yuUmLXkZGmuyzzShBZYEPPUjO9ZWTz32c4vumYQt4vylE2RV/ 1OiGV4cjcqgeB7IKkf4wRUVz0Mc53quhSq/yTVw1TAvtKuWmiLUkIGAPFIKPHBGQG56gBLiO 4+x2poRXEmzcQEylR+o7ED23aVajKt6JmjXB0xPemKlSgMqGrv1rbeEb8NVvdkjsSRMTu2nY FSXQ7jxuRYb+yzmFmpagjs8cnv53/ex1ww/g2WbInFpqXPfcswl3hbT6uvXQvtJ1yYHTi114 dXOLmC1JMLhvdCdlpOZ9/u7S3rkTJpYNy/i0YKHsiK/o2xsGxy22f6pyJXrFg0z0Cmz0NcPN 22Apxb9eZfizKW+POthclNlBXfz7sN7Hsd1lY54iJwL2Hccj4mY5jJdyTa1YYgdg/quKiNSF HYC2Lu3qED91VdmL26Vyo6xTXibzsZ7JpG7bm4QxiMh/pVPAaaQ4qZDmHgQwBLwpgbQbP5h2 zYFnKF2uThK3qdT4Fprl3rMUdVwVQFCMCfhlgqF9YW7paRTPiO0dKSokVB5lpanBa2DpQdVX DD4fI0jFGl+9JYaUhqE3Xvt54XjYNSVY8gUs0jemBfBlPZcM5M1m/MMiTBqOEryuHQkz6gwi hkkjvTY9MCXbn5g+q60GEsSPT30fN0a4TDpgK9Yktyb3qigG5xgHnMAW56iHpfKWHoC8P/gM QiJCjg1rHyWTKHeEQGo40Bjt3vTEpqvOiLfNDwDwN5lXhXYOF1HjVVeQmAhhpBgXFPPpoSpY AJj6zsW/FK9thZc1rciKUzkSmmG7AawNmVvFd7GfUIQtF0doR+Sa5DW7/ovTX8EuMf690rUd DTdP0MRXARrEgSFHwyxYOfovIGatbDeXq3kd7PPeenc97IYDavZg8L3lNMhpW7EN93TbCY4S aRnnBMSBzYhXJ2J/ldHAy0Py3CSM4jC/kr6omsv6ZnhuPXzBFC2vdvJUuQNd4Upo1fs2O+CL 7LC3Xkib28JitVUgyePkeZ6vhZaijkyJWP1QPJQ6GiUFvKWwugOUFYac38hbpIWqf9smFAcY 4iDzYqknr9g0qxvUgkDDwew3JrzI5RNejDYVhuPEk+PMP7uySTj5cbxbOv8TLRRiL8RrBiso XOBFESlOD2flj7vXhTpMOdWjSjdMgYM8Ie6Og1gD2TuVreEIlWyLcN3gDsqwLY1mmKCNGgSN iJ5el9MqbvY5D1Rg/F2EWhMpnR/KuzMlyGc5ujeYpEY1JkjSjxzjP5f6W8mxqF96ShFQLlxm nKXoIcx8heple6AzjchWx1L635KiI+NoUR+KPDZ+51HChOmtFoG6WSdDQhPpsMwUIW+/fANj IKXxOSqd2YRlrCctdERDMXVNs+dZX8oMB6zXSXREBNAVzmgc2fWm01alviWsHyTtJkz7Jb2y /9sAvdWUkI4EvQCBwFrBtsHdd18XjI/j7eAjcoF7HyythTQbMpft5HDEPmVBL+8TVTRxakBf BYOzb7ieM4LMZbn3kV5dlRgtIHDGk6VWdIU5yM4MV5yr0JK/3xzCGY03gi2D2HlqG9WHvmyk BksjwJ4aul47zbg7WA8IV/SrTcxmk088T0AqT+UeT/1aqy3WNMOY8Ibn0c0O5L/BQ1yaF/r9 aSFHDLNRrYUi7k5MG4y116atpxIFvpRC6ZDZU1Ircw=
- Ironport-sdr: 67e5d548_G+hytVKCH4ZWFJvWzeA/uHcTNIO6drVRjaufnIBU6q21yiL DbPWfAgnq3R38bQjYcTvXcg+MAW74Pdvhw9MsFQ==
18th ACM SIGPLAN International Conference on Software Language
Engineering (SLE 2025)
12-13 June 2025
Koblenz, Germany
https://conf.researchr.org/home/sle-2025
https://www.sleconf.org/2025/
https://x.com/sleconf
------------------------------------------------------------------------
The SLE 2025 Artifact Evaluation Committee (AEC) is looking for
nominations and self-nominations for committee members. If you are a
PhD student, postdoctoral researcher, associate, or professor working
in software language engineering, we encourage you to apply. Serving
on the AEC is an excellent opportunity to contribute to the community
and gain valuable experience in artifact evaluation.
--------------------------------------
Important Dates (All deadlines are AoE)
--------------------------------------
Artifact submission deadline: April 23, 2025
Artifact bidding: April 24–26, 2025
Camera-ready deadline for SLE papers: May 1, 2025
Kick-the-tires review deadline & rebuttal phase: May 2, 2025
Final review deadline: May 24, 2025
Artifact discussion: May 25–31, 2025
Artifact notification: June 1, 2025
------------------------------------------------------------------------
To nominate yourself or someone else, please complete the following
form by April 6, 2025
Form:
https://docs.google.com/forms/d/15Q-9i1tCwHzrtdtRqfJbWqZs4hV7DnJfwBSZuop75bw/viewform?edit_requested=true
For any questions, please do not hesitate to contact us.
SLE 2025 Artifact Evaluation Co-Chairs,
Idriss Riouak and Jeff Smits
Idriss Riouak: idriss.riouak AT cs.lth.se
Jeff Smits: j.smits-1 AT tudelft.nl
- [Coq-Club] Call for Nominations: SLE 2025 - Artifact Evaluation Committee, Nominations Wanted, Andrei Chis, 03/27/2025
Archive powered by MHonArc 2.6.19+.