Logic List Mailing Archive

MGS 2021: Midlands Graduate School in the Foundations of Computing Science, Virtual

12-16 Apr 2021

FINAL 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@sheffield.ac.uk)

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

Georg Struth (G.Struth@sheffield.ac.uk)
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam