coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] LMW@LICS and ICALP '24 - Call for participation and scholarship applications

From: Marie Kerjean <marie.kerjean AT lipn.univ-paris13.fr>
To: "categories AT mta.ca" <categories AT mta.ca>, "GAMES AT lists.rwth-aachen.de" <GAMES AT lists.rwth-aachen.de>, "theorem-provers AT ai.mit.edu" <theorem-provers AT ai.mit.edu>, "concurrency AT listserver.tue.nl" <concurrency AT listserver.tue.nl>, "finite-model-theory AT lists.rwth-aachen.de" <finite-model-theory AT lists.rwth-aachen.de>, "asl AT vassar.edu" <asl AT vassar.edu>, "agda AT lists.chalmers.se" <agda AT lists.chalmers.se>, "appsem AT lists.tcs.ifi.lmu.de" <appsem AT lists.tcs.ifi.lmu.de>, "lfcs-interest AT inf.ed.ac.uk" <lfcs-interest AT inf.ed.ac.uk>, "cade AT itu.dk" <cade AT itu.dk>, "prog-lang AT diku.dk" <prog-lang AT diku.dk>, "linear AT cs.stanford.edu" <linear AT cs.stanford.edu>, "DMANET AT zpr.uni-koeln.de" <DMANET AT zpr.uni-koeln.de>, "fom AT cs.nyu.edu" <fom AT cs.nyu.edu>, "homotopytypetheory AT googlegroups.com" <homotopytypetheory AT googlegroups.com>, "rewriting AT ens-lyon.fr" <rewriting AT ens-lyon.fr>, "types-announce AT lists.seas.upenn.edu" <types-announce AT lists.seas.upenn.edu>, "coq-club AT inria.fr" <coq-club AT inria.fr>, "agda AT lists.chalmers.se" <agda AT lists.chalmers.se>, "ProofTheory AT lists.bath.ac.uk" <ProofTheory AT Lists.Bath.Ac.UK>
Subject: [Coq-Club] LMW@LICS and ICALP '24 - Call for participation and scholarship applications
Date: Tue, 16 Apr 2024 20:20:44 +0200
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=marie.kerjean AT lipn.univ-paris13.fr; spf=Pass smtp.mailfrom=marie.kerjean AT lipn.univ-paris13.fr; spf=None smtp.helo=postmaster AT mail.lipn.univ-paris13.fr
Ironport-data: A9a23:T7tMQa88U0l1XcHiyJWNDrUDIXqTJUtcMsCJ2f8bNWPcYEJGY0x3n GtNUTjXP/yMYzb2c9kiOYqz8RkCuMPdzdNjHQtqrXhEQiMRo6IpJ/zJdxaqZ3v6wu7rFR88s Z1GMrEsCOhuExcwcz/0auCJQUFUjP3OHPymYAL9EngZbRd+Tys8gg5Ulec8g4p56fC0GArlV ena+qUzA3f7nWYrWo4ow/jb8k834K2s4GlwUmEWPJingneOzxH5M7pEfcldH1OgKqFIE+izQ fr0zb3R1gs1KD9wYj8Nuu+TnnwiGtY+DyDW4pZlc/TKbix5m8AH+v1T2Mzwxqtgo27hc9hZk L2hvHErIOsjFvWkdO81C3G0H8ziVEHvFXCuzXWX6KSuI0P6n3TE4KteFVBmIMok1MVWWGN08 aQ8LCpKcUXW7w626OrTpuhEg80iKI/vPZsZ/GxmzC+cFf88QIuaGOPE/7e03h9p15wIR6uCI ZNHMnw2MXwsYDUXUrsTIJc3hualwHryaT9VoVS9oasv5S7Oyg1vlaDkKtvOI4fMS989ckOw9 j6XrzijWUBy2Nq35gDC13SSps7zwC79cqwRNO21reZwjwjGroAUIERKBArk8abRZlSFc9lYM gkf/jckhbMj8VSiCNj7RRyx5nCe1iPwQPJfDKs+6RmLjLfS4hjcHmEeTyUYM5oorqfaWADGy HeqwePwFGxy94G7alPE9I2Q9Re2I28KeDpqiTA/cSMJ5NzqoYcWhx3JT8p+HKPdsjETMWqoq 9xthHRm74j/nfI2O7OHEUfvrQjEm3QkZgEqoAHWRmTj8wV4esu9bpap8gGAq/haRGp4crVjl CVV8yR9xLlQZX1oqMBqaL9XdIxFH97fbFXhbadHRvHNDQiF9X+5Zpx36zpjPkpvOctsUWa2O RSJ4V4AtcIJZiPCgUpLj2SZVZxCIU/ISISNaxwoRoEQOvCdiSfepHwwOhDAt4wTuBJywPpX1 WinnTaEVCpLWPs3k1Jats8H3Lki2i0krV4/trilpylLJYG2PSbPIZ9caQPmRrlgvMu5TPD9r o832z2ikE4EDoUTo0D/rOYuELz9BSJgWMiu9pQMLL7rz8gPMDhJNsI9CIgJI+RN95m5XM+Sl p1kchYAkQqttm6NMgiQdHFoZZXmWJs1/zpxPjUhMRzskzIvaJqmpvVXPZYmX6gVxMo6x95NT t4BZ5qhBNZLQW/54DgzV8T2g7FjUxWJvjiwGRSZTgIxRLNeYjDY28TFe1Lv/RYeDyDsusoZp aah5zzhQpECZlpDCZ/WYc2w0lmeuWcXmb8rVU7MeP1jUkXn9Yx4DhDUk80xAsAoAjfAzwu8y Ay5L0o5p+7Mgolt6/jPp/mOgLmIGttEPHhxPjfk/5OpEwLF70yfwYNke8SZTwD3DW/b1v2rW rRI8qvaLvYComdvj6N9NLRalYQF+Nrlou5h/DRORXnkQQyiNeJ9HyOgw8JKi6xqw41ZsyuQX mak2IFTGZeNCfPfPG8hHigXRcXd6qhMgRjX1+o/H2vi7iwu/Lanb1RbDyPRtANjdolKIKEX6 sZ/nvUJ6j6PqAsgafeHqSF2y16iDFI9V4cfi5VLJ7Oz1yQKzAlZbI3+Gx3GxsiFS+9xP3kAJ h6Wg6v/hIpg+HfSTkprK1/z2btyuJdfnjFL014IGHqRkPXnmPIc/UNc4BY3fCtv3zRF1ON5F Wx0PUwofK+L+21MtOJDVGWoCSR9IQCr/G3w73Arl2TpaVaieUKQDW86OMeLpFs49UAFdBdl3 bio8kTXehe0Q9PUwQ0ZRl9Dl/zvafdT5z/yspmrMOrdFqZrfAe/pLGlYFQ5jifOAOQztRXhn vZr9uMhUp/LH3ccjINjArbLyIlKbg6PIVFDZvRT/KkpO2X4UxPq0BisL3GBQO98F8bow2SZV fM3ftluUi6g3hmgtjoYXK4AA4Fllc4TueYtROnZGn4kgZC+8BxSr5PixgrvjjQKQvJvs/oHB KH/SjagKlGU1FxowzLjjc8cIWepQ8g2VCul1sCPzeg5PZYisuZtTEIM7oWJr0ilaAtKwhbFk z7ANon3zvNjw7tCh4HDMLtOLCTqJMLRVNanyhGSsdNPZ/zLLs3P6lofr129GzR8PbAUX8ZSq ZGQgtjW3WfunrU/Y0bGkbavSohL4sSTWrJME8TVdXN1owqLaPXO0TAipV+qDINvu8xMwPWnS y+TStqCRfRMV/hznHRqOjVjSTADAKHJX4LcjCKarcXULCMC0AbCfeiVxVWwYU51LiY3aoDDU CnqsPOT5/ddnoRGJDkAI9pEW5ZYAlvSaZEKRu3LlwuzLzeX2wuZm77YixAfxynBCSCEHObE8 Jv1fEXCWyroip7Y7uNyktJUhQIWPkZfkONrX0M6+vxKsR6YIlMCD9wgNcQhNskJvA30jZ32X WSYJi9qQyDwRi9NfhjA8czuFFXXTPAHPtDiYCcl5QWIYiOxH5mNG6Zl6jwm2XptZz//16uyH LnyIJEr0sSZmfmFhNr/58BXRc9iz/LegHYJ4Ua7jsrzHVMGCK8LzyU6WgRXPcAC/wchi22TT VXZh0gdKK14daI1OcJhY3gTBRcYonb3xi8pdn7UhtjF02le5PMV0+XxYokfzZVaBPnn59cyq bffQ2qV5SaL3H0N/LMgodMy2PQyB+jj8g1W6kP8bVV6opxcIVjL8y/PceTjgS3iFMNi/4vhq wSR
Ironport-hdrordr: A9a23:at4Zj6gznSLWB1hUMkjtud50u3BQXlAji2hC6mlwRA09T+Wxi9 2plu8KzAKcskdzZJhSo7690c67MBfhHP9OkOws1NiZMTUO1FHIEGgA1+ffKl/bcREWn9Q1vc xdmsNFaOEYY2IK7/oSrDPWL/8QhPymyYftoe/fyk1mRQZsZ7oI1XYBNi+rVmhXfS4DIZI4Ea CX7s1BqyHlVm8Qaq2AdwE4dtmGgv3zs9bDaR4CPRQu7w6DlneJxdfBYn6l9yZbdhN35vMH+W jBqQbw4aKuqLWazRDbzGva8pRRn7Lau7x+7dK3+7MoFgk=
Ironport-phdr: A9a23:Zt0uXhIf1tSAhmO92NmcuIFrWUAX0o4c3iYr45Yqw4hDbr6kt8y7e hCFtLM00wGCA92TwskHotSVmpijY1BI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yN s1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgppPOT1HZPZg9iq2+yo9JDffQFFiCCgbb5wL Ri6ogTcutULioZ+N6g9zQfErXRPd+lK321kIk6dkQjh7cmq5p5j9CpQu/Ml98FeVKjxYro1Q 79FAjk4Km45/MLkuwXNQguJ/XscT34ZkgFUDAjf7RH1RYn+vy3nvedgwiaaPMn2TbcpWTS+6 qpgVRHlhDsbOzM/7WrYjdF+jL9AoBK5uRNw35LUbo+SNPp7ZKzdfNUaTndFUsteUyFNB4WxZ JYNAeUcJ+ZVt4rzqVUBohSwBQeiGf3hxSNHiHLtwa030P4sHR3a0AA+Hd8DtmnfotXvNKcVV OC41K7Gwi/Zb/NXxzj29Y3GfQ47ofGOQ71/a8zRwlQoGgPAlFqQs43lMC2P2uQOrWeb9ehgW vy1hG4hsAxxpjmvxt8qioXTm4IVzFHE9TtgzIYtP9K4Uk97YcW5HJZerS2aOZF2T9okTmp1t yk01qcItoSnfCgW1psn3RjfZuSbfoaI4B/uSemcLDR6iX54ZL+zmhK//Eyix+D+Vse5zVlHo ytYn9TOuX0ByhLd58mbRvZg4Eqs1jeC2x3c5O9KJ00/iKTVK5kkwrEql5oTt1zOHiD3mEXqj K+Wa14r9vKp6+Tgernmu5mcN45qig3nKqQhgNa/AeUjMgQTUWWX4+q81Kf78U34R7VFkuc6n bfHv53cOM8Vpba5DhdI3osn5BuzFSmq3dQXkHUdMV5IeRyKg5L0N1zOOPz1A/Wyj06xnDpp2 /zKJKDtDovCI3TZjbvsebBw4FNCxQo30NBf/I5UBa8bIPzuW0/wtcLXAwclPwGy3u3pEs9y1 pkEVmKKGqKZML3dsVuP5u83JumDfo4VuDLnJ/gh5v7ulXk5lUUAfamv3JsXdmm0Hux8LEWDY HrsmcoNHGkQsgowVuzmkFyCUThNaHauR68w+zU2BY28AYvdRo2gj6aN0Dq6E5BYfGxKF1CBH W/td4qeWvcMbCySItVmkjwBTbWhTpUu1QuvtADk0bZnLfTb+jcatZ39ztd14fbelRUz9TxsC cSRyXyNT2d1nmMWXjM2xLpwoVZ8yleYzKR1jeZUFdJJ5/9RVAc1LobTz/ZmBNDqRgLBYtCJR U67Ttm+GzE+Usoxw8MSY0Z6A9itkhfD3zOzD7AJk7yLGYc7/7nH33nxIsZ902zJ2LMgj1kgW MtPNHepirRx9wjJVMb1lBDTnK+2eKsbxi/A70+G0WPIt0gSGFp7WLnIUncFZ0bNhdHl7wXJR unqQf4IGy5s8uaGK7BWcZvzkklGAf7qM9TTZSS9li34UTmh4563RI7rYHkGmj/CFEhBmgkY/ XuAcwQzUGPp6X7eATt0GFeqe1nr7+Rks1uyTwkxzh3MYkF8nfLh5h4YguaRTrYLxLUatT06g zx1WlO8w5TbB8fW40Ird6Jaas4n+lpB3nPxsw1mIoetNb5vnBgCbgkxuUekn0F8DYNLjNIwo XUh3SJ2KLmEy15baT6Cm4ztN/vRLj+2tFqhaqjXxlyb1dGa96NK9PQ1rE/ylAWoDVY5tW94z 9kQ2nKX5pjMSgYfG9qlXEcx9gR34rTdbiQ5op/U2Hp2IIGwsyTewJQzG/cljx+pdNdSNuWIG Vm2W4cTHMyGNuUxgFGzKB8IIaoaoKcvO+u4fuCd0bTtMep9ynbux21I7IlV1kOX6zE6Qe7B2 5MI2erexQbNH2P1g1uomsT2gpxfIzoSF266xDL/QpVcMOk6N48TEXyjJuWzx85inNjxUGUe9 VCiQVcDxYmldFDaO1XlxRZd0GwToGe7gm2kxCcykj8o6K6awWrCzrKmPFADNGVQAWhkkVr2L JOop9EcUg6lY04gn1245gyyk6xVr786Lm/PTF1FZDTeLmdsFKa88LOJJdNMvtdg+y5eXOmUY EyHDLL+6VNO2CrvEkNf2C19ezL8/t2zhwZ9hyeZJXB8hHbYetw2yRSVrIjEX/lemz4PQiZQh TjUGx6wPI/ttZ+QlpHOu/qWXHnnTYFadyfs14/GuSemryU+BRy5kvmpstb8VxMm2Cn10MNmE yjEsUC4KsPH8o2cHN5PbFFyQkL66o95HYx6lM08idtYjVQ/r7O4wVIViX21LNNanKH5YX4LA zIGlZqdqgbi3WVoNTSP1p+/W3mAiIM1ad6/SmgNnCQs8oZHBLrCqPQOnSxwpUa/tRPNcOBwg jcQzuE/wHEdhO4NtQU3yTiFGfYZGkwSdXjskBGP89emvblGfGuzcbW3zltWktemA7WPrRtbR W7iPJwlGHk0po9lPU3W0WHy7I7Mdd/LKNYCsRvSnQ2Kx7xPJY0rl+YLgyVPNGTm+Hk0zOh9g wY4mdnwoJmfJn4o9aS/BQNePTDdY8II5iqrlqtXhYCLx42pGNNsFihBFM/0XOqlC3cbs/LgK gCFHRU4q2yHAvzEEAaErlp+onTJVZ2nKifTbDMSyswnTx2ALmRehhoVVXM0hNRxQgut3Ynqd FpzzjEX/F/x7BVWnKYgfRDwXm73oAazdixyQ5iWKB9b9BoE/EqfeZiX4e56NyVZ5YG66geNI 2ieah5TS3oEDAjMTWj5Ob6g2dnN9PKJLu6/NOfVJ7+HtewYXvzO2JHlmt9e5TGLOPmPM354H tUf21FfRjZTEtjZ3RwEDRE0wXHjdcme8TK14Cx65uOy6vbmUQSnsY6GEbpfd9Zi4RK7iKGrM ++IgmBkLzdGk4sF337TkeNZ0kRE2HImTCWkDblV7X2Fd6nXgKICU09zg0JbMcJJ6/l5xQxRI YvAjcuz0Ldkj/kzAlMDVFr7m8jva9ZZa3qlOgbhA0CGfK+DOSWN29v+NKa1U7xdyuZZrR+9s DCzF077OHKekTj3EgimK+BX1XrdMgYN8JqlfENVAHP4BMnjdgX9NdZ2iTMsxrhhg3rQNGNaM jVmcU5EqJWU7DtexOh5GnIE9nN/LPLdwGCX9bqQMY4Y5N1sBCk8jOdG+DI6xr9SuTlDX+Bwk TDOo8RGplinlq+LyyJhFgdIqygOnIuRvF47YuPX7PGsQF7i+xQApSWVAhUO/J5+D8H3/rtX0 p7Jnb7yLzFL95TV+9EdDo7aMpDPNn1pKhfvFDPOaWlNBTe2KWHSgVBcm/CO5zWUqJY9sJ3lh JsJTPdSSlU0EvoQDkktEsYFJd97WTYtkLjTi8BthzL2qRDLRcgcvZ3dVP+bB93rKS6fy6RCZ gVN2briLJ9Kbcv1wQ0qa1V3mpjLB1uFRcpE8UgDJkc/pERA9mQ7T3VmghO5LFnwvDlKS6Xyx 0Nl72k2Kf4g/zrt/Votc1/DpS9r1VI0hc2gmjeJNjj4MKa3W4hSTSvyrUk4dJ3hEGMXJUW/m 1JpMDDcSvdflbxlICpugRXdtN1MFOReQKRCSBsR3ffRevMpzxFEoz+m3hYco+XfQ8gH9kNiY du3onRM1hg2Jts8P63dYqlE1Fpdj6Smui6w0KYsxg4AYl4E6mKJIXVOtlZCZdxEb2K4u+dr7 wKFgT5KfmMBAuErrvxd/UQ4I+2czijk3tavM2iJPveEZ+OcsmnEzouTR08ok1gPjw9D9KR31 sEqdwyVUVouxf2fDUZBOc3HIABTJ81ckRqbNSOHq+TAh5F4JYewH+bASe6WsuAJhEO6WR4gB YUXt59HEIPk3EzDLMjhJaII0l10tVitfgjZSq0XI1TSzVJl64m219dv0JNYJy0BDGk1Kiix6 rvN50crjPeFQNYqcyIfV4oAOGgxXZ7f+WYRtHBBAT+rl+MBnVHTs3mm+3iWVWenKYM+N5L2L Vt2Bdq7+Csy6f2zgF/TqdDFIn3icM9lopnJ4P8boJCOD7VVS6N8ugHSgdo9JTTiXmjRHNqyP 5W1ZZMraIm+D3+gU1H5iD8vTcr4Ov6pL7COxxzuRJgRqICB3St6bomzDHtNfnU47/FG/696a QAZNtA+aATpukI9Ora9LQ6e+tGvW2DrND1XUbxHxP+7fOUMiSQ2JLzfqjNoXtQxyO+59lQIT ZcBg0TFxPqtUIJZVDD6Bn1Xfwic7Tp8jWVqMfw+h/su2B6d+0dJKCiFLaY6DQ4M98F5H16ZJ m96T3Y1V0PJx5SW+RaihvgbrS5UntIS1exdtj7juJ7BJSqlQq2w8M6TvTBFD5Buqv9+LsrnI 9OA8o7YnyKaVJDKsxbcC2i0DbJbnNNUPS5VEuROmH9gIcUcuJEYsgw/TI9pLrhLQsHAv5iMb jxpRW4XxC4dDMab2SAax/y7w/3cnwuRd5IrNFoFto9Di50TSXw+ZCRWv6KlW4jM8g3MAmEWP Ace6xhN7wMch8dxeO7i+o/BUJ5LzXZfvft1ViLBEpQg+UH8Tymahl3xSfPplOLMv0oa1PX3z twSQwJyE2BYzudS0E8pMLcxNq8RoMvSuyWJbhqh+mz3iaOnKFRX1czIZgj4AY7C5g+eGmUX/ XwZQ5MKyWmKTMVO1VAkNOBy+g4Ked31HyS2ryYpzIloAbSiAMWixlJ+6G0DWz/vCN1ZTedvr FPQXjRhJZGtspTsfZtIEQoysNWQrUlUlEJ1Pmu3051ZfotI6yQNUX5MrC+fsdK0YMlCwckwE pkNPJJnsm38A/offpaL6S5T2PSn2jrC9jYwvU3vji20ALO9RvlF8nc2HwwoIyKaq1EpSfYq8 3mX6lnXs0stpKFVHPLc6Cc56CY4FZdICDFT0HmjJFkmV3hKvdJRL6HNetBdSf0/DfdOExk3F Ppg202R+wdpm3bnJjR7rApBonubURNmDUH9bZ/pmCUY7NyhOCFfU5tSbC54NGHLMVDC8ciyl BJec0csRpYYHJNd8qsaxtIPuMTYGx7EFA==
Ironport-sdr: 661ec186_K93ontQ/LDRqsWChMZgbU7c4ws6zXyiiTTqatoPDRNs4gW8 gKp+BGvxuDRZeSy6ph94qbtVfp2t8MKy0ue4/TQ==

