From: Andrei Popescu <andrei.h.popescu@gmail.com>
To: cl-isabelle-users <cl-isabelle-users@lists.cam.ac.uk>,
coq-club@inria.fr, fom@cs.nyu.edu, categories@mta.ca,
hol-info@lists.sourceforge.net,
"Announcement list for the South of England Regional
Programming Language Seminar (S-REPLS)" <srepls@jiscmail.ac.uk>,
caml-list@inria.fr, agda@lists.chalmers.se
Subject: [Caml-list] Midlands Graduate School 2025 final call -- registration closes on 24 March
Date: Tue, 18 Mar 2025 20:04:39 +0000 [thread overview]
Message-ID: <CAACfPHpZQfqqB=fiQGpMzZS6vqZehMs-NZn6VRc=ULHSc4_8JQ@mail.gmail.com> (raw)
Dear Colleagues,
There are still slots available at the Midlands Graduate School in the
Foundations of Computing Science -- offering eight fantastic courses
on category theory, type theory, coalgebra, semantics and more.
Registration closes on Monday 24th March, at 1PM GMT.
Best wishes,
Andrei
==========================================================
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.
Registration closes on ** Monday 24th March **. Spaces are
limited, so please register early to secure your place.
SPONSORSHIP
We gratefully acknowledge financial support from Amazon Web Services
and from The Research Institute on Verified Trustworthy Software
Systems (VeTSS).
reply other threads:[~2025-03-18 20:04 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='CAACfPHpZQfqqB=fiQGpMzZS6vqZehMs-NZn6VRc=ULHSc4_8JQ@mail.gmail.com' \
--to=andrei.h.popescu@gmail.com \
--cc=agda@lists.chalmers.se \
--cc=caml-list@inria.fr \
--cc=categories@mta.ca \
--cc=cl-isabelle-users@lists.cam.ac.uk \
--cc=coq-club@inria.fr \
--cc=fom@cs.nyu.edu \
--cc=hol-info@lists.sourceforge.net \
--cc=srepls@jiscmail.ac.uk \
/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