The Coq mailing list

[Andrei Popescu <andrei.h.popescu AT gmail.com>]

CALL FOR PARTICIPATION

     21st Midlands Graduate School in the Foundations of Computing Science
                                                       MGS 21
                                       12-16 April 2021, virtually
           https://staffwww.dcs.shef.ac.uk/people/G.Struth/mgs21.html


OVERVIEW

The annual Midlands Graduate School in the Foundations of Computing
Science (MGS) offers an intensive programme of lectures on the
mathematical foundations of computing. It addresses first of all PhD
students in their first or second year, but is open to anyone
interested in its topics, from academia to industry and around the
world. The MGS has been run since 1999 and is hosted alternately by
the Universities of Birmingham, Leicester, Nottingham and Sheffield.
MGS 21 is its 21st incarnation. Information about previous events can
be found at the MGS web site

http://www.cs.nott.ac.uk/MGS


PROGRAMME

MGS 21 consists of eight courses, each with four or five hours of
lectures and a similar number of exercise sessions. Three courses are
introductory; one is given by an invited lecturer. These should be
attended by all participants. The remaining more advanced courses
should be selected based on interest. MGS 21 aims at a mix of
livestreamed and prerecorded lectures and livestreamed exercise
sessions, with additional social online events.

Invited lectures:

Monads and Interactions
  Tarmo Uustalu, Reykjavik

Introductory courses:

Category Theory
  Jacopo Emmenegger, Birmingham

Type Theory
  Thorsten Altenkirch, Nottingham

Proof Theory
  Anupam Das, Birmingham

Advanced courses:

Homotopy Type Theory
  Nicolai Kraus, Nottingham

Inductive and Coinductive Reasoning with Isabelle/HOL
  Andrei Popescu, Sheffield

Effects and Call-by-Push-Value
  Paul Levy, Birmingham

Formal Modelling and Analysis of Concurrent Systems
  Mohammad Mousavi, Leicester

In addition we are organising a session where participants can briefly
present and discuss their own research. A call will be made in March.


REGISTRATION

Participation at MGS 21 is free of charge, but selective. Requests
must be submitted online via

https://staffwww.dcs.shef.ac.uk/people/G.Struth/mgs21.html

Registration deadline is April 1.


ORGANISATION

Please direct all queries about MGS 21 to Georg Struth.

The Sheffield organisers are

Harsh Beohar (H.Beohar AT sheffield.ac.uk)

Andrei Popescu (A.Popescu AT sheffield.ac.uk)

Georg Struth (G.Struth AT sheffield.ac.uk)