From: Tom de Jong <tdejong.ac@gmail.com>
To: constructivenews@googlegroups.com, homotopytypetheory@googlegroups.com
Subject: [HoTT] Midlands Graduate School (MGS): Registration closing soon
Date: Mon, 4 Mar 2024 12:54:46 +0000 [thread overview]
Message-ID: <25b02a1a-6d41-4f51-9a73-e312054aab3a@gmail.com> (raw)
There are just a few days left now to register for this year's
Midlands Graduate School (MGS) in Leicester. We offer courses
on category theory, proof theory, type theory, session types,
and more. 8-12 April 2024, Leicester, UK.
Registration closes Friday 8th March.
==========================================================
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.
--
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/25b02a1a-6d41-4f51-9a73-e312054aab3a%40gmail.com.
reply other threads:[~2024-03-04 12:54 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=25b02a1a-6d41-4f51-9a73-e312054aab3a@gmail.com \
--to=tdejong.ac@gmail.com \
--cc=constructivenews@googlegroups.com \
--cc=homotopytypetheory@googlegroups.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).