coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] ICALP-LICS-FSCD joint call for workshops

From: Sam Staton <sam.staton AT cs.ox.ac.uk>
To: "categories AT mq.edu.au" <categories AT mq.edu.au>, "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>, "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>, "ProofTheory AT lists.bath.ac.uk" <ProofTheory AT Lists.Bath.Ac.UK>, "las-lics AT lists.tu-berlin.de" <las-lics AT lists.tu-berlin.de>
Subject: [Coq-Club] ICALP-LICS-FSCD joint call for workshops
Date: Wed, 8 Nov 2023 21:14:24 +0000
Accept-language: en-US
Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=cs.ox.ac.uk; dmarc=pass action=none header.from=cs.ox.ac.uk; dkim=pass header.d=cs.ox.ac.uk; arc=none
Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; 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=/6qd8pEdh/zI0IPBdN1OQe1XaL+52gZJuGnOgDVHcBo=; b=hCOZ06zDnHlNkQ684DxJRSTCtBQhvbL2MGeb3132OSUj28GbiUTgtJ14NpdGU5d/RV+/ZTe8KXPctnS/ChUCreUEU4tORLAMtnETcZRvZLRqY73GI4c66xX4RlKqbxDrgZaB7X9yTPTQz9xzIKqU6PwcrsorAgNtfCGeSPMptJ9kvOAzYutw8jhLixLuoWgUR4pSz6lckLivgkdKcA7s8hzymUQMcK2ur/YehIwiyQ2FC5eCzzESIcQ3XckPd4M9JJhsNDXlANMAxfExNdcYiPVXYTnNswE6pNZTpzkwslE27HEMxhU7EK9oKSQS5fkduWF7WbodiAVtBNyfgOfEhw==
Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=QJffhj7AuKBkDeNrYRIFzt0ApaPOzUr0jw5ZUzn8pR12wtyI29pz26niXUlEoao47LcJZSoaX3yMe5cbmoKwtVKscOfwNeGODhR1xLGmoqjPHvs2kw78LZO4KxM/KZ1wY/8BYX0jTqJXr0UWpxVLhJhZoNvtKqqlda1bx92JYk41es2DxwCrw1rbSGGjz5U2DsoZggO+WaSydvAxpQWm8T6GuGVti7axiT6tBJ4f2XGuJO5eRYjqhH8gFYuwTKemv1ks6LFX/iQv2/LxKpYTk7j+4eI4ViQ41k10twXVswdyvhzv25X1z9tpcnVRP5c5Ui3p73wp3FWYz5K9fZsa6Q==
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=sam.staton AT cs.ox.ac.uk; spf=Pass smtp.mailfrom=sam.staton AT cs.ox.ac.uk; spf=None smtp.helo=postmaster AT relay17.mail.ox.ac.uk
Ironport-data: A9a23:qC04gqks1mLK7i9kSUhMjfDo5gyTI0RdPkR7XQ2eYbSJt1+Wr1Gzt xJMCjjTa/2KMzDzfo1xad+z9UpV6p7dx9JqSwFu+Xg9RltH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvymTrSs1hlZHWdMUD0mhQ9oh9k3i4tphcnRKw6Ws LsemeWGULOe82Ayajl8B56r8ks1562r4GNA5DTSWNgS1LPgvylNZH4gDfrpR5fIatE8NvK3Q e/F0Ia48gvxl/v6Io7Nfh7TKyXmc5aKVeS8oiI+t5uK3nCukhcPPpMTb5LwX6v4ZwKhxLidw P0V3XC5pJxA0qfkwIzxWDEAe81y0DEvFBYq7hFTvOTKp3AqfUcAzN1uEEI0N7FH49pNImdiz M5JKyEQXkq60rfeLLKTEoGAh+w5Ic3iLdpA/HRpzDWfCuZgSJuFXqaiCd1whW1hwJ4RW6+YP pREAdZsREyojxlnIV4STokilfuvgFH0aHtfuBScruwq4AA/ySQoi+W2boSOJoHiqcN9xWiTi F/28WbFDjZAOsOUzDqrzEOyr7qa9c/8cMdIfFGizdZhh0TWzWgOAjUNRF6jqL+4jFS/UpRRM SQpFjEGt6U2/V3yEZ/4Vhy85nmU+BcXHcdTewEn1DywJmPvy17xLgA5ovRpMbTKbednGmx45 UzDhN7zGz1kvZucTH/XpP/eriq/NWJRZSUObDMNB1lNqdTygpABvjSWRPZaEYmxkoLUHxP0y Gu0tyQQvegYovMK8KSZxmr5pQyQiKLHdSMP3TWPbFmZtlt4QKWHe72X7UPq6KccDYSBEXiEk ns2u+mfy+EsD5qcyTKAa7gNLaD0vv+UESb9hGR3FMIL7AWd+H+EfKFR7gphJUxvDN02RD/xb GLXuiJT/JV2Pkb2XZRoYom0Ndsm/ZLgGfvhSPrQSNhEObp1SyOq4wBsYhS28132sU1xj5w6B 4iXQfysAVkeF65j6ji8HMUZ8L0zwxEB1XHhfo/6wzunwIihSiasE5ldC2S3b8c98K+giyfW+ YwGN8K1ljNuYNenaSzTqYMuPVQGKEYgPq/PqutVS/WiJzR3E2RwGt7TxrIcI7ZepZp3rduR3 H+BWR5/8mHd1FnnMgSBb05xZIz/BahfqW0JBg1yHFKK9UV6X6ORwvY+TaYnRZgm6+1p8tBsR dYnZcirI6pCWxbHyRsnfLj/q41pcSqwtDKNLwy0PSQOQJp7YwmYpvvhUAnL8hcULyuotPkRp 6+r+RPbTKEiGSVjLpfyQ9C+w2yhuUMynLpJYHLJBd1IamDAwZNPKRGtvsQoIsoJFwrP9gGa2 ymSHx0cg+vH+K0xz/XkmoGGqN2PP9ZlP08HAVTe06m6BRPa8kWn34VEduSCJhLZdWHs/ZSdd fdn9O79PNIHjWR1ndJFSZgz9p0H5vzru7N+5SZnFi+Sb12UV5VREkPf1sxL7qBw1rtVvDWtY X22+/5YBK6oPf30G1tANSsnaeW+jcsvoAfw1shsAkvG535QxoGlAGFyJBiHjRJPIIRlaL0Fx fgTg+9IygidpCdzDPO4oHF6y2C+IEYEcZ0bjbABIYqyigMU2lBIOpPdLSnt4aCwUdZHM2h0A zqylo7H1uh4w2TAV3wND1nMwutvqpAcsz9azFI5Bgqom/iUotQVzRFu4TAMYQAN9Sp+0sV3I XlNC015AY6s7gVYrpFPcE70Ej4QGSDD3FL6zmU4sVHwTm6qZzTrF3I8M+Pcx3Ip2TtQURYD9 Y7J1Vu/dyjhefzw+S4AWURFjfjHZv4p/y3gnPGXJei0L6MYUxHE3JD3PXEpriH5C/wfnEfE/ Olm3NhhYJ3BaBI/nfcJNJm4558xFja/O21wcdNw9vgoHEbdWg2I9xqgFkSTQv5Jdtv2qRKWK so3Ksx2AkH0kG7Eqz0AHqcDLoNlhPNjtpJIZrrvInVAqLeF6CZgtJXL7CXlmWs3WJNUnN0gL p/KPSe3eoBKaaC4R0eWxCWFBoa5XTXATBfx2OmkqbpPEpsCtKdrYQc72f2pvB159eehEw285 Gv+i23+loSOCriAW6PnCeNEF0O9IpXuV4xkNSit5s9WY4qn3djm7msoR5qOA+iSFbAKHdNn0 72G9sP0tK8AUHDaTEiB86S8+2J1CQlekQaZ3g8b7JWXoMdaZPLR3g==
Ironport-hdrordr: A9a23:RJ299K2mzn8NBAdBpAJHfAqjBTlyeYIsimQD101hICG9Lfb3qy n+ppsmPEHP5Ar5AEtQ4expoMG7MDjhHO1OkPIs1NCZLUPbUQqTXclfBOTZslvd8kHFh41gPM RbAuVD4b/LfCFHZK/BiWHSebtAoOVvm5rY4Ns2uk0dKj2CHJsQizuRZDzrcHFedU1jP94UBZ Cc7s1Iq36LYnIMdPm2AXEDQqzqu8DLvIiOW29LOzcXrC21yR+44r/zFBaVmj0EVSlU/Lsk+W /Z1yTk+6SYte2hwBO07R6d030Woqqu9jJwPr3NtiEnEESutu9uXvUiZ1S2hkF1nAho0idurD CDmWZlAy050QKqQoj8m2qR5+Cn6kdo15aq8y7mvVLz5cP+Xz40EMxHmMZQdQbY8VMpuJVm3L tMxH/xjeshMftR9B6Nm+Qgeisa43Zcm0BS5dI7njhaS88TebVRpYsQ8AdcF4oBBjvz7MQiHP N1BM/R6f5KeRfCBkqp91VH0ZipRDA+Dx2GSk8Ntoic1CVXhmlwyw8dyNYElnkN+ZohQ91P5v jCMK5viLZSJ/VmG55VFaMEW4+6G2bNSRXDPCabJknmDrgOPzbXp5v+8NwOlZOXkVwzvegPcb j6ISNlXDQJCjzT4OW1rex2ziw=
Ironport-phdr: A9a23:Q0fgEhzpXBGY2AHXCzI6xFBlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z hyZvKw8xwaVB82bs6sC17CI9fi4GCQp2tWoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgH c5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTajYr5+N gi6oRjVu8UZnIdvJbg9wQbNrndUZuha32xlKUySkhrm+su84Jtv+DlMtvw88MJNTb/0dLkiQ 7xCCzQmPWE15Mn1uhTGUACC+HgSXHgInxRRGwTK4w30UZn3sivhq+pywzKaMtHsTbA1Qjut8 aFmQwL1hSgdNj459GbXitFsjK9evRmsqQBzz5LSbYqIMvd1Y6HTcs4ARWdZXshfSTFPAp+yY YUMCOQOIelWoIbmqlsStBu+ABWgBOPzxjNWgHL9wK000/4mEQHDxAEuAsgBsHHJp9voKKcdS /y1zK7OzT7eaP5Wwi3y6I3SfhA6vfGDR65wcc3XyUQ0CwzFlU+cqYvqPj+PzOsCr3KX7/djV e+2jWMstg5+rCS1yMg2lonJmpwaykrC9Shhzog4O8C1RkF6bNOkH5VduSKXOo9oTs4+Xmxmu Cg0x74atJO1fCUG1JspywPCZ/KHfIWF7A7uWemRLDp8mH5od7SyjAu8/0inz+3zTMi00FBSo ypek9nMuXQN1xvc6sSdTft95Eih1DCS3A7Q8uFJOV04mbTfJpI7w7M9lIAfvVnZEiPrmUj7j Leaelsl9+S05enqZ6jqqoOGOIJ1jwzzM7giltC6DOglLAcBQm2W9OGh2LH/+0DyXa9Egecsk qbDtZDXPcQbqbC9Aw9Syosj8QiwDzO839UYgHUKLkhJeBedgIjoP1HCOvf4DPilj1u2jDhn3 e3GPr75DpXMKHjMjqvhcK5g50JCzAc/19FS6pBOBr0cOv7/R078udzAAh88KQO0wuLnCNtn1 oMZXGKCGrSZP7nXsVOS/eIvP/ODZJMSuDb7MPUq++XugWU+mV4SZ6Wmx4cYZGqlHvRlO0mZZ 2Hjjc8bEWgWpgo+UPDqiFqaXDJOf3qyRb4z5iknCIK6CofOXpyigLuY3CuiApJWYn1GBUuXH Hfzd4SEXu8MZziILs9glDwET7mhRJU72RGgrg+pg4Zge6Df8zEVupX51dVuz+jK0xw+6Hp9E o7Vh2qEU2x7mXkJSiQe2bk5rEBgjF6eh+wwydNxMPFoz/dISRshc4TD0+w/Atn5Wg/HONuEA h7ybfyDLAoZStMq38RIeVlhG5CrhxvD0izsD7JD0/TBGJw59bjR2j3pPcFjxmzd/KAgyVwnX o1COXDszvpj9wXUHYPM1l2DkLinb7801S+L8Wafi2eCoRccGER7VqPOQGoFa03dvPz951jeV LK0F7k9dBdcxIiELuECPtbui15bXu3uPt/PS2awgHurCAyWy6nKcJfnPWMZimGVQkYFlQEP8 DODMgQzAmK9o2/ZFi1GEVP0f1iq6/ZiqDayR0Q0wgfMY0Arn+67+xgUmfHZTvQf07ZBpCcsr C9lNFK8xM7NTcCfuwokdaxXYd47pltKgyaR/QVmOrS+Jrt5j0RYfghq9Qu63g5zIptJitMjt jUnwBckberS2VxNfhuc3IvsIfvcKmD2+R21cOjN1xuWhN+Z9q4n7PUjt06ltwGgEk8v6W4hy NQDlzPW743SFwcXeZbwSVossQRxvPfbbCh744bJk3Fhe+HguyfawN8sLO8k0Qq7OctUK+WFG g60F8gHQcSjfqhi0VynZQlBPeZO+bQ5JN+Odv2InqOneu9r2i+lxywT5I52yQeN8TZxUOPTw 74Exf/e0wfBXjy6kVT39oi9kolIaBkTAnf5xSuuTNpab6F/VYcXFCGiIJvzjp9mnZniHnpR8 lGLC1IFxYmlelDaO0Tn2gIV0U0RrlSrmCiliTB3xXVh5K6e2iHH2czpb1wcJmdNSm54gRHhL ZX+x4QeXU6lZhIBnwDj/lrzwaZcvqg5ImXOFwMANQTTBkdPboOirqDEfshOrZAvvCFRFuixK xjOZpvUhTYm+zH7BS1DwjF+dDanvpO/kxEszCrXLHF2q2beYdBs1A/S+NzRQuRA9jUBQyZ8h DbNAUWkJJ+i+tDe38PDteW5S2W5R4FCaST3zY6HrjqT6mptDhmykOq0h8X8VwM91Hm/n5NwW DrSrQr9ZIbD2qKhdOZ2eU8uCkW2o55gF55kk5cxgp441H4Bw5GE+nxBn32ldZ0RxbPmYWFIT DgNxMPT6wXN3Ex4MmnP3I/wTTOA2sZnYZ+3bn5cknYh/thHE+Kd6rpDgC1+r3K8rBnNer5mk z4Gj+Y25XgcxewFpVxphm+WBalXFk1FNwTtkQ6J5pawtu8fMG2oaP270Fd0tdGnFrCL5A9GD jKxMK84Gih+0sVyN0jd+Hny8Z3/PtPZcdJVvxbSjhSKx7xtMpU2mMYKiC19KErZvGY50KgRh ABum7ix+rWkfSEltqawGVtcNzbuT8cS4S32y7pD28ybxYSuGNNtF39DCJ/hVresETkJnfDmL BqVViEh732WA77eG0mT5RE1gWjIFsWQPnTfH2UQ0dJkDE2GLUkZmxwdQDI8tpUiUAe6gsXqN lp6sGNCrmXkowdBn7o7fyL0VX3S8V/AglYcTZGeKEAT9QRe/wLPNsfY6OtvHiZe95nnrQqXK 2XdaR4bRXoRVBmiAFbudqKr+cGG6/KRU/G3Kr3VfbySrup2XOzOwoLp24Ag4jXfft6XMCxaB uYgklFGQWg/Hs3YnzsVTClCjCvIKdWHrQu7/AV8tYa44LLiU0Ty5tjHEKNcZPNo/R3+mqKfL 6iQiSJ+fC5fzY8JzGTUxaI3xlMWgjA3KH+oGLUE8yndCqvb3LJUZ/ICQwV0MsYAr6c13w0Xf NXelsuwzLlzyPg8F1ZCU1Xl3MCvf80DZW+nZhvBAw6QObKKKCeuoYm/aL6gSbBWkORftgGh8 TedHUj5Oz2flj7vHxmxOOBIhSufMVRQooa4OhpqDGHiSprhZHjZeJdshDhw2qE9mnTMHWUHd z9sNUpG6KCTrGtZjvh5B21d/y99N+DX0y2d7uTeNtMXqa4yWHUyyb0cuTJjleYGiUMMDOZ4k ybTsNN09lSvk+3VjyFiTAILsDFAwoSCoURlP6zdsJhGQ3fNuhwXvgDyQ1wHocVoDtr3tuVe0 N/KwejoITIE6M7d4cwaL8PPbsWXdnMqdwfqUm2xbkNNXXuwOGfTilYI2uqb8zuOspEmrZ7Ek 4FITa8dXVdzC/BQWSEHVJQSZZxwWD0ji7uSisUFsGG/oBfmT8JfppnbV/iWDJ0DMR6hhKJfL 1sNyLL8d8EIM5HjnlZlYR98lZjLHEzZWZZMpDdgZ0k6uhcF/H97R2w1k0XrD2HlqGQaELivg hcqjQ1Wav9r8yeq6lxxO1mCqCYrkUY3kMnomnjIKm+3cvj2BMcPVXe8vlN5Kp7hRgdpcQC++ C4sfCzJQb5clfoodGxmjhPdpYoaHPddSaNeZxpDjfqTZvguzRFdsnD+nx4Bu7SDUN07ylZ5F Pzk52hN0A9ictMvcKnZJa4Ti0NVmrrLpCijkOY43A4ZIU8JtmKUYi8B/kISZdxEb2Kl+PJh7 Qualn5NYm8JArAxq/cs7V80J+OG5yn7lblTbEm6cfGcZfD82SCIhYuTT1U821ld3VJM+P5tz c4/dEy8XFtpy6vXHh9PKMmIemQ3J4JCsXPUeyiJq+DEx5l4ap68Gu7fRuiLrK8Ig0igEVVhD 8EW488GBJXpzFDAIJKtMuse0Rt0rleORh3NHLFTdRmMijtCv8yv0Mo9w9xGPj9ESWRlbXfuv OeR+FBs2LzbG45oKnYCAtldaClwAYvi3XYe5iolbnH/0/pFmlHTtXmj+GKOSmG7NYErZe/IN 0o9Upfpp3NvtfDx0wef842CdTirb5I95JmWt6VC4MzfbpEcBbhl7xWFytMeGCLsCDSJSZnvf dDxc9d+N4SsUyTkCQTt125tHZW2YIrlL7DW01vhHY8G6tHDjmJkb57YdHlWTB50o6trCLtUQ woFbtJ7ZBfps157LKmjOEKC1d7oRW+xKDxQRv0ZzOOgZrURwTB+Jum9gGAtSJ031YzVuQYEW Y0KgxfCxP2ie5gWUC79HWZYchnOoixxnnZoN+I7yOMyiB3StlxUPzeOfe1vIGtK2rN0TUuVO mlzA3EkSkW0l4fH6x/1gPYX9ipZ2dFEl+RO9mX9/9febD+qRK23uMDVvi4nPr1E6+V6NY3uJ NfDtYuLx2aOCseP9FTDCXDnRJ840pBKLSlVQedFgzQgMM0C489a7FYpE905LPpJAbUtobajb XxlCzQTxGkXTdDlvnRKj+Gi1r/djhrVfo4lNUlOq5xHxMABWjJxZAsVv+mkR8PfnCmZSSJYR WVbpRQJ/w8GmoJqK6r955HUSZZX1zNMi+h5ViLaT8Yu8lL6TieRkR7xQ7O8kKb6uGAahOKp2 d4dVhllDEFbzOsDjUokJoZ8LKwIt5LLuDuFHasblHjgzOK3fQYXzMTVcxv/HMzMvizhUX9Ek ZX7bYRUjnbPU50Z1Rd6Ov9DTLBkK5vgfVa47jdi2oc7R9GF
Ironport-sdr: 654bfa3e_Nk2ZdNx6Yu/WzEk3rS5HrDHk66b4O55Oe8BG/dfUaM4CW3b VE1vmVYqyf//i0hYd5U/6LlP5aehf+IB7FOuMhw==

ICALP, LICS, and FSCD 2024 will be colocated in Tallinn, Estonia from 8th to
13th of July.
We invite proposals for workshops on topics of interest to the ICALP, LICS,
and FSCD conferences. Note that workshops for ICALP track B and LICS will be
joint this year.

Proposals must be limited to three pages and should be submitted to

icalp-lics-fscd-24-workshops AT inria.fr .

Workshop proposals must include all the information listed at:

https://lics.siglog.org/lics24/cfw.php

The organising and workshop committees of ICALP, LICS, and FSCD will
determine the final list of accepted workshops based on topics and time/space
availability.

IMPORTANT DATES
- Submission of workshop proposals: 31 December
- Notification of the accepted workshops: end of January
- Programme of the workshops ready: 31st May
- Workshops:
* ICALP track A: 6-7th July
* ICALP track B / LICS: 6-7th July
* FSCD: 8-9th and potentially 14th July
- Main conferences:
* ICALP: 8-12 July
* LICS: 8-11 July
* FSCD: 10-13 July

[Coq-Club] ICALP-LICS-FSCD joint call for workshops, Sam Staton, 11/08/2023