[Agda] Midlands Graduate School (MGS)

Graham Hutton Graham.Hutton at nottingham.ac.uk
Mon Mar 4 10:10:51 CET 2024


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.


More information about the Agda mailing list