[Agda] Midlands Graduate School - registration now open

[Graham Hutton]

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.