coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Midlands Graduate School (MGS)

From: Graham Hutton <Graham.Hutton AT nottingham.ac.uk>
To: "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>, "spls AT dcs.gla.ac.uk" <spls AT dcs.gla.ac.uk>, "coq-club AT inria.fr" <coq-club AT inria.fr>, "agda AT lists.chalmers.se" <agda AT lists.chalmers.se>, "haskell AT haskell.org" <haskell AT haskell.org>, "haskell-cafe AT haskell.org" <haskell-cafe AT haskell.org>, "types-announce AT lists.seas.upenn.edu" <types-announce AT lists.seas.upenn.edu>
Subject: [Coq-Club] Midlands Graduate School (MGS)
Date: Mon, 4 Mar 2024 09:10:51 +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 smtp3.nottingham.ac.uk
Ironport-data: A9a23:3XTmm6LBwxa1bwHUFE+RRpElxSXFcZb7ZxGr2PjKsXjdYENShmZSz 2YbD2HQO/+PY2DxeNl0b4q//UoOu5SAyt9rHQsd+CA2RRqmi+KVXIXDdh+Y0wC6d5CYEho/t 63yTvGacajYm1eF/k/F3oDJ9CU6j+fSLlbFILasEjhrQgN5QzsWhxtmmuoo6qZlmtHR7zml4 LsemOWBfgf7s9JIGjhMsf7b80sz5K6aVA4w5zTSW9gb5DcyqFFOVPrzFYnpR1PkT49dGPKNR uqr5NlVKUuEl/uFIorNfofTKiXmcJaKVeS9oiY+t5yZv/R3jndaPpDXmxYrQRw/Zz2hx7idw TjW3HC6YV9B0qbkwIzxX/TEes3X0GIvFLLveBCCXcKvI0LufTjL88pLKkYMFKYe1bZQPktz8 vw3N2VYBvyDr7reLLOTUexwnp9lKs73IIIZtXFpyHfQBrA7QvgvQY2Tv48ehmtrwJwSW6uDD yYaQWIHgBDoTAdGOl4STrIjgPuvgFH5dCFEqVSapaMypWHYihFyuFToGIOIJozUH5kEwS50o ErPzn7zMiATOeW15hCM9S3xvsuXvjrSDdd6+LqQrKcw0ALJnQT/EiY+Xlyi5PK9l0SWQMNaM 0VS+yw0rKF0+lbDczXmdwa9vGbf+BgbR8ZRFeI64QTLw6GS/gXx6nU4oiBpZp8BhPATYzsQ/ 3SPsIPOOhZSt726VifInluLlg+aNS8QJG4EQCYLSwoZ/tXuyL3faDqTEr6P94bp37XI9SHM/ tyckMQpr5o55fPnOo2g+Ezf2HSqoYTVTwg65gzSGGuuqB56DGJEW2BKwQeGhRqjBN/HJrVkg JTis5TEhAzpJc3R/BFhuM1XQNmUCw+taVUwe2JHEZg77CiK8HW+Z41W6zwWDB42apdYKGe2O xSL4Fg5CHpv0J2CMfMfj2WZV5VC8EQcPY6Nug38MIcTOcYZmPGvpXk3DaJv44wduBJ1y/FgY 8zznTeEEXYXQblhzSS7Xfwcza5jwS52w2TPWZH9wBSu1NKjiI29FN843K+1Rrlhtsus+V2Lm /4Gbpvi40sECoXWPHKImbP/2HhRcBDX87it95cIHgNCSyI6cFwc5wj5ke1/IdU7xPwE/goKl 1nkMnJlJJPErSWvAW23hrpLMdsDhL4u/CppDj9mJluyxXkobKCm6apVJdN9fqAq+KYnhbR4R uUMMZfISPleaCX1yxJEZ7nEratmaEuKgyCKNHGbezQRRcNraDHI3d7GRTHR0hcyIBC5juYAh oGx9xj6RMMDTjtyDcyNZ/OIyUiwjEcnm+lzfhXpJP9PdGXF4qxvdjL9rsUvKcQALiT8niar6 COLDSgDpM3mgYw8wP/Wj4+q8qarFOpfGBJBPm/5tLyZCwjTzlCB86RhDtmaWC/7VXzl3pmia cF+7eDOANdekHlk64NDQqtWl4Qg7N7Rlppm5wVDHkSTSW+0C7llc0K07eMWuoJjnrZm6BaLA GSR8dxnOJKMCsPvMHgVACEHNu2j9/UlqgP+3MQPAnfRxXFIpeKccEBoIROzpjRXL+J1PKMb0 O4RgpMqxDLluCU6EOStr35yzHuNHEwiQq98l5A9Aa3XsCQJ5GxGQ6ThDn7R3MnSRfRKalInM x2Ftprk3r58/HfPQ1A3NHrK3Ndeu6gwhQB3/Ac8AGqNy/X4ha4R/RxO8D4IYBxf4TdZ3slSZ GV6FU1HCp+f3jVvhcJGDjigNAVcNkeZ+kbKlls4hTCARliJTU3IFnU2YsyWzXAa8kVdXzlVx 66Zw2DbSgTXfNn98y8xeEx9odnhcIBBzRLDk8WZAMi1JZk2Tj77iKuIZ2BTiR/YLe4upU/A/ 89Gwf1RbPDlCCsuvKELMYmW+rAOQhSiJmYZY/VA/rsMLF7MagOJxjmCBECgSPxjf8WQ3xeDN PVvAcZTWzCV9iWE9GkbDJFRBY5Epqci4d5ad477IWIDjaCkkQNol5Dt7Qn7un4gRoR/sMQ6K 76JTQm4LE6ruSJ2lVPO/e5+AUjpRfkfZQb54vK5z/VRKbIHr9NXUB8T1pmagiyrFTVJrjOuk iHNXav099BZ6J9NmtLsG5pTBg/vJtLUUv+JwT+JsN9PTI3uNJrQuyMvslPiMwNnAuMMautSi Liyq9/T92HGtYYQTGr2tcSgFa5IxMPqR8tREJv9A0d7lBu4ev3HwkU86UHhDrIRi/JbxM2sZ zXgWfuKbdRPButsnixEWRZRAzM2KvrRbJ65gQifsv7VKBwW8TKfHeOd7XWzMF1qLH4ZCabfV D3xle2lvO1DjYJ2AxQBOfFqLrl4LHLnWookb9fBjiaZPEb5nmK9vqbeqjR45QHpEnWkFOPI0 aDBTDX6dzWwv/js5/NduIpQoBYWLShchc8dQ0EjwON12guKVDM+EecgMJs4U8Ae1mS40Zzjf zjCYVczESi3D3wObRz458+lRQuFQPAHPtDiPDEy4keIcGGMCZidBKd6vDJVi5usluAPEMn8Q T3fxpHxAvR16opsWf5IoPq8nftmwPzaz3dO8Eu7js+a79Pyx1kV/CQJIeaPfXWv/wLxeIHjI 28pWWFCT0GyTAj4GoB9eBa53TkH6Sj3wWxAgTinmb7iVkby8AGE4Pv4J/3y1LIDZcFMLbVIW HCfq65hJYyJ8iR7hJbFcO7FTUO55Txn0yR6wGLeqdUuopyN
Ironport-hdrordr: A9a23:3FuRMqo85GKhnG/3S8gbeogaV5t2L9V00zEX/kB9WHVpm5Sj5r mTdGxy726EtN9jYgBZpTnmAtjxfZq8z+8K3WB/B8bEYOCLgguVxeJZnPjfKl/bakvDH4dmvM 8KGcUTZ7OQMbEQt7eZ3ODMKadF/DDxytHMuQ6x9QYPcShaL5t45wM8LQCHHiRNNXt77QpQLu vm2uNX4z67PXgHZMWyAXcIG+DFut3QjZrjJRoLHQQu5gWChS6hrOeSKWnm4j4OFzdUhbsy+2 nMlAL0oq2lrvGg0xfZk2ve9Y5fltftwsZKQMaMls8WIDPxjRvAXvUcZ5SS+DQu5O2/4lcjl9 fB5x8mIsRo8nvUOnq4pBP8sjOQrQrGK0WSs2OlvQ==
Ironport-phdr: A9a23:mlgXXx3Vt8LrODLLsmDOCAsyDhhOgF0UFjAc5pdvsb9SaKPrp82kY BaOo6gzxwaTBs2bs6sC17CG9fi4GCQp2tWojjMrSN92a1c9k8IYnggtUoauKHbQC7rUVRE8B 9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUhrwOhBoKevrB4Xck9q41/yo+53Ufg5EmCexbal9I RmoqQjdrMkbjIptJqos1BfErGZDd+BKyW91P16ekAjw68Sq8JJ/7yhcvu8q+tJdX6n9Y6k3Q rtUASg8PWwy+MPlqwTIQxGV5nsbXGUWkx5IDBbA4RrnQJr/sTb0u/Rk1iWCMsL4Ub47WTK57 6d2UxDokzsINyQ48G7MlMN9ir9QrQ+7qBx+x47UZ5yVNOZ7c6jAc94WWXZNU8BMXCFHH4iyb ZYAD/AZMOhYsYfzukcOoxW9CwerGOzhxTBHi2Tq3aIh1uQtDQHG0BAiEt8IrX/arM/1NKAXU e2tzafI1y/Mb/NM1jf49YPGcA0hoe2QXbJ3d8ra1E4iGQLfjlqKqYzqJTaV2v4PvWiG8+pgS eWvi2g8pgF3pTiv2tssiojPhoIaylDL7yB5zJwvKtKkUkJ7fN2kHYJWuiqHOIR4XtksTHt0u CYm1LIGo5i7cTAKxZg72hLSZOCKfomH7x//SeqcLyt0iXx4dL+9iBu+7UqtxvPgWsS2zltHo SpLn9jQunwT2RLf9MyKR/9+80mh3zuEyg7d6uZBIU8ulKrbLYYswroumZYJq0vMAjX6mFj1j KOOcEUk/fSo6/j9brr8upCQLZJ0igL4P68zmcK/Gfw1PhUQU2WY4+iwyrLu8EPjTLhFgfA6i KnUvZDCKcgFp6O1HwFY34M+5xqjFTir0dEVkWcbIF1efR+KgZLmN03LLf39EPuyg1Khmyp1y vDCI73hGYnNIWbZkLn8fLZ86lBTxRIvwd1Z+plaEKsOIOjpVU/0rNHYDgE2Mwizw+v/E9V90 58eWXqBD6ODNqPStkOI5v4uI+mKa48VuCzyK/0/6/H0kXA1g0Idfaqx0ZsWbnC3AOhmLl2Eb XbygdoNC3kGswUwQeDwh1CPXiRfanayUq4k4zE0EoOmDYPNRoC3h7yB2T+2EJxMZm9cClCDC 3Loe5+GVfcRdCKSPshhkjofWLinTI8hyQ2utA78y7poLurb4CgYuYj529dp/eHTiBIy+SRyD 8uGy26NVX17nnsURz8q26ByuVFxxk+Z0adkm/xYCcBT5/RRXwgmMp7c1vV2BMz2WgLcZdiEU 02mQ9WjATEpVN092d4OY0BnG9WjlB/PxSSqA6VG34CMUdY676T01GO3IcFh1zDP3+88jBNuF sVSM0Wtneh58BTPQYfC1ViaweLiP60ExDXA8U+HzHGSpwdEWxU2UKvEG3Qaew3aoJ6xskraV 6SjDJwjMxBd0oieIbAMa9Poy1FDWbHvNYKaKyiqg2OrLRqD3fWDaIOscm5bwSaXQBwfiwQI1 XqNLk4xAi7nqmmYET84URqlaET1tOJ6tXmTT0kuzgjMYVcrn+6+/QdQjviBQdsS2KgFsWEvs WMwVBy00N7fI96BvBZ6Oq5caNc47U1ck3nU/UQpN5OsJohmh0UCaEJ8v0rq0hhtEcNbnJ5u5 DkqxRFxJKac+FNIbDCV2ZS2PafYYCGm/Bm0aKPS3nne2c2V96MLrvMipAOn9EupH1Eh/nFjl tJc3Xa05pzRDwcWVdT2SEl9v0x6rqrZby05oojd23BEMaCvsTLG35QuHuRzjl7qY8ZHPbjBH Qn0FNAcDMWGLO0xh0PvdR8NJ6ZP7KMyOYWre+bMkPq3Lf5th3evi2JA/YZ232qI9jFgUajT0 p8eheyA0w2BETrwkQHynNrwnNVrfzgSF2/36TX4GIlXLvldZ48LAGLoA9Cr2tJ4r5jqR2JZ8 lGjDlZA0cTvZBnEPA+15hFZyUlC+S/voiC/1TEhy1nBz4Ka1S3KmaH5cQYff3RMTy9khEvtJ o69i5YbWlKpZk4njkjt/l70ko5coqk3NGzPWQFQZSGjAHtrUqK18Jqff9JI7rsutjlLUeKzY VmfDLf25QYZgGv4B2UL/DkgbHmxv4nh2RlziWaTNnF2+VXDcMF5wFH/+cDAQvh52D0aWCh+h jneAx61NJ+0/obcjI/N58a5UW/pTZhPaW/rwIeH4TO8/nFvCAajkuqbgdj7CVN81yjny9hsW iXBqVD1ac/21MxWKMpBeU9lTB/54st+QMRll5cowYsX0j4cj4mU+nwOlSHyN89a0OTwdihFQ zlD2NPT7AX/vS8rZnuU24L0UGmcycp9dpG7ZG0RwCc088FNDu+d8rVFmSJ/plfwoxjWZLBxm TIUyP1m73B/4alBlxAkziyYRJAPAVVfOwTqkAiU7taxrKxSIm+kN6WzlQJ/kd2nELCes1REQ n+qH/VqVSR078h5LBfNyCiqsNGiIoWLK45P8EDJwHKix6BPJZk8l+QHn39iMGP55zg+zvIjy AZp1te8tZSGLGNk+OS4BARZP3v7fZB2mHmlgKBAk8KRx43qEI9mH2BBc4HhTfutVhIPqejgM S6IFyEgq3GUGbPaWwaUrlpl5SGqcdjjJzSMKX8VwM83DjaHLUxWhUY0QSkmmZgREAe22M3nf 0dw43YY7RjlqVEfr4Agfwm6WWDZqgCybz4yQ5XKNxta4DZJ4ELNONCf5OZ+d81B1qWotxfFa mmSZgASSHoMRlTBHVfoeL+n+djH9eGcQOu4NfrHJ7uU+6RSUPKBxJTn1YUDnX7EGd+GPnBnS d0mxlZEW1h/HNjFmjMASyUS0SvGKdOY7Bux4Sx4qMmj/e+jAVi/o9HTUP0ObZMypli/msLhf 6aIiTx8KCpE259E3nLOxLUFnRYThyxoazixAOEFvC/JQrjXn/wfBBoaZiVvccpQuvtmjk8XZ ZWd1o+zi+Mr65x9Q01IXlHghMyzMMkDImXncUjCGF7OLrONYzvC38DwZ6q4D7xWluRd8ROq6 lP5WwfuOCqOkz7xWlWhK+ZJ2Wu0JhVesYT7UgtxFW/lZNThdgG6NtB3hDhwyLZym3CAZgt+e XBsNlhAqLGd93YSre92G2VEqFp4MfWDnQ6f6PXEK5AZsfJuRC1/0f9ZqidfqfMd/GRPQ/p7n zHXp9hlrgS9k+WB/TFgVQJHtjdBgI/Y9VUnI6jS8YNMHGrV5B9Yp3vFEAwE/pE2b7+n87AV0 NXEk7j/bStP486Bt9VJHNDacYqKIHs6LQG7VS3VGU0yVialc2fYm1Bclv6S/3jTp5N8t5uJ+ tJGS7lQUEE5G6EtEVxrWtoFPIt2WDwkmLuSh9MLo2SjoR3QQ91f+JvAU5fwSb3uLj2dkLVJN R4BwLe9IJlVOYDw2EtsbUN/2o/NHgLRRYwf+3cxKFVo+wMXqiA4EDBWuQqtaxvxsiZJRbjuw kVw1lc4PLll9S+wsQpuYAaM9HN2yA5rxp3kmWzDKW+tavjrG9EQVG2v7S1Tetv6W1onMVX0x BQ7cm+CH/UI0fNhbTw51VWa4MMXX6YaFeodPFcR3a3FPq10lwgD7H3hnQgeuo6nQdNjjFd4K M/96SsRnVolNJlvfOTRPPYblwYKwPLe+HPujqdrm0cfIU0J7W+fKicNsV4PMKIrPGyj+ekJi 0TKmj1IfHUAWqgxuvws5EQ9PKKN0mrh1bVHN0y8ZduEN63B4zCYzZbQBFU3yl8JkUZF9L0w2 MxlbknxNQhnzb2aEwkFOJjZMQ8Td9BV6HXYYSeJt6PK3I5xOIK+UOvvSKeYvaIQyCpIBS4PG IIBpoQEF5ioigTDKNv/aaQCwlMr7RjqI1OMCLJIfgiKmXEJuZP3ypg/xoRbKjwHZAc1eSyq+ rbaoBMri/ufTZ83ZHkdRI4NKnMxXoWzhSdYu31KCDT/3PgezUCO6Dr1pyKYCzeZDZIrfPCPe RZlE8274x0k9rSu0hjR9YnCJmf1Nd1n/NbEr/4Z5t6GB/5SUbhhohLclo1fFBnIGybEFd+4I YS1apF5NIakTCzmCRrj13RoEpSUXp7lNKWDjAD2SJwBtYCa2GpmLsqhDnQEHBw2oegf5aV6b AlFYpwhYBeuuR5tUs73aAqezNiqRH6gbDVMSPwKh8qgbrxeymwMc/Omz30ISJYm0+ix/k4EQ dcDhVfDxrzwAusWGTi2AXFbdwjV8GAhkHN9M+8p3uol6AjNrUFHdTaMaPBobmNEttR6DFjUP HY8WQ9aDxeMyIHE5ACrxbUb+SBQys1V3eNyu3/7ppbDYTioVcRDSL3OtjY4Np4gpLFtMIrsI sKD8prV2CHcHsG4WuKtVimmC/tcldhZJWRRS79VmjN8USTjkYxG9VYwUMg+LrkJAaJqu7P4M VJZ
Ironport-sdr: 65e59020_/CThG1puIOi/3KuyXmwXkMP/o46+IS2X+5+u8xZg2i5iTtN 5uwq1OQnO3o0i5+/B+ZHMfeBJdHs/1ZA3yHzoAw==

Dear all,

There are just a few days left now to register for this years
Midlands Graduate School (MGS) in Leicester. Seven fantastic
courses on category theory, proof theory, type theory, session
types, and more. 8-12 April 2024, Leicester, UK.

Registration closes Friday 8th March.

Best wishes,

Graham Hutton

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

Midlands Graduate School 2024

8-12 April 2024, Leicester, UK

https://www.cs.le.ac.uk/events/mgs2024/

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:

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

Guest lecture

- Formalisation of Mathematics, Kevin Buzzard

Introductory courses

- Category Theory, Thorsten Altenkirch
- Proof Theory, Abhishek De and Iris van der Giessen
- Type Theory with Agda, Todd Ambridge

Advanced courses

- Session Types, Sonia Marin
- Synthetic Homotopy Theory with HoTT/UF, Ulrik Buchholtz
- Graph Rewriting, Reiko Heckel
- Categorical Realisability, Tom de Jong

REGISTRATION:

Registration is £295 for students, and £550 for academic,
industry and independent participants. The fee includes
all lecture courses and example classes, lunch and coffee
breaks, and the conference dinner.

The registration deadline is ** Friday 8th 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 (MGS), Graham Hutton, 03/04/2024