coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Midlands Graduate School - registration now open

From: Graham Hutton <Graham.Hutton AT nottingham.ac.uk>
To: "haskell AT haskell.org" <haskell AT haskell.org>, "types-announce AT lists.seas.upenn.edu" <types-announce AT lists.seas.upenn.edu>, "fun AT cs.nott.ac.uk" <fun AT cs.nott.ac.uk>, "appsem AT lists.tcs.ifi.lmu.de" <appsem AT lists.tcs.ifi.lmu.de>, "coq-club AT inria.fr" <coq-club AT inria.fr>, "agda AT lists.chalmers.se" <agda AT lists.chalmers.se>, "J. Garrett Morris via Haskell-Cafe" <haskell-cafe AT haskell.org>
Subject: [Coq-Club] Midlands Graduate School - registration now open
Date: Tue, 18 Feb 2025 10:40:20 +0000
Accept-language: en-GB, en-US
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=Graham.Hutton AT nottingham.ac.uk; spf=Pass smtp.mailfrom=Graham.Hutton AT nottingham.ac.uk; spf=None smtp.helo=postmaster AT smtp4.nottingham.ac.uk
Ironport-data: A9a23:NcwJLKoL5zHMNu6Tm+RnfUFvirteBmKNYRIvgKrLsJaIsI4StFCzt garIBmOPP6CZzGjLt53PYW0905SsZaBnIUwQApoq3oyQSMV9OPIVI+TRqvSF3PLf5ebFCqLz O1HN4KedJhsJpP4jk3wWlQ0hSAkjclkfpKlVKiefHoZqTZMEE8JkQhkl/MynrlmiN24BxLlk d7pqqUzAnf8s9JPGjxSsvnrRC9H5qyo5WtC5wxmOZingXeH/5UrJMJHTU2OByCgKmVkNrbSb /rOyri/4lTY838FYj9yuuuTnuUiG9Y+DCDW4pZkc/DKbitq+kTe5p0G2M80Mi+7vdkmc+dZk 72hvbToIesg0zaldO41C3G0GAkmVUFKFSOuzdFSfqV/wmWfG0YAzcmCA2k8EaoA3tYnO1tf8 PcHawwUVjqCt86plefTpulE3qzPLeHwOZ8H5jdmyi3FDPApQZnGBazBo8JbtNsyrpkUTbCEO 5FfM2A3KkqdC/FMEg9/5JYWs/2hhnD6NR1FtE6So4Ix5HTPzQp+0LHodtPePMGJLSlQthzA9 j2WoTmhUnn2MvSg6B6EzyKRxdaftgHHXKxCCuCYy9pT1Qj7Kms7UkRMBQTh+pFVkHWWUNVGb kcQ5yAGtrk37EXtT9/nXhT+rmTsg/IHc8FVD/VmrgeK1rbV5QmZD21CRzUHdd9OWNIKqSIC3 HOuh/fZVQZVobieVjGh74++rAOeJn1ARYMdXhMsQQwA6tjlhYg8iBPTU9pueJJZaPWpSVkcJ BjX9EADa6UvsCId60ms1X/t6w9AS7DSSxItukPRWX657wV2ZIegIYWjr0XYhRqhEGp7Zgbb1 JTns5HAhAzrMX1rvHDRKAnqNO31j8tpyBWG3TZS82AJrlxBAUKLc4FK+y1ZL0x0KMsCcjKBS BaM4lIBvcAKYivxPf8fj2eN5yICkfiI+TPNC6i8UzaySsIZmPKvonwzPhD4M57FzBJEfV4D1 WezK5/2XSlAUsyLPRKqR+pVzLkq2C0k3mLPVNj8wVyh1qaCZXiaSb4AWGZinchkhJ5oVD79q o4FX+PTkk03eLSnMkH/r9VJRXhUdidTOHwDg5AMHgJ1ClY9QDl5YxIQqJt9E7FYc1N9zbiTp yHnAhUAkjISRxTvcG23V5yqU5u3Nb4XkJ7xFXxE0Y+Aiih9M7W8prwSbYU2drQB/eluh6w8B focdsnKRrwFRj3b8n5PJdPwva5zRiSN3AiuBiuCZCRgXphCQweSxMToUDGy/wYzDw22l/AEn Zue6i3hT6A+GjtSVPTtVKr3znean2Qsp+Zpbk6ZfvhRYBrN9aZpGQzQj9g2AdwGci+bzwTH0 Q+5Lws8oMfPh4kL6vjImqG2gIO7GMRuHkdhPjf67JTnEQL472ac0Yt7f+LQRg/kVUTw47SEW eVZ69reIc83tg9GnKQkGok60J9kwcXkooFr6zhNHVLJXgyNMaxhKHzX5vt/nPRB6ZEBsDTnR 3/V3MdRPIiIH8bXEFQxAg4BRcbb3NE2ngji19gEEH/Y1gRWooXeCV5zOiOSghNzNLF2aYMp4 dkwsf4stjCQtEAYDcakvAt1qUK3MX0yY4c2vMo7AajqqDYR5HNsXJj+MhLysbazM4hiE09yO TKFprvwt5IFzGr4TncDP3zs3+1cuJcwhC533GIyf1SnpveVh9sc/gFgzjAsfwEEkjRFy71SP 0ZoBW1UJIKP3SVitPJceUvxBgsaPkWQxRH3wnQniEncYUuMUFLXDWwiONSi+FIS3HJccwN6o pCZ6jfBehT7cP7h2hAdXRZelMXiathq5yv+mMyDNOaULakQODbKrPenWjsVlkHBH8g0unzim cBr2+RBMYvAKi8apvwAObmwjLg/ZkiNGz1ffKtH4qgMIGD7fQOy0xioL2SaWJtEB97OwH+CJ /1eHOB9fDXg63/WtREeP7AGHJFslv1w5NYiRKLiFVRbj5Sh9AhWoLDi3QmgolQ0Qudes9c3c aLQUDOgLla+p1Vpn031kc0VHVbgPPclYlXn0fGX4dc5McsJkNtRfHEY1pq2uHSoMzVbwS+Eg TObZ4Lry71N9Ic9uartDaRJOCusI/zRSumj0V6+ovZOX/z1IObMsAIfrwi/MytSIIlLW9R9r umNgc+qhUrUna0XVlrBkMKrDJh55sSVXctWPPnoLXJcozCwZc/07zYH+EG6MZZsku4B1vK4R gC9VtS8ReQVV/hZ2ndRTSpUSDQZNIjacYbionmbg8mXKx1AzzHCEsyrxUXpYU5faCUMHZ/0U S3wmvS24+FnvJZ+PwAFC95mEq1HDgfaA4V+TOLItB6cEmWMqXGBsOG7lRMftBf6OkPdG8P+u Z/4VhzycSqpg57xzfZbjpdTuyMGB3MskMgyeUMgo+RNsQ6YN1JfD+ohMsQhMKp2wxzCjMSyI HmHaWY5EizyUAhVaRi2spypQg6bAfdIIdvjYCAg+0SPcSqtGYecG/1b+zx952ttMC7WpA19x QryJlWrVvRw/n1oeQrXzue+nf87gPXd2m4J/0/9msm0Ch1YHLZiOLmN2uZSfXSvLi0PvByjy asJqaRsRkanVU/3HsZpfjhcE1cEv1sDCh02ODyXzo+3V5qzlYV9JT6WBw03+rsEcNgLIrEOT HaxTmDL/mP+Nrn/f0c2k4pBvJKYws5n0iR3wGEPiOHSc2yNBrwbAv4/
Ironport-hdrordr: A9a23:08V4V6xlyavnUJDTBwElKrPxceskLtp133Aq2lEZdPUMSL3gqy g39M5rpCMc+wxhIE3I/urwSJVoIEmsi6KdjrNhWotKMDOHhILKFvAQ0WKB+UyHJ8SWzIc0vs 0MH8cRaeEYZmIK7/oSlTPId+rIt+P3lZxA692urEtFfEVRcqllqyB+FwrzKDwFeOHXbaBJb6 a0945CvX6taH4XZsO0Cj0MWPXCvcTCkNbjbQQdDxAq5QGShXfwgYSKbCSwz1MbSXdC0L0i+W /Kn0jw4biiqeiyzlvZ23XI55pbldP9wp9IBdCKiMISNjLw4zzYGLhJSvmHpnQ4seuv4FElnJ 3FpAohJd167zfLcmS8sXLWqnTdOfYVmgXf9WM=
Ironport-phdr: A9a23:0qtCzxMU9bqO66IrO4Ml6naFAhdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDvq8r1AeCA9yDtbptsKn/jePJYS863d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T 4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fcbghGmjaxe69+I Am5oQjQq8UanYpvIbstxxXUpXdFZ+tZyWR0KFyJmBry+tm+94N5/SRKvPIh+c9AUaHkcKk9U LdVEjcoPX0r6cPyrRXMQheB6XUaUmUNjxpHGBPF4w3gXpfwqST1qOxw0zSHMMLsTLA0XTOi7 7p3SBLtlSwKOSI1/H3Rh8dtl69Qvg6vqAJjzI7VeIGVNeRxfqXBfdMBWGFNWt9dWzFdDo+ga ocCCe0OM/tFr4nmv1sBswexBRWiCuPozz9HnH723asn2OglHgzL2AksEtQTu3rWsdr1Lr8fX +CrwqfV0TXNYfBY1zDh54bHfR8suu2MUql1ccbNyUkjCwHIg1ONooLlJTOV0eENvnCa4ep6T +2vi3QoqwRsqTat28cslpXJhoUTylvZ8ih3wZw1Kse4SEFhZN6oCpletzyGN4tqRcMiRXplu CA9yr0apZ67fS4KyJsnxxHFbvyLaZKH7Q75WOaMIjd1nXRoc6+wiBiu60av0PH8VtWq31ZQq CpIitfCu24O2hHO7sWJRfVw81q81TiAyQze7uVJL080m6TbN5Is36M8m4cTvEnfHyL7mUT7g aCYeEgn5+Wm5eTqb6jgq5SBOYF0jQT+Pb4vmsy5Gek4LgkOX26b+OShzr3j+Vf1T6lNjv0zi qXZtpfaJdgHpqKjGQBazpwv6wu8Dzqgzd8WnmEHIUpYdB6ZjIXlIU/CLf/2APulnVigjitny +rHM7DhGpnBMHnOnKvvcLt49kJQ1BA8wNFa6p5KFr0OO/f+V0Hru9DECxI0NhG4zubhBd5gy I4eXX+PArSFMKzMq1+G++MvIuiSa4INpDrwLeUu6eT0gn8jg1AdeLGk3ZsJZ3C8GfRrO16ZY X/wgtcZHmoGpAw+TOv2iF2eUD5TYXmyX6Im6TE+Eo6pF5vMSpqwgLyCxCu7H5tWaX5aCl2UD HvkaYaJV+0SZC+dLMJtiCIIWaa9R4M71ByjtBf2y799IerV/i0Yu4jj1N9w5+DLlB8y7yZ7D 8SH3GGIVW16nH4IRyMq3KB4p0xw0VGD0a9kg/xEFNxT4fxJUgcgOp7Z1eB1Ecz9VhjcfteKU FqmRM6pDikrTt0t298Of1p9G9K6gxzexyaqGaMal6SXBJwo9aLRx2T+J8Fky3rfyKYhi0QmT dBUOG29hq9/8hDTCJTTn0WYkaaqb6Uc0zTX+GeN12rd9H1fBURwWL7GUHQbTkvfttf04keES KWhQ/xzMgJaysOGLoNKY8bqgFFCAvD5N4KaKyitin+9HlOBwLWLcYzhdk0Z3T7BEw4fngkIu 2ueOA44QCqtviiWWCB/DV/0Jkrq9+5jrni2Zks11B2RKVZs3qHz5wYYg/raRv8OiPZM8ik8r R1/BxC72M7KTdOL4RdiNu0Ib847yFxck2TeqxA7N5fmMqM0whZUehxvpE7r/xF2EZlb19Qht zUrwgs0LaeFll9MPXvM1IjoIbDSAm3z5wy0LbLdwRff3tfQ/qISrvg1/RGr9gquDw8p92ht+ 9hTyXqVoJvQRkJGWpXoF00z6hJSprfAYyB76ZmCkTUmOKa4uxfG2sk1H60uyh+ketpFK+WfG UW6R8QVC8GGLO0xh0PvZRINOOVf7rVyJM7wM7PM+ujjE+96hj+6kSxi55pn01nE6St1As7Bx JUIx/Xd9QKJWn202FeoqcP6nYQBbjgcE0K/wDPnCYpVIKpoctBYJ32pJpiY3Nx+jpule2NE6 FmlTwcpwsapcB/UT0HhwQpW/UIQvWCmnyS4xjkymjpvs6nJj3+G+PjraBdSYj0Df2Jll1q5Z NXt5zh7dE2hbgxz0QCg+V6/3a9Q4qJ2M2jUR05MOSnwNWBrFKWq5fKZe8AazpQuvG1MVfikJ 0iAQ+vSuRIa2ialP3ZC2Dc9Xzetpon4mRN6gWfbJX01sXmKMdpoy0Ln7cfHDeVUwiJAQSB5j TfNAV3pEMOg/dyR0bfervy5UUqnUYFPcC/kzYqF8iKwo3BpUlWkh/7mvNrhHEAh1DPjkdlnU SKdtBHnfozizLi3K8p8e1VwWBn67NZmG4dxkoI1wpgbn2UZ7nmM1VwAl2q7cdBS2KakKWEIW SZO2dnepg7sxExkKHuNgYP/THSUhMV7NZG8ZSsN1yQx4tovau/c5aFYnSZzvluzrB7AKfl7k DAHzPIy6Xkcy+gXsQspxy+ZD/gcB05ddSDrkh2J6Zi5osA1LC6Aa7Gw3U84vc29ELaEigdbR Gr4fJgiFCo25845LVGNmHz/54f4ecXBOMoJv07x8V+IhOxUJZQt0/sS0HM9aSSn4SZjkbRjy 0IzjvTY9MCdJm5g/by0GEtdPzzxPYYI/y31yLxZlYCQ1pyuGZNoHnMKWoHpRLSmCmF317yvO gCQHTk7snreF6DYGFrVx11vr3vKVbC2K22QIlEfysl+RR+SJEVaxgkfGig51M1cdEji1In6f UF16ypErHHioxtFz6RIKgXjVWH3ogC0djYyR5iWKVxf5Udf5A2GVK7WpvI2FCZe8Jq7qQWLI WHOfAVEA1YCXUmcDkziNL2jjTXZ29CRHfH2b/7HYLHU7PdbS+/N35WklI1v4zeLMMyLeHhkF fwynERZDzh1HMHQmjNHTCJy9WqFQNSSpB65vA1qsty49tztXx7z5I2AC7JXd9xkvQ21yauOL O+fgi9lJC0Qj8lcgyWUk/5FhgZU1XwmfiLIc/xIrSPXSaPMhqJbRwUWbS9+LooA7q4x2BVMJ d+Oj9r00rBiiftmbjUNHVflm8yveYkLOzTkbgOBXhrQcu7cfXuVnpKSA+v0U7BbgeRKugflv D+aFxWmJTGfj3zzUBvpN+hQjSadNRgYuYencx8rB3KwKbCuIhC9LtJziiU7hLMugXaff0EGO Dh1dgVts6GM6iVwhPJjB21H4XpsKK+NkGCE7KOLT/Re+esuGSlym+9AtT4V0bJV5SQCZOFph CzUhthpv02nlOaPwz8hWREItzUB1+fp9Q1yfK7e8JdHQ3PN+hkAuH6RBxo9rNxgEtTzuqpUx 4uHhOfpJTxF6d6R4doECp2eNpecKHR4e0mMenacHE4fQDWsL22am0FNjKTY6CiOtpZj4pX8m YESUe0WR10gUMQBEkojGtsePJZxUTMtlPiSh4gV5h/c5FHQQs5eo5zKBMWJGfupLjGFkbhCa BsBxLrzMIdVKJD2301lclw8l4PPfiiYFdFLqSl8YgJmpUxM9D1zUys81knmbQ2q+npVHvmx1 h8u1lknO7Rrrmu3pQ1tfhyU+U5S2AEwgYm32GrBNmStd+HsAccLVmL1rxRjb8q9H0AlNUvq2 hY7fDbcG+AI3ucmKjst2EmD/sAVfJwUBaxcPE1MnbfOP6puiRIE7Xz5jU5fubmYU907zFNsK dj06CsckwN7MIxsffCWePUPlh4IwfvR203gnuEpnF1HdhdLqTLUIGhQ/xZRfrg+e3jxoLYqu VzEx30bPzJXH/ssqfZ3+k5vMuGJ3SXmyLNYbEu2Mon9Z+uYvWPEiMKFEEgo2AUakElCu7Vrm cYleE6JW019+6CJGUxRbZKacVkTac1O6HnVciaHtKPEytRoPODfXqjpS+SKqaoZ0Fm8EkAxB YMQ488dH56qlkbFMcPgK71DwhIorBLiIFHPZBhQUDSMljpP48S2zZstmJJYOilYG2J2dyO++ rfQoAYuxvuFRtY/JHkADMMCMTotVcu2ljQ83TwIBSSr0u8f1AmJ7iPt7iXWAj7matN/ZfCSL RpyAdCy8D87/uC4k1nSupnZImj7M5xltLqtoasCoI2bDvpPUbRnm1zZh5EEAXqtT3LOF9G1L p22YoJqcN+1Qne2X1qjii4kGsf8ONH+S8rAyQrsRItSrMyaxGV6b5/7TG1FXU0q/6ddufEZB 0VLeZcwbB/2uh5rMqW+JF3dydCyWyO3LjAQSfBDzOK8brgRziw2b+b8xmFzK/Nyh+Sx70MJQ 4kHyx/EwvP2LaZEWCj6Hzp9ZhnToiwRkW99Kuc0zec2xVXBuh8BMHrYEY4hIHwBpNw6CV6Id D9uDXEkQlaHkYfZyhWpw6hOuS1ag8pV1+JFuX24t5SZfTHmC8nJ4d3F9iEna9Yhuah4N4fud 9CHuJ3plTvaVJDMsweBXUZS9tJBn8RIfGReR+VUmGcqOcUD/4NKr1cyBJ9Wz1lnDq4wurGsZ jptCGgbxmkEVNHYtNTtquG7x6fbkBiQeZFkORdCrZYQ27Mg
Ironport-sdr: 67b463ac_zCoMgvi2Law2Vm6YqQ4ho6hPCw/VJz4IpByWxRdNpG4/DWu 4IplfH3w7mWZvTOFi9MLhPaKvabPK6Bm8JT2hDw==

