[Caml-list] Midlands Graduate School 2025 hosted by the University of Sheffield

[Caml-list] Midlands Graduate School 2025 hosted by the University of Sheffield

[Andrei Popescu]

Dear Colleagues,

This year's Midlands Graduate School in the Foundations of Computing
Science will take place at the University of Sheffield. We have some
great lecturers and topics. (Below you can also find information about
fees. The registration site will open soon.)

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

FEES AND REGISTRATION

The fees for MGS 25, which also cover catering (including coffee,
pastries and lunch) during the day and optionally the conference
dinner, are as follows.

- Academic participant: £300, plus an optional £30 dinner ticket for
Wednesday evening.
- Industry participant: £500, plus an optional £30 dinner ticket for
Wednesday evening.

Registration will be open shortly.

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.

[Caml-list] Registration now open -- Re: Midlands Graduate School 2025 hosted by the University of Sheffield

[Andrei Popescu]

Dear Colleagues,

Please note that the registration for the Midlands Graduate School is
now open. You can access the registration site either from the MGS
2025 site (https://tinyurl.com/MGS-2025), or directly from here:

https://onlineshop.shef.ac.uk/conferences-and-events/faculty-of-engineering/computer-science/midlands-graduate-school-in-the-foundations-of-computing-science-2025

Best wishes,
Andrei

On Mon, Feb 3, 2025 at 2:37 PM Andrei Popescu
<andrei.h.popescu@gmail.com> wrote:
>
> Dear Colleagues,
>
> This year's Midlands Graduate School in the Foundations of Computing
> Science will take place at the University of Sheffield. We have some
> great lecturers and topics. (Below you can also find information about
> fees. The registration site will open soon.)
>
> 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
>
> FEES AND REGISTRATION
>
> The fees for MGS 25, which also cover catering (including coffee,
> pastries and lunch) during the day and optionally the conference
> dinner, are as follows.
>
> - Academic participant: £300, plus an optional £30 dinner ticket for
> Wednesday evening.
> - Industry participant: £500, plus an optional £30 dinner ticket for
> Wednesday evening.
>
> Registration will be open shortly.
>
> 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.