coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Scottish Programming Languages and Verification Summer School 2025 at the University of Edinburgh

From: Simon Fowler <Simon.Fowler AT glasgow.ac.uk>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: [Coq-Club] Scottish Programming Languages and Verification Summer School 2025 at the University of Edinburgh
Date: Tue, 11 Feb 2025 10:21:11 +0000
Accept-language: en-GB, en-US
Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=glasgow.ac.uk; dmarc=pass action=none header.from=glasgow.ac.uk; dkim=pass header.d=glasgow.ac.uk; arc=none
Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; 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=PGPoObMtASs9vO9bxDX0Z0ui+HE2MnMJzBIwS4oAo7Y=; b=QhG7N5wC7I2LwS1cQVPvNZWbzPOmGjGiYkM2dhStIdJR4kxicfmuRxIHS2+520cGs2luU/0YY5Nw1ZrbzMWX9hRjAhNLNqEcLlTIo+aupuOn4ngzF+687MKxWaXQNtkywhb9pu/g0I/e4R1JNDEtqmzEouARGnPyIvqsr3swc0Fwy0+gsAoXKQgnFCOeMq4EWWvGEw8CPzeeETgwL+PNC0Bc0hBZ3X5dk+18YR+tZDCAKC7EmBIKL/uDg1rQ4XUCTOWcWtzKygIxB4azKlFRW12f8IeAYRtSkIysiChQCZNVaw6/HTweH44QD0j3jr8v3wfRtIJBT/zQkAxpyh9QFQ==
Arc-seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=B5XxrvClf2SV3s0vlzUuKgwhJupjdf3fVx9orGdbqBtSkv52bd5SpTJLm1X96o1tnQtB5qF3/LwDmGqrMJB0raDZ20zYv2QACtUbdPPypfYxP070NdV66Ibs0/gpPHUEf6ZDHh73qr8TyQyrsMNmShQZZu1mOPPaRG0yYTJT3/cvFrR5RqaBs8ac8UDS9Ns/mCHNX7gWoSSvySYhBqd29HKp9fyaouV4uYi7DBEqir/66v9BKbhg3HIvBiRZ4hsI0/+zOQqCoAGBZHz8FXWkrr4ymZ3VVpYqJyZn6HqnHpS9Aa6v96gYh4TLMrn9/FklpnNJOnM7QA7d2DNNhz2RNg==
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=Simon.Fowler AT glasgow.ac.uk; spf=Pass smtp.mailfrom=Simon.Fowler AT glasgow.ac.uk; spf=None smtp.helo=postmaster AT hilltop.cent.gla.ac.uk
Ironport-data: A9a23:hjQjKKp9MIXUy267KeEUwlzOd7teBmLrYRIvgKrLsJaIsI4StFCzt garIBmHafbeMWahLYx+bYW38kwDvceAzNRnHgdupH8wQS5D9uPIVI+TRqvSF3PLf5ebFCqLz O1HN4KedJhsJpP4jk3wWlQ0hSAkjclkfpKlVKiefHoZqTZMEE8JkQhkl/MynrlmiN24BxLlk d7pqqUzAnf8s9JPGjxSsvnrRC9H5qyo5WtC5wVmP5ingXeH/5UrJMJHTU2OByCgKmVkNrbSb /rOyri/4lTY838FYj9yuuuTnuUiG9Y+DCDW4pZkc/DKbitq+kTe5p0G2M80Mi+7vdkmc+dZk 72hvbToIesg0zaldO41C3G0GAkmVUFKFSOuzdFSfqV/wmWfG0YAzcmCA2kJG4cF1cQmUV1J2 sQhCi8JUyy5hPO5lefTpulE3qzPLeHrPYcbpnZ4izrUC+pgTpTKBazBo8JbtNsyrpkVRbCEP 5tfMGQpNUybC/FMEg9/5JYWp+atgX+5XTpHrF+PjaUz6nPcyxM32bOrLdm9ltmiHJ0FwRjD9 jubl4j/KhtBb+2k5R2HyVmx2LOQhSr/QtICS6Lto5aGh3XJnzZMVEJJPbehmtGyjVf7UNZCI WQP6y82pO4z8laqR5/zRXWFTGWsvh8YX8ZXC6sx5QeRjKXQ6kCQDS4ZTVatdeDKqucJYzY3+ X3Yz+/uKgRWkqKRdE6n9aab+Gba1TcuEUcOYioNTA0g6tbloZ0ugh+ncjqFOPPl5jESMW2gq w1mvBQDa6MvYdkj+I/TwLwqqzKtopzVSRZz7QjRQiSq6go/bYXjeo/ABbnnARRoc97xorqp5 SZsdy2iAAYmUcvleMulHL9lIV1Rz6zZWAAweHY2d3Xbyxyj+mS4Yadb6yxkKUFiP64sIGCyM RWK41gIucIKbBNGiJObharsW6zGKoC8RbzYugz8NbKin7AvKVDWpkmCm2bLjggBb3TAYYllY M3ELZnzZZrrIblhzSS7Xfwcza5jwS52ymfaXp/80HyaPUm2ORaopUM+GALWNIgRtfrcyC2Mq oY3H5XRkX13DrahChQ7BKZPdjjm21BnXsiu86S6t4erfmJbJY3WI6OJmex9K9c4xMy4VI7gp xmAZ6OR83Kn7VWvFOlAQioLhGrHDMkv/0EodzchJ0ip0HUFaIOipvVXPZgucLVtsKQpwfdoR rNXM4+NE9ZeeAThoj49VJjaqJA9VRKJgQnVATGpTgJidLFdRivI2OTeQC3RyAc0ABCK6PQO+ 4+b6luDQL4oZRhTM8LNWff+k3KzpSc8ncxxbWvpI/5SWkPm36Z4GXag1dsyDcMoLyvZ5zqF1 jS5BQUTivnNrrQUrvjIp/GghKW4H9RuGnF1GzHg0o+3Ei3B70yh64Nke8SZTwD3DW/b1v2rW rRI8qvaLvYComdvj6N9NLRalYQF+Nrlou5h/DRORXnkQQyiNeJ9HyOgw8JKi6xqw41ZsyuQX mak2IFTGZeNCfPfPG8hHigXRcXd6qhMgRjX1+o/H2vi7iwu/Lanb1RbDyPRtANjdolKIKEX6 sZ/nvUJ6j6PqAsgafeHqSF2y16iDFI9V4cfi5VLJ7Oz1yQKzAlZbI3+Gx3GxsiFS+9xP3kAJ h6Wg6v/hIpg+HfSTkprFVbx8Lpcob8spCF1yEQzIgXVu9jd2d4y8h5j0RU2aQV3yRx4w/l/F Tl0E0hTIa+Ixipa3thDe2WCGSVHOge4+1Pw+XQNhmb2X0mlbU2TDWwfaMKm3lEVzHJYRRdfp Iqn8WfCVS37WsPb0g8Ze19Xm9a6QfNfrgT9yd2aReKbFJwEUB/Zq66JZ1tQjSD4AMk01Xb1l cMz8MleMaTEZDMt+YslAIyn1JMVehCOBEpGZdpDpKopP2XtSAue6Ai0CXKaW51yfqTR0EqCF cZRCNpFVE2+2AawvzkrP/MwDIEursE5xugpW+3NHnEHgYu9vzAykZP39wrCvkEJbehqs/4AL tL2S2rfPE2W3WBZik3cnvliY2CYW+QJVCf4/eKy8dgKKa49jfFRQRky/4aw7lqoM1pB3hOLv Qn8Sbfc4M58xK9NwYb9MKVxKD+lCNH0VdbS4AC46dhQYcKSMfbf6locu3j8HgFsJbBKcc9Gp beMl9/W3U3+o7c9VV7CqaSBD6Vk4caTXvJdF8DGM0lhgiqJXfHz7ys5+2yXLYJDlPVf7JKFQ zSURdSRd9lPfftg31xQNjZjFigCB5TNbqvPoT23q9KOAEM/1S3FNNaWym/7X1pEdyMnO4zMN SGsgqyAvutnlYVrAAMII9pEAJUieV/qZvYARu3L7DKdCjGlv0OGtr7cjiEf0DDsCESfMcPE8 JnAFwnfdhOzhfny9+tnkbdO5z8ZMHUsptMLXBMty4YjwXTyRmsLNv8UPpg6G4lZ2H66no3xY DbWKnAuE2PhVDBDag/x+8nnQhzZPOEVJ9PlPXY8yit4sctt6F+oW9ONNxuM4kuavhPjzeWjN dYGvHb9OAT3zZVgA+8YoOG46QuiKjU22VpQkX0RUeSra/rdPVnO/HNlFRFCUjOBGsqLiUajy a0dWzVfWE/iIaLuOZ8IRpOWcS31eBvgyzwzYiCQht/U/ZiYpAGFJDsTJMmruoA+gA82yHLii J85q6ZhI4xb55DLhZYUhg==
Ironport-hdrordr: A9a23:rMTguKHibMuenNEYpLqES8eALOsnbusQ8zAXPo5KKCC9Ffbo8f xG/c5rsiMc7Qx6ZJhOo7290cW7LU80sKQFgrX409+ZLXXbUSiTXfxfBbKL+UyeJ8SGzJ8i6U 44SdkONDSTNzhHZLfBkW2F+o0bsaC6GcmT7I+0854ud3AJV0gH1WhE422gYyhLrWd9a6bRPa DslvZvln6PeWk3cs/+PXUMRe7Fzue77q7OUFopBwMH9ALLtj+j6Kf7Hx+Ety1uKA9n8PMN8X Xljwe83amos+i6xhjAk0ff4o9bgsGJ8KowOOW8zuYUNxTxgUKTaINtV6bqhkFMnMij5Ew2kN 7FvhcnON4b0QKjQl2I
Ironport-phdr: A9a23:66BwfRfFn7hDm07oSIkk/FBrlGM+dtTLVj580XLHo4xHfqnrxZn+J kuXvawr0ASTG92DoK4c1LCe8/i5HzBbuNDZ6DFKWacPfiFGoP1VpTBoONSCB0z/IayiRA0BN +MGamVY+WqmO1NeAsf0ag6aiHSz6TkPBke3blItdaz6FYHIksu4yf259YHNbAVUnjq9Zq55I AmroQnLucQbj5VuJrwtxhfVrXdFdPhayGF2KVmOmxrw+tq88IRs/ilepv4t7dJMXbn/c68lU bFWETMqPnw668HsqRTNVwyD6GcCXG4LiBRIGQ/F7B/7Xpf1rCT3s/d21TeZM8PrU706QCyu4 Kh3RhDmjicHLCM5/3rMisNslqJboQmuqAJ5zoXJfYyaLvt+fqfafdMHWWpMW9taWiJdDo+ga YYEEuwMNvtaoYbgvVsDtRuwCxexCuPzxDFGhWP506I13Ok6DQHGxRAsE84SvHjIsdn4MroZX +CvzKnPyDXOd+5Y2Tb46IjPdBAqvPGCXbV+cMrV10YvDR7Og1KNp4zkOjOV0eINv3Kb4epnW +Ovj3AoqxtqrzigwscjkJLJho0SylHK7yl22po6KcelSE54eNOpFoZbuC6GOYVsWMwiX31ot zggyr0AoZO3YjQHxpQnyhLDZPKKc5SF7w/tWeuTJTp0mGxodba/iRux8kWt1+3xW8qw3VhEs idLncfBu3QR2xHO5MWLVvlw80G80jiB0ADT7/tLIUEylafDMJ4h2rowlpsJvUTYAiD2n1n2g amLfUsn4uil8/nrb7v6qpOGKYN4lgXzPr4zlsG+G+g0LxQCUmaD9eii1bDv4UP0TbBXgvEqi KbUsZXXKMUHqqKlBgJY3IQu5hm6AjqjzdgUgH8KJ09bdRKDkojpIE3OL+7iDfmiglStkSlky ujbMrDnH57DNGLMkK37crZ480NcyBQ8zdRY559MCrEBIfbzWkvttNzfFh81KRC7zPjhCNVhz I8eVmaPDbWDPKzIrVCE/P8vI+qUaI8UvjbyNeQl6ubzgXI3hVMRZ7el0YcTZXyiA/hrIl+Vb WfwjtoPCWsKuxAxTO3uiF2MSz5TYHOyUroh6DE6DYKmCoHDSpqtjryG0ia7GoNZZnpdB1CDF XfnbZ6EW/gLaCOcOMNuiCALWaK8S48izR2ushT1xKJ9LuXI4i0YqY7j1N9t6uHOjR0y7yB7D 9yB02GRSGF5hn8HRzgv3KxmvUN9zkqD3rNjjvxDFd1T4utJXR0gOZ7dyex6EdHyVRjbcteHU lb1CumhVHs6Sct0yNsTaW58Hc+jh1bNxWDiV7QSjvmAAIE+2qPaxXn4YchnnSXozq4k2mInR 8xJfUOhmapy7UCHPI/MlEPfuaG1cakG9CHJ/XyMynXItUoeTQ0mAvaNZmwWekaD9Yex3UjFV bL7UdzPUyNEwM+Gce5Rb8HxyE5BXLHlMcjfZGS4nyGxAwyJz/WCdtmiYH0TiQPaDkVMiAUP5 TCeLwFrPSakpGSYIjtxEV/1S0zo+PJxr2z9R0Ry0gLZJ1Z52e+N8wUOzeeZV+tV27sFvCk7r DAhJ1e42NSQJd2fowd7VKpYaMgy50gB3Gmfqg8udoe4IfVEgVgTOx9yo1uo1xhzDdBYltM2q Xox0AdoAaKZ1FddcCve1p32JvvYLmC09Rvpdq2+Nkj29tGQ9+9P7f05rw6mpwS1Dg859G0h1 dBJ0nya75GMDQwIUJu3XFxlvx5976rXZCUw/ea2nTVlLLW0vzne2tkoGPptyxCueM1aOb+FE wm6GtMTBsynIugn01azaRdMMOdX/a8yd8SoEpnOkJWqOeFm2hyhkmBK+qhy1kuX+C1jDOfDm YsGgrmZ0gaBSzbgnQK5qMmk/OIMLToWH2e51W3lHNsIPfU0J95aTz7wZZTvnYYb5dalQXNT+ V+9CklT3caofUHXdFnhxUhL0lxRp3W7mCy+xjgykjczr6PZ0jadpoaqPBcBJGNPQ3FvyFn2J o3hxesbWU+uKSYuix+o/271w6FAq6NgaWDYB1pLNXuTTSkqQu6ru7yObtQaoqgptCJRFsq7f lSXUJbypxIB3CT8WWJVgi04PWLP2N2xj1lxj2STK2x2pXzSdJRrxBvR09fbQOZYwjsMQCQQZ SD/PlGnJJHp+NyVk8yGqeWiTye6UYUVdyD3zISGvS/95GtwABT5kerh0tHgFAE712f82bwIH W3zrRP7ZM/F0Lu+PPhPcU1hH1D79IxzEcdjkcM8iYoR1n4TmpiOtSNcySGpaYQdgPy4NSJWD TcQprydqBDowkhiMm6Ey8riW3ORz9EgL9i2b2UK2z4susVDCaOa9rtBzk4X6hKzqQPcZ+Q4n y9IkKB2riRC0qdQ5kx0ln7OZ9JaVVNVNiHtiRmSutW3raEMIX2qbaD1z01m29aoELCFpAhYH nf/YJYrWyFqvaAdeBrB1mP+7ob8dZzed9UW41evkhLHia57L401m+Aiii5uIm36ojsswKgmj lY9uPPy9JjCMGhr8K+jV1RjNzjyYYU9/S7pgLx2kcKfxI+oAdNoEXMWX9G7KJDgWCJXvvPhO QGUFTQ6oXrOArvTEziU70J+pm7OGZSmZDmHYWMUxtJ4SFyBNVRS1UoKCS4ikMdzRWXIjITxN V107TcL6hvkpwtQn6h2YgLnXD6XpR/0OG5vEN7FdEsQtkcaoB6LVK7WpuN1FCVF8pDztxSDb HSBYBhFBn0IXUrCAE3/Or6p5p/L9O3SbganB93JZ7jG6elXVvPTgImqzpMj5DGUcMOGInhlC fQ/nEtFR3FwXcrDyX0JTGQMmiTBYtT+xl/08zBrrs257PXgWR7+rYqJBbxINNxz+hewya6dP u+UjSx9JH5WzJQJjXPPzbEe2hYVhUQMP3G1Fq8csCfWUK/Ksq9WCxoHbDs1P8ZO8+Qz2gALM MWdl9C0nr90g/gpCktUAFzsnsb6AK5Ca2q5NV7BGAOKLOHffmWNmZmmJ/riD+QI17Yx1VX4o zuQHk79My7WkjDoU0vqKuRQlGSAOwQYvoihcxFrAGylTdT8axT9PsUk6F9+ibAymH7OMnYRd DZmdEYY5IaR6CRexNt4BGhM9FJqKeCflCGGqeDTbIsV+6gOYGw8h6dB7XI2xqEApjlDX+Bwk TDOo8RGo1CilvWI0nxsXRxS7DlPjcSCtgN/Ou+Kk/sIEWaB9xUL42KKDh0MrNYwEdzjtZdbz d3Xnb7yIjNPmzo71cQYDtPbL93BOXFnLBm7QVY87SMFTDqvKWbHwUdQlu3U+Xmc6JEx7IXvy sJmolpzW1g8DfwdFQJsF5ofI8UvNg4=
Ironport-sdr: 67ab2498_MtDWFqTR7vSMVOTUB9Rw/0cYTi7I9cjVjhGWHE+7bi3NOne +aJTZduaC//lHlVXmYXFtrsdpcjxk9f0YcFDWfA==
Msip_labels:

==================================================================
Scottish Programming Languages and Verification Summer School 2025
Monday 21st -- Friday 25th July 2025
The University of Edinburgh
https://spli.scot/splv/2025-edinburgh/
==================================================================

Dear all,

We are pleased to announce that the Scottish Programming Languages and
Verification Summer School (SPLV) 2025 will take place in the University
of Edinburgh during July 21-25.

Scotland is internationally renowned for its leading expertise in
programming language design, implementation, and formal verification.
Since 2019, SPLV has provided local and international students with
foundational and advanced learning on topics in programming languages
and verification research.

Thanks to generous sponsorship we are able to subsidise student
participation. Registration and scholarship information will be
available on our website soon.

Please feel free to forward this announcement onwards to those
interested. We cannot wait to see everyone in July!

If you have any questions, please don't hesitate to contact the SPLV
2025 organisation committee at:

splv-2025-organisers-group AT uoe.onmicrosoft.com

Best wishes,

Malin, Ohad, Sam, and Nachi

---

Courses:

Program verification using concurrent separation logic
Robbert Krebbers, Radboud University Nijmegen

A few ideas from distributed systems for PL folk
Lindsey Kuper, University of California, Santa Cruz

Application programming with dependent types
Edwin Brady, University of St Andrews

Type theory
Fredrik Nordvall Forsberg, University of Strathclyde

Behavioural types
Simon Fowler, University of Glasgow

Concurrency theory
Rob van Glabbeek, University of Edinburgh

Logical relations for program equivalence
Filip Sieczkowski, Heriot-Watt University

Models, programs and bidirectional transformations
Perdita Stevens, University of Edinburgh

[Coq-Club] Scottish Programming Languages and Verification Summer School 2025 at the University of Edinburgh, Simon Fowler, 02/11/2025