LOGIC MENTORING WORKSHOP
Tallinn, Estonia
Sunday 9 July 2024

https://logic-mentoring-workshop.github.io/lics24/

Colocated with LICS and ICALP 2024

CALL FOR PARTICIPATION AND SCHOLARSHIP APPLICATIONS

The 11th Logic Mentoring Workshop (LMW) invites participation from students (undergraduate, master's and PhD), in all areas of logic for scholarships to attend the Logic in Computer Science (LICS) conference and the International Colloquium on Automata, Languages and Programming (ICALP) this year. Attending a conference such as ICALP and LICS can be a transformative experience. It exposes participants to cutting-edge research and can open up new research avenues and collaboration opportunities. Some scholarships will be generously funded by our sponsors (see below) and cover registration to ICALP or LICS, as well as the workshop, and possibly travel and accommodation. Due to the generous funding of the NSF, we will be able to fund several US students completely. Women and members of minority groups are especially encouraged to apply.

The LMW will focus on the technical and practical aspects of a career in logic research, including talks and a panel session from leaders in the subject. LMW'24 builds on a long tradition of LMW workshops held at LICS and CSL every year.

SCHOLARSHIP APPLICATIONS

Applications should be made via the online form:

https://lipn.univ-paris13.fr/limesurvey/index.php/886399?lang=en

The deadline for applications is *7 May 2024* AoE (anywhere on earth). Notification will be made before May 10th. This deadline is to allow students to register within the limit of early-bird registration which ends on 17 May.

WORKSHOP REGISTRATION

Registration will be done via the main conference site. See the ICALP/LICS/FSCD page : https://compose.ioc.ee/icalp2024/#registration

SPEAKERS : TBA

Following the tradition, the Logic Mentoring Workshop will invite senior and junior researchers to teach about soft skills and career management after a PhD in Logic, as well as to give scientific talks.

ORGANISING COMMITTEE

Davide Catta (Università di Napoli)
Marie Kerjean (CNRS)
Nadia Labai (Amazon)
Niels Voorneveld (Cybernetica)

SPONSORS
National Science Foundation (NSF)
Jane Street
ACM Special Interest Group on Logic and Computation (SIGLOG)

[Coq-Club] LMW@LICS and ICALP '24 - Call for participation and scholarship applications, Marie Kerjean, 04/16/2024