coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Last call for participation: SPLV 2024

From: Guillaume Allais <guillaume.allais AT strath.ac.uk>
To: coq-club AT inria.fr
Subject: [Coq-Club] Last call for participation: SPLV 2024
Date: Tue, 2 Jul 2024 09:19:44 +0100
Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=strath.ac.uk; dmarc=pass action=none header.from=strath.ac.uk; dkim=pass header.d=strath.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=istc9Hh1ZS/TDk1WalQw9TKFx1GCqRm7ypxnMfJyR9g=; b=SIeyTFLW41TTh0zl7ELZZ5PMwmrQGplKtYBPPQfVqk4Ka7QfcY82Mzgc2FTtMvIsLtg1WxJQ5ueCybY8N8UWwshgTBzdlKbE6GdJ2IJTXFHLqCGV/C9ph7TrcwhKQOCQdOrYXn6X4brtUkMoISSVsqis1WVR6+Ikj+earrEKdT/q2xvYmwEFJrsfwVMvxoXeS2B2RRBUE64AL1FF9i4o/HooHNdagQREzS6Iec6aOS4XzEcH4fv5d30Fg12TOYHKZoP+OxzWFHw8MkgptJpRaoFHPKBf8S8qxUQuPfGgX5fnTqqYiqO1NkJdgOhdfltEqW8TzjMkbkOummQoQvx/Og==
Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=geBwmOJUqapp5W79o0MYKwibD/yrRSBHVst1GvEIoMuRu4yQThltRmKu6O7GqvqnZ/zV3nAw2jesygQQwgtwX4xHdplRjUmLDS1jbPN6YxG9B53qyM9DzR0Yzi+hQjQVCEtowQRWnhMc5gdO+bNkyeE7U5ZaZcHwe+vSSQpPox9zWnqyPqIZThq4EoHeICVUFPPWeq9o6IERqei9G9BemA49j6NcmSiSGpFlgAltuIqZTOIWy4Sy5KmKgVY1GTWQfTyqEkdboEzQIzF0TAYd4KaF3n1Sw29NJL3OGjlIgIEiL+fh0R5arP7Yt7BV+nXbeh5j97DZadYzek/3L8Jy1w==
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=guillaume.allais AT strath.ac.uk; spf=Pass smtp.mailfrom=guillaume.allais AT strath.ac.uk; spf=Pass smtp.helo=postmaster AT GBR01-LO4-obe.outbound.protection.outlook.com
Ironport-data: A9a23:VqSTeam4lHcn8Kqbfr7gwxvo5gyeLURdPkR7XQ2eYbSJt1+Wr1Gzt xIYX27Vaf7cZGGnLY9zYNjn8BgE78DQxoJmGlBu/iFhFltH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvymTrSs1hlZHWdMUD0mhQ9oh9k3i4tphcnRKw6Ws LsemeWGULOe82AyajN8B56r8ks14Kyt4GlA5zTSWNgS1LPgvylNZH4gDfrpR5fIatE8NvK3Q e/F0Ia48gvxl/v6Io7Nfh7TKyXmc5aKVeS8oiI+t5uK3nCukhcPPpMTb5LwX6v4ZwKhxLidw P0V3XC5pJxA0qfkwIzxWDEAe81y0DEvFBYq7hFTvOTKp3AqfUcAzN1FBxgpNpZB0d9HPmZBr sA2FmgyPwKc0rfeLLKTEoGAh+wMBvOzZcY7nS0lyjvUS/E7XZrEXqPGo8dC2ys9jdxPGvCYY NcFbT1ob1LLZBgn1lU/VMp4xb/3wCClKXsB8gP9SakfuwA/yCR+zbnpNNPIf9HMTMFRl0eDj nna5W3lAlcTP5qCylJp91r12bSTwH+jB9x6+LuQpuVu2QPK6XwoGUcPC2aggOmwlUngRIcKQ 6AT0nF19/RtnKCxdfH2WAT9q3qZtDYHSt9IGqs77huMw+za+W6k6nMsSzdAbJkis5M5TyZyj 1iPxYqzVHporaGfTm+b+vGMtzSuNCMJLGgEIygZUQ8C5Nqlq4Y25v7Scjp9OIW+18L+Amjb+ gC1qydlu5st1fFaxbruqDgrnAmQjpTOSwc04CDeUWSk8h51aeaZi2qAuQezARFofNfxc7WRg EXojfRy+8ghJ/mweMGlRewMGPSt4KqKOieE2FlpRcB7pnKq5mKpep1W7HdmPkB1P80YeDjvJ kjOpQdW45wVN3yvBUOWX25TI5t0pUQDPY2/PhwxUjaoSsUrHONg1Hw0DXN8J0i3zCARfVgXY P93i/qEA3cAErhAxzGrXeob2rJD7nlhnDKDGcyjlk7+juH2iJuppVEtYAvmggcRvPLsnekp2 4sBZpDiJ+h3DLOjPnaNqdZ7wa4iciZgW8mnwyCoSgJzClE9Qj1+YxMg6bYgcJZihKNbiq/D+ WulMnK0O3Ku7UAr3T6iMyg5AJu2BcgXhStiYUQEYwz0s1B9OtzHxPlEJ/MKkUwPrrwLIQhcF KZUJK1tw51nFlz6xtjqRcWl99E5L0v63l3m0ujMSGFXQqOMjjfhorfMFjYDPgFXZsZunZJm+ ePy5RCRWpcZWQVpAeDfbf/lnRv7vmEQlKg2FwHEK8VaMhekuoV7CT3DvtluKeE1KDLH2mS70 SSSCkwmvuXjmdI+3+TIoqGmlL2XNdVCMHBUJETh1obuBxLmpjKi5aRiTNe3eSvsUTKo2ae6O sRQ4fLOENwGu1dooYZcMbZn4q0j1uTKurNl1QVAN1fIZmSNFblPDCSn385Ol6sV3Z5fm1K8d Xyu8+lgG4eiGZ3aAn9IAyR9dcWF9/UfugeK3MQPOE+guRNGpuuWY3tdLzynqXJ7LoIsFKgH3 O14msodyzLnuyoQKtzc0xxlrTWdHEchDZcimIoRWrLwqwwRzVpHX5zQJwn27LyLaPROKkMaG SCVtoWTm4Vjwlf+TFRrGUjvxeZ9gbE8iCJOxnIGJHWLnYPhrd0z1xtz7z82b1p0yjNq7uFNA VVoZnZFffi2wzRVhcZ4Tz+NHSNFD0an4UDf8QYCu1DYaEiKbVbzClMBF9yDxn1EzFIETANnp OmZ7E3HTQfVeNrA23pueEx99N3mY99D1izDv8GFDcilPZk2TjX4s5CLeGY3sBrDKuEyjX3hu uNF0rtRa6r6FChIuIw9KdCQ+ooxQSC+Bl5pYK9e7oJQOk+EYxC0+zyFC37pS/N3P/aQrHOJU Z1/FPxARzGV9XiorAlCIYUuPrUtvvoixORaS4PRPWRc7oeu9Gt4gqnxqBr7qnQgGeh1sMAHL YjUSTKOP0qQiVZQmE7PtMN0AXW5U/ZVeDzD2P2Jz8tRG6IhqO1MdWQA4omwtViRMypl+Euwl yHHbKn00edj6NpNm63BL6Z9PDi3eOjDDLmwzAOOstp1fYzuN+XKvFgrsVXJBVldEoYQfNVVr o6zluDL8nnLh5sIdlzIuoKgEvBJ7PqiXeAMPcPQKmJbrBS4W8TtwkUi+GyTFJ5ggPdg9vGBb FKmWc6NaNROZY9swSwMYS1nDh09Kbr7QZniqQy5sf6NVwYR4TbcJon271vsS39RTQ4TGpjEE gSvke2f1tNZi4VtBRE/GPBtBaFjEmLjQacLc97QtyGSK2uV3neun6TErgUxzh3uEV+GG9bez bOeYSambzW0mqXD7O8BgrxIphdNUUpM27ghTHwS6/tdqm6fHmUZCc8/LJ9fKJVfshKq5aHCf DuXMVcTU3Tsbw9lLyf5zs/oBDqEJ+o0Pdz8GDwl0mWUZwqyB6KCGLFRzThh0VgnZgrcyPybF v9G9k3SJhSRxrRbddQX7NG/gsZlwar+7VAM8kbfjcfzIkg/BZMn6X9fJzdOBBf3S5z1qEb2J GYLHDEOBAnxTEPqCs9vdkJEABxT7nul0zwsajzJ29rF/ZmSyOpb0vDkJuXvyfs5Yd8XIKIVD 2bCL4dXD7t6BlRI0Ufohz4ovUOwId2hJJDjaYvEGUgVlaz27Xk7NcQfmyZJVNsl5ANUD1Lak H+r/mQ6A0OGbktW3dV6DC0XrolpXCtk4y7h1WbCSf3uyHTVDOQ1vzCx0BjyNZG2oqOlokYwr PI6chOKu1PP3Nf7jWAWixnYz2BrxekKCWPNTiBuR5i0jxTEpKqx0lx++xlS6u+9O0GoCmmZm Gh9Hjn9FE+asvuz4j3Z
Ironport-hdrordr: A9a23:SKaIJahupVwC9SBxq7SBeQOcaHBQXyB13DAbv31ZSRFFG/FwyP rCoB1L73XJYWgqM03I+eruBEDyewK4yXcT2/hoAV7CZniehILMFu1fBOTZsl7d8kHFh4lgPM RbAtVD4b/LbWSS5PySiGfYLz9J+qj8zEnCv5a5854Cd3APV0gt1XYaNu7NeXcGPzWuSKBJYa a0145inX6NaH4XZsO0Cj0sWPXCncTCkNbDbQQdDxAqxQGShXfwgYSKZCSw71M7aXdi0L0i+W /Kn0jQ4biiieiyzlv523XI55pbtdP9wp9oBdCKiOISNjLw4zzYELhJavmnhnQYseuv4FElnJ 3lpAohBd167zfrcmS8sXLWqnnd+Qdrz0Wn5U6TgHPlr8C8bik9EdB9iYVQdQacw1Y8vflnuZ g7lF6xht5yN1ftjS7979/HW1VBjUyvu0cvluYVkjh2TZYeUrlMtoYSlXklWKvoJBiKpbzPLd MeQP01vJ1tABynhjHizyBSKeWXLz4O9kzseDlNhiSXuwIm7UyRgXFohfD3pU1wiq7Ve6M0m9 gsDZ4Y642mbvVmHp6VV91xM/dfTFa9Ny7xDA==
Ironport-phdr: A9a23:0f4n3BRP44qx0YOgKSRjtmxSIdpsosiQAWYlg6HPa5pwe6iut67vI FbYra00ygOSBcOCt7kd0bee8/i5HzBasNDZ6DFKWacPfiFGoP1VpTBoONSCB0z/IayiRA0BN +MGamVY+WqmO1NeAsf0ag6aiHSz6TkPBke3blItdaz6FYHIksu4yf259YHNbAVUnjq9Zq55I AmroQnLucQbj5duJrwsxhbGrXdEZvpayGN1Ll6Xgxrw+9288ZF9/ylUof4t69JMXaDndKkkU LJUCygrPG8y6MD3rxfPSheB6GUBWWsMiBpIBAbF7BD+Xpjvtybxq/Rw1iqHM8DoVL44QTut4 btlRx/ukycHKiU28HrLhcxqjaJUuwyuqhpiyIPJeo6VNf5+fqTAfdMGQGdKQ8hcWzBdDo66c oAACPcPPftDr4nluVQBsQe+CwerBOPq0DBIh3n21rA+3+kuFQzK2QotFM8MvnvJttX4LKQcX +67w6fWzTvNcu9Z1zjy54XTbhAso+uBUa5sfcbPy0QiER7OgFWKqYziOjOYzuUDs3Wa7+pkU eKgkXMnqwRvrTOy2sosjo3JiZgUylDf6C50x4k1JcC5SE5/Zd6rCoZQtySEOIdsWMwiR2Vot zw7yr0dopO7ZzQKyI49yB7Da/yLaZKH7Q75WOaMIjd1nXRoc6+wiBiu60av0PH8VtWq31ZQq CpIitnBu34N2RHO9MSKRftw80Oi1DiPyg3e6v9ILV47mKfbJZMsw7A9m4Ycv0nBGiL7l0X4g qCKekgm5uWl6vjrbLrgq5SBOYF0jQT+Pb4vmsy5Gek4PQkOX3Sb+eShz7Lv50z5QLJMg/Yrk afZqIjXKMsHqqKjHgNZzoQu5wyiAzu4ztgUh2QLIExBdR6fkYTkOk3CLf79APuin1ijijZmy vXHM7H9HpnAK2bPnbbucLt47kNQ1QQ+wNZC7J9KDrEBPenzWlPvu9zCExE5Mg21zPj/Bdlh0 I4VRHiBDbWDMKzItF+F/uIvLPeIZI8SoDvzKuUo6eLygXMkgFMTe7Cn0JQOZHC/BftpPV+VY X3xgtcdCmgKuRc+TOr3h1GYST5TfXGyX74i6T4nFIKmDIDDRoa3jLyGwSe7AplWZmdBClCPC 3vna4KEW/IUZCKTJM9ujCAEWKCuRoM9zx2iqRP2xrh9IubJ5CEUq4jv2MVr6+DXjR0y8CZ7D 8WZ02GDVWF0mWYISic53KBioEx9zlOD3rJlg/xdC9Nf/elGUgM+NZHGzux6EMv/WhndfteTU lmmXtWmDSsrQd0t2dMOfkV9F82kjh/YxyWqGaMal6SXBJwo9aLRx2X9K95ny3nazKkhk0UmQ sxXOGK6ga5/7hHfCJLNk0WEjKmnbr8c3S7I9Geb12WCpkBYUAhqUaXER38TfEXWrc6qrn/FG rSpEPEsNhZL4c+EMKpDLNPz3ntcQ/K2F8nfZ2a4hmK9TT+MwrqNd8K+dHgc2CHUFU0J1QkX+ X+HLiAlGj2ov2KYBTcoCFG5MBCkyvV3tH7uFhx89AqNdUA0i+vdEn89gPWdT6lWxbcYoGI7r D4yGl+h3tXQAt7Gpgx7fawab8luqExf2zf/sApwdoelM7gknkQXJgtqvkfq3ghyB8NJlcwjr WgC1xZoIL6YllpKMS6bjtjrIrOCEmDp51i0brLOnFTX0dKY4KAKvfslqlHntRysGwwr93Fu0 sJ9yGeG74nKSgMZF4/yAQ4s7xYvn7jBeWEm4p/Mk31hNa7hqjjZx9cgH/co0D6PVe0HaeagM 1O3FMcXQc+zNOYthl6lKAoeO/xf/7I1OMXgcOaa3KmsP6BrmzfOYX1vxod73wrM8iN9TrSNx JMZ27SC2QDBUT7gjVCnu8SxmIZeZDhUEHDtgS7jTJVcYKF/Z+NpQS+nPtG3y9NihpXsR28Q9 VitAEkD0dOofhzaZkL03AlZ30Aa6XK9ni7wwztxmjAv5q2RuU6Gi+v/dR4DM3NOSS9riVPlI JOclMwAVVSoKQEi0gampA77y6VduKVjPjzLW04bGkq+Z2pmU6a2qv+De5sTsNVx6XoRCb7mJ wnAG+2YwVNSyS7oEmpAySpucjirvs+8hBlmkCeHK301qnPFeMZ2zBOZ5drGRPcX0CBVIUsww TTRGFW4OMGkuNuOkJKW+O+jVmalX4BWfG/iyYeJtTCT/nFwCAG/2fm43MDkW1tfs2ezx5xxW CPEoQypKIb21qC+OP9icw9hAFv16tFSAZ1km5cwwpgbn2UZzMbwnzJPgSL4NtNV3rj7ZXwGS GsQwtLb1wPi3VVqMnODw4+Rumy1+sJ6fJH6Z2oX3nh49MVWEOKO67cCmyJpo12+pAaXYP5nn z5bx+F8oHIdhugIvkIqwED/SvgdAEhcOSXxkhnO5tS6paRMTH2za7Gs1Ax3lpa8D/mOrxpdV 3DwZpo5VXMoqJwnbxSViie1s9u1MNDLCLBb/gWZiRLBk/RYJNoqm/wGiDAmcWPxsHs5yvIq2 Bln3JW0po+CeAAPtOqyBh9VMCGwZttGpmmr1P4B2J/Mhcb2RMQyf1dDFIHlRv+pDj8I4PHuN gLUVSY5tm/eA73UWwmW9EZhqXvLVZGtLXCeYncDnrAADFGQIlJShAcMUXA0hJk8Q0ql2c3ld E5k4z1X71r8oxpX4vl0LRDjUiHWr0G1aX1nLfrXZAoT9QxE60rPZIaR8+N3GyhF+5DnpQiJI 22ATx9UF2gVWgqNDBb+PfP9gLuIu/jdDe24IfzUZLyIouELTPaEy6Wk1Y5+9iqNPMGCbTFyS uc20U1ZUTVlCtzUzn8RHjcPmXuHPKv57F+svzd6pcel/LH3VRLzsMGRXqBKP4wn+gjq0/vbc b/Kwn4/cXEBi9sN3SOalOBZhQZNzXkoL370T9Fi/WbMVP6Cx/URVkZDLXs1bIwRs+o9xlUfY JaHzI+qkOY+1rlsVB9ETQKzwMjxPJ5TejjvOg+fXBTZc+jWQF+Di8DvP/HmQOUJ3rwN7k++5 W7AQR2kYmXLliG3BUqmabge1XjCbhIC4NrvIk41UTqxC4+/D3/zeN5v029syOVt1CqTbDwSb WAnIUgV9uXCv2QF271+AzITtHM9dLvdwn/L4bWAccQY6aMzUHYzyrgSpX0+z/E9ADhsfPVug 2OSq9dvpwvjieyT0n99VxEIrD9XhYWNtEEkOKPD95AGV2yWtB4K6GyRDVwNqb4HQpX3vLtMz 9HUiK/pABhoyYqNuO87W43TIs/BN2c9Ox30HjKSFBECUTOgKWDYgQpaje2W8XqW6JM9r/2O0 NICR6RaW1o8Cv4BQhg9WoVaf9EuBGliyOTKxMcTrWKzthzQWNlXstjcW/SeDO+uYDeVgL9YZ gcZlLP1KYNAU++zk0dma1R8gMHLAx+MBZYU+nInN1Vu5hwXoSsbLCV7wU/uZwKz7WVGEPe1m kRzkQ5ieaE38zyq5V4rJ13MrS92kU8rmNyjjyrCFVy5ZKq2Q4xSDDL58kYrNZauCQlobAm2l FFhOXHNQ7ZYjqBIbnxxgRPc/5JEX+NfB/4hAldY1bSMavMk3E4J4D2g3lNC7PDZBIFKuyEQK cfpi1UcngVpYZgyOLDaI7dPwh5InKWSsyS01+c3hggDO0IK92DUcykN8h9tVPFuN2+j+epi7 haHkj1IdT0XVvYklflt81s0J+WKyy+zm64GME26MPaTar+Io2WV39DdWUs+jwlb8isNtagzy 8oodFCYElwi3KfEXQpcLtLMcElUd5YAqCCVLHzI6aOVhssod4SlSrK0FanX7PlS2gT8W193e uZEpsUZQsvxigeBdZ+hdPhdjkxxrAXzeAfcVKgPJE3NyHFf5JjghJ5vg9sHL2lEUzwkaHe5u u6P9F1t3KrmPp9+Y29EDNENbitkAZTjySAF5y8SXn7rg6oY0FbQtTak/3aJVWCuYYY7P6XEP Us0WoPxpGxakeD+iEaJoM/XfziobI076NGTsbhIrM7fU6EGCuQk+0bExdsCTiTzATeWSIy7e 8CrOYd0NYSmWDHnCBT6gjYxBa8Z2f62MrKBnQGuTI0SrYrJhFjL1OeSPAtGQlJUgL1G46hxI woef5A8fBjk8RwkMLCyKxuZ1dPoRHuxLTxRTL9UyuDoPtS/IAI3cvWz1HtmR5p80urlqCYw
Ironport-sdr: 6683b828_FQl5/tp9f3XEw4XnQGoGR9pxneo3HCUYV9uHkab0EEPySky qXeDOF5AzOgWE0RazRUeBvzU5HYtEI8FceblQMA==

