Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Midlands Graduate School 2025

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Midlands Graduate School 2025


Chronological Thread 
  • 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 2025
  • Date: Mon, 27 Jan 2025 08:49:55 +0000
  • Accept-language: en-GB, en-US
  • Authentication-results: mail3-smtp-sop.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:qsujXKl2snh/kWf8uDr8xRDo5gwWIkRdPkR7XQ2eYbSJt1+Wr1Gzt xIfWTqHPK3ZYmqjftkgao7io01Sv8DXm4VmQVE9ri4yEFtH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvymTrSs1hlZHWdMUD0mhQ9oh9k3i4tphcnRKw6Ws LsemeWGULOe82Ayazl8B56r8ks14ayr4m1A5DTSWNgS1LPgvylNZH4gDfrpR5fIatE8NvK3Q e/F0Ia48gvxl/v6Io7Nfh7TKyXmc5aKVeS8oiI+t5uK3nCukhcPPpMTb5LwX6v4ZwKhxLidw P0V3XC5pJxA0qfkwIzxWDEAe81y0DEvFBYq7hFTvOTKp3AqfUcAzN1hU2YdGasIo99TIj9i6 /k4ED4jNTOM0rfeLLKTEoGAh+w4KdXzYMUZvW18zDfWDf8jB5nIBbjJjTNa9G5q1oYUQa2YP ZBBL2QyBPjDS0Un1lM/J4g3nO6twFnibyFfrnqTorYr4m7czAV0lrHmdsfWEjCPbZwNwRrB/ TKZrgwVBDk8OPKBkBeOwk73ufXor33WSNNRBKORo6sCbFq7nDVJWEJMDjNXu8KRgUmnHtlbN kY84TsrtaF09UqxT9C7UQfQnZKflgUZR8IMVes99B2MzKXU6gPfD2NCUz0phMEaWNEeSmMN/ Xuvj4rQIR8xnKOQaUqT2Oy3ombnUcQKFlMqaSgBRAoDxtDspoAvkx7CJuqP9obp0LUZ/hmsk 1i3QDgCulkFsSIc/4qRlW0rbhq3o4TREkgz4RnLX2Sq7gp8IoeuIZGrgbQ60RqiBNnFJrVil CFa8yR70AzoJc3W/MBqaLlWdIxFH97fbFXhbadHRvHNDQiF9X+5Zpx36zpjPkpvOctsUWa2O xCC4F0KvcQMbSPCgUpLj2SZV5pCIU/ISYSNaxwoRoAmjmVZKlLap38GibC4hD+3wSDAbp3Ty b/BKJz8UixBYUiW5Ca2Sq8A1741yzolxH/CDZf1hxKgzaafYnGVQLJtDbd9Rr1R0U9wmy2Mq 4w3H5LTk313CbSuCgGJqtR7BQ5RchAG6WXe95c/mhirflE+QDlJ5j646e9JRrGJaIwPx7uSo yDgBhADoLc97FWeQTi3hrlYQOuHdf5CQbgTY0TA5H75iyZxUpXl96oFaZo8cJ8u8eEpn7Y+T OAId4/ESr5DQyjOsWZVJ5Tsjp1QRDLyjyK3Pg2hfGceebxkTFf34dPKRFbk2xQPKSuVjvEAh YOc+DnVerc9YjhzLd33bauvxmyhvHJGl+NVWVDJE+Zpe07t0dZLLQrtgt8ee+UJdAvP5gGC3 QOaBiYn/fT8nKoo/ObShISvjYSgI81hFGV0QkjZ6reXM3HB32yBmIVvbseBTQr/ZkjVppqwR Lxy4annEfslmF1qjdJNI4xzx/hj2+q19q5o8At0OV7qMXKpM+pECVub15BtsqZt+OdoiTGuU BjSxugAaKS7A+K7Ils/PwF/U/+i08sTkTzs7fgYBkX2ySt03bifW3VpIBi+p31BHYRxLb8a7 78tiOwO5yy7rygaANKMoyRX1maLd1grcaEssLMEC47K1Csv7Hx/YqLnNyyn26HXNu1wMXQrL ASE24vEpbBXnXTZf1QJSHPi4Ot6hLY1gi5s8mMsHVqzp4f6tqcF5yEJqTUTZSZJ/ypDyNN2a zRKNVUqBKCg/AVIpclkXkKxEVp7XBSmp0r45HUVsGj3TW2uaHbsLXI8C8mJ7ks242JRRRkF3 bC6mULOcyfmQ9H15QQ2AXVakv3EScdg0DHClOSMPdW3L7NjbRXL2qaRNHc18T35CsYPtWj7j OhN/tcoT5bkNCQV8pYJO6PD2Zs+EBm7dXF/G9d/96Y0HEbZSjG4+R6KD2uTIsptBfj7wXWUO vxUBPBkdkqBjX6VjzUhG6QzDad+n6cp6Po8a7rbHzM6nIXFnAV5kqD713bYv3AqceVMgMxmC 4L2dhC+KEKyq0ZQuVfwqJhjBjLlT/gCPBbxzcKkwtUvTpgjitxhQWs287mzvkiWDjdZwgKpj FvDSpLSnsNfytVKvorzE698KR2+BvHtWc+prg2ikdR8QuneEMXJtgkQ+wHrEABLD+ERW95My LS8oYOu1VLkp5czaXjSwLOaJplK5OKzfetZCd32J39khhm/WNfgzh8A2mKgI7lLrY9t3damT A6Gd8eAT94ZdNNDznlzaSIFMRIiJ4noT6Xn/wWRku+tD0UD7An5M9+Xz3/lQmVFfCsuOZelK AvVue6r1+9IvrZ3Gx4IKPF3MaBWeGa5d/MdSOTwkj2EAk2DoFCI4OLinCV9zwD7MCCPFcKi7 K/VQhT7Sg+Jh5jJ69NkqK13gAwcCSdsoOs3f39FweVMtRKBMDckI9geYLI8MbMFohyqgdu8L HvIYXA5ACrwYSVcfF+uqJ7/VwOYHaoVNs2/OjUt+FiOZjyrAJ+bRoFs7Tpk/2w8bw6LIDtL8 j3C0iaY0tmNLpBVqSI7/fmnmbshwPTG2nMO9kD0lor7CFADAt3mEZCn8BVlDUT6/wPlzS0n5 lTZgUhCR12nSEj+Ec9lPXdeXgwa1N8q5yt9dj+Bmb4zpK3CpNCtC5TD1yXb1LofcMUMK74HQ DX+TC2Q4Ah6H5DVVbQB47oUvEO/NR5H8gVW4kMuqc3+UpxcMlgaAv4=
  • Ironport-hdrordr: A9a23:m3h7F6jNsbyIA5AN2pCfdUk0tnBQXnYji2hC6mlwRA09TyXBrb HWoByCvSWE+Qr5K0tQ4exoX5PwMU80lKQFn7X5Uo3SOzUO1FHJEGgA1/qQ/9SDIVyZygc178 4JGMISZLKfbGSS5vyKgjVQZuxQpOVvh5rY4Ns2oU0dLj2D+8lbnnxEIxfeFlczSBhNBJI/Gp bZ7s1bpyC4cXBSasigHHEKU+XKutWOzfvdEGE7Lg9i7BPLgSKj6bb8HRTd1hACUylXybNn9W TeiQT26qiqrvn+wB7B0G3Y6YhQhbLau6d+Ld3JjtJQJiTniw6uaogkU7qevCotqOXq81oumM mkmWZcAy2y0QKqQl2I
  • Ironport-phdr: A9a23:VMEnuhMt3zfKr2eWkswl6naoAhdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDvqwr1QCVFtyBtKsMotGVmp6jcFRD26rJiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wE ZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbAhFiiexbalvI Bi0ogjdudQajZVgJ6os1xDEvmZGd+NKyGxnIl6egwzy6sCs8pB97i9eoegh98lOUaX7e6Q3U 7lVByk4Pm42+cPmqwDNQROA6XUAXGoWlAFIAxXe4xHhQpjxqCr6ufFj1yScIMb7UKo7WTWm7 6dsVR/olCIKPCM3/W3LlsB9ir9QrQm/rBJj3YHbfICVNOJ/fqzDe9MaWXFBVdtVWyBYH4+wc 5cDA+8HMOlfsof9ukAOrQOgCgawGOPhxDhIhnrs0q071eQqDAXK0QMkEt4Ltnnfsdf7O7oIU e2tzKfG0yjNb+9Y1zn+74bHbh8vrv6XULJsaMrRzFUjFwPZglmOr4HuIjOb1v4Ks2ie9+duV PivhHQnqw5rpzik28UiipTVhoIJzVDE8zhyzYE0K92iUkF7YcSrEJ5Kuy+YKot2Xt8iQ2Zuu CshzL0GvoK7fDQLyJQhyB7fa+aIc42S7h35SOmdOyp4hHF8db+5mh29/lSuxPfmWcmozFZFs DBFkt/Uu30PyxHe5dWLR/lz8EmuxzqC1R3e5+9KLE40iabWKIItz7E+mJcRsUrOHi37lFv2g aGZdEgq9Oul5vnkb7joqJGRMZJ/hA/5MqQrgMO/AOI4PxASX2ia/+S91KDj/Vf9QLlQkvI2l azZvZbHLsoYvq60GxJZ3pgg5hqlETur39oVkWMZIF5bZB6LlYnkNlHWLPzmDPqzn1qhnTJ2y /zaJLLsA5DAImbfnLj6eLtw5VRTxBY2wN1a+p5ZCrcMK+/tV0/1qdzYFQM5PBKuw+j6CdV81 50RVHqTDqKfLajcq0WH5vg1LOmJfIIVuCjyK/wi5/P2ln85nEMdfbGm0JcNbnC4GehmI1mYY XrqjdcBEX0Fvg8kQOPwlFKOSyNTZ3WqU6I94DE0Fp6mAJ/eSoyzg7GNxjm3E5JYa2xcFFyAD 2vke5+FVvoMcC6SJ9Vukj0AVbivUY8h0hSuuRf7xbp9NOXU+jcXtZf52NZ3+u3TiQ0y9TtyD 8mG1WGNSH10nn8JRz8w06B/oVZyylKZ3adin/NUD8FT5/BRXgc8LpHT1/Z6BMzqWgLdYteJT 06rTsi+DTErUt0x28MOY1p6G9i6kh/D2DOqD6YJmLyPGZw76bnR32PxJsZ403bJzrMtj1ggQ stVNG2pnLRz9wbJB92Br0LM3aajbqcR2Crl9G6YzmeKuAdfSgE6GfHFVGsca0/ShdTw/UDPS 7voDq4oZE8Jg9KTMqZRL9Tvi1JbQvzuENDfeH6q3Xy9DA3O26uBaoysdmkAlm2JFFkcnhtW9 HCAMhU4DSqJp2PFECcoDl/meAXx6eR4rjW2QlJii0nAYVBn/7GuvBgSmeDaQvhVw7FO8HMvt jNcF0372dXKF5yJrEx8f/MYKZk0+E9c2Gfxsw1mIofmM6t5wF8QckJzul6o2xg9QtFJidAxo XYCyAtpNbnezFhaMTKW3Nb0P6CRJmSkuFjlYKnPn1razdy++6EV6f1+pU+p9FWiEVNn+HF62 fFU1WGd79PEFlxWGdj4XUo+3xx7vK3BJCI97ofR2Gd3d7K5+HeW0t0lDcMhyw28ZJFUMKqAE QLoCIsBCp7qYKYI3RCGZwgeMfxOvIszJdmnbLOY2afjHO97nz+iiSFs6Y5wmArY9yNnSePM2 9MOyv+V9guOTDTxiFPntdr4z9NqfzYXS0WlwCjtAcZxe7FueoBDXUi0Ks2+w5NemoLxXHhw8 lm/G1IA18+gfFybZBrg3lsDhgwsvXW7lH7gnHRPmDYzo//agXWmK4XKcRMGPjUOX2x+lRL3J pDyidkGXU+uZgxvlR2/5E+8ybII7L9nITz1RkFFNzPzM3kkSrG545WYas5G7dUIrDlLV+KUZ 1eGVr/7rBsT1mXqFC1Dx2NzbCmk763whAcyk2eBNDB2pXvdd9t3wELw/tXcTPsX/icaWC5+o T/QGkS9Odap9NDSnpyFr+PtH3m5WMh1di/mhZiFqDP95WBuBkinmOuvn9T8DQUg+TT+y8E2E yPPsAr9ZIbr3qH8OOkhY0oA6EbUzc18F8k+l4IxgMpVwn0GntCO+mJBl27vMNJd0Ka4bXwXR DdNzcSHqA7ikFZuKH6E3eebHj2U39dhat+mY2gXxjN17sZED72R5aBFmi09q0SxrAbYa/xw1 jkHzv5m5HkfiuAP8A0jq0fVSp8IFElROGrMigiU6NaWqqJLeGepfri50Qx3lpa8D/DKow1RX mr4ZoZ3BTV5vaAdeBrH1Hz+7J2hecGFNIhD8EfIyFGa1bATds9i85hCzTBqMm/8o3A/nusyj Bg1mIq/oJDCMGJ1uqSwHh9fMDTxIcIV4DDky6hEzaP0l8iiGItsHjITUd7mV/WtRXg9r/3nP gPIMCAgtnCdMbzYAROe7khmpneJGpvtKnLddxx7hZ1yAQKQIkBSmlVecy8znpc8UCC32NDmd m9/4SwN51j3qhJJjOtjcQT8GDS6xk/genI/T56RKwBT5wdJ6hLOMMCQ2el0GjlR4pyrqAHlx nWzXw1TFilJX0WFAwumJbyy/Zzb9PDeAOOiLvzIaLHIqOpEVv7Oy4j9modh+j+NMI2IMBwAR 7UUwENDVHU/O9nFhzIJYyoQiz7MacGbrRL68yYxs8P3/PnwWQ3p7JeCEPMLa4UpoUztx/3Zb 6jO2W5wMlM6ntsUyGXNyaQD0VJakCxoezS3UPwBuSPLUKPMi/pSBh8fZTl0MZgtjep01Q1MN MjHz9Ltg+ci3rhvVwwDDwa53J/0NqloaymnOVjKBViGLuGDLDzPmITsZL+kDKZXlKNSvgGxv jCSFwniOC6Cnn/nTUPKU6kEgSeFMRhZoIz4fAxqDD2pY8jvahS+dv9qkSExx5UygW/WNGgTM TF5NUpG6KCTp3A94L03Cyla43xpIPPR0QmD5unRL9A2rOd3BSJckeVG/HU8xLtc6WdNT7pom 2GBy7wm60Hjme6JxD19VRNIoTsen4OHs3JpPqDB/4VBU3LJr1odqH+dABMQq555G8Xi7upOn 8PXmvu5e1Igu5rEuNERDM/OJIebPWo9ZFD3TSXMAlJNQC6qLn3E1QFOkeTUwWaNoN48rYTwm ZwBSrZeElU+UO4ZbyYtVN0EK5NqUj52pqWDgogO4mairR/eRMxft5vaVbSMHPjrKTGBiP9PY B5to/uwLIIYMpD31h5nY1h+2YnXXUXdVtNKrCp7a0k/p0AF8WAiHDRpiwS/NljruiVLU6Dp+ 3x+wgpmPbZ0rmequQtsYAaW4nZt2EgpxYe42HbNNm6pav/3B94eCjKo5RFgbtWkGEAlK1L1x hYBVn+MRqoN3ec4Mzkz10mE/8MIQKAUTLUYMkJKg6jPP7Nwlwwb83nvxFcbt7KdVd0+y01yN 8br9i0luUorbcZpd/WBdewQnx4IwPrJ5Hbg1/htklZAfQBdoCXOPnZP4hdAN78tIzek875l7 AWQnD1YdXNKXP0vx5AivkI7MOCdwy+yyKZNbFK2N+vZIr7Rum7LkdOETwEHzVsGzxEdpeAui YEldFaIVkYgzLKUUR0Cc9fBTGMdJ8tU/3zOcSvcqv3Dh4pvOJmwHfzpSunIs7sIhkWjH0AiG IFE+M0FGtPEPFjwC8DhIfZFzBws4F+uP1CZFLFSfwrNlj4bosa5xZsx3I9HJzhbD38veSOwr q3aoAMnmp/hFJ8/f2saU40YN3k3RNzymihXuG5FBSW21eRRwRaL7jv1rCDdRDfmaN8raPCRb BJqQNa4nFd3u7CxkkLS+47CKnvSLtF+ooOJ7+QGu5eBBPNdSP90uAHBmMgQRnCnVXLODc/gJ 5X0bNpJD5S8AXK7X1qjzjMtGp6rbJD3cvPO21uwA9gJ4+z5lHg5OMSwFy8TAUJ1ruAHv+dnY BEbJoE8eVjuvhg/MKq2JEGZ1M+vSiCjM2gzLbEXwOOkarhQ1ydpYPW9zS5qYYszz+Cyt24QW I0NiDnYwuq/Zo9RUSH2XHVWPRjM73lc9SApJqMpz+EzzQmd+0EbKCyOffd1ZXZspNQgHQ/UJ 3JqFms+SF+ViMzK6Uix3PpBmkkV18YR2upDvn/ku5bZaz/5Q62np6LetC84ZMQnqal8WWQCC tCDqIuC2DrYUIXRtAKFWSv8HvEch9sCeEqwpdFOnn05OMoJuYNEr0M6ENo9deQn4EYEoLe2d TtiAi4byGkQXMWd325b6to=
  • Ironport-sdr: 679748c2_EdGT/Ezkcdt7H2FqfdNGqzHldyUJdd92aSSIcvcd4lJLcHi lKZXUVC0ruztyY1YisZNuqxnWCqvKrJa+rELKQA==

Dear all,

The Midlands Graduate School (MGS) in the Foundations of
Computing Science will be held 7-11 April 2025 in Sheffield,
UK. Eight fantastic courses on category theory, type theory,
coalgebra, semantics and more. Please share!

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

- 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:

Will be open shortly; further details to be announced.

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.

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



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 2025, Graham Hutton, 01/27/2025

Archive powered by MHonArc 2.6.19+.

Top of Page