Dear all,

Registration is now open for the Midlands Graduate School
(MGS) in the Foundations of Computing Science, 7-11 April
2025, Sheffield, UK. Eight fantastic courses on category
theory, type theory, coalgebra, semantics and more.

Spaces are limited, so please register early to secure
your place. Please share in your communities!

Best wishes,

Graham Hutton

==========================================================

Midlands Graduate School 2025

7-11 April 2025, Sheffield, UK

https://tinyurl.com/MGS-2025

BACKGROUND:

The Midlands Graduate School (MGS) in the Foundations of
Computing Science provides an intensive course of lectures
on the mathematical foundations of computing. The MGS has
been running since 1999, and is aimed at PhD students in
their first or second year of study, but the school is open
to everyone, and has increasingly seen participation from
industry. We welcome participants from all over the world!

COURSES:

Eight courses will be given. Participants usually take all
the introductory courses and choose additional options from
the advanced courses depending on their interests.

Invited course

- Four Lectures on Proof-theoretic Semantics, David Pym

Introductory courses

- Category Theory, Thorsten Altenkirch
- The Curry-Howard Correspondence, Anupam Das
- Quantum Computing, Venanzio Capretta

Advanced courses

- Coalgebra, Paul Blain Levy
- Linear Logic, Abhishek De and Charles Grellois
- Modular Proofs in Isabelle/HOL, Chelsea Edmonds
- Refinement Types in Haskell, Brandon Hewer

REGISTRATION:

The registration fee is £300 for academic participants, and
£500 for industry participants. The fee includes all lecture
courses and example classes, lunch and coffee breaks.

The registration deadline is ** Monday 17th March **. Spaces
are limited, so please register early to secure your place.

SPONSORSHIP:

We offer a range of sponsorship opportunities for industry
(bronze, silver, gold and platinum), each with specific
benefits. Please see the website for further details.

==========================================================

—
Professor Graham Hutton
School of Computer Science
University of Nottingham, UK
http://www.cs.nott.ac.uk/~pszgmh

This message and any attachment are intended solely for the addressee and may
contain confidential information. If you have received this message in error,
please contact the sender and delete the email and attachment. Any views or
opinions expressed by the author of this email do not necessarily reflect the
views of the University of Nottingham. Email communications with the
University of Nottingham may be monitored where permitted by law.

[Coq-Club] Midlands Graduate School - registration now open, Graham Hutton, 02/18/2025