==================================================================
Scottish Programming Languages and Verification Summer School 2024
Monday 29th July -- Friday 2nd August 2024
University of Strathclyde, Glasgow
https://scottish-pl-institute.github.io/splv/2024-strathclyde
==================================================================

Dear all;

A gentle reminder that there are about 10 days left for interested
parties to register and that the summer school will be held in
about 4 weeks now.

The registration deadline is Sunday 14 July, 2024.

If you would like to be a student at this school, please see our
website for more information, including how to register:

https://scottish-pl-institute.github.io/splv/2024-strathclyde

------------------------------------------------------------------

Scotland is internationally renowned for its leading expertise in
programming language design, implementation, and formal verification.
Since 2019, the Scottish Programming Languages and Verification Summer
School (SPLV) has provided local and international students with
foundational and advanced learning on topics in programming languages
and verification research.

We kindly acknowledge the support from the following sponsors:
SICSA
Well-Typed (Bronze Level)
Tweag (Bronze Level)

------------------------------------------------------------------

Invited Course:
Lindsey Kuper (University of California Santa Cruz)
A few ideas from distributed systems for PL folk

Core Courses:
Conor McBride (University of Strathclyde)
Type Theory

Chris Heunen (University of Edinburgh)
Category Theory

Specialised Courses:
Bob Atkey (University of Strathclyde)
Type Theory and Implicit Complexity

Kathrin Stark (Heriot-Watt University)
Mechanisation of Binders

Vikraman Choudhury (University of Bologna)
Category Theory for Semantics

Andres Goens (University of Amsterdam)
Protocol Verification

Sam Lindley (University of Edinburgh)
Effects and Handlers

Jules Hedges (University of Strathclyde)
Applied Category Theory

See our website for course abstracts.

------------------------------------------------------------------

We cannot wait to see everyone in July!

Please feel free to forward this announcement onwards to those
interested.

Best regards,

Guillaume Allais
(for the Strathclyde SPLV 2024 organising committee)

PS: if you have any questions, don't hesitate to contact the committee at

CIS_splv2024 AT groups.strath.ac.uk

[Coq-Club] Last call for participation: SPLV 2024, Guillaume Allais, 07/02/2024