Email Gateway (Feb 10 2021 at 10:10): Email Gateway (Feb 10 2021 at 10:10):From: Andrei Popescu <andrei.h.popescu@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
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)
Email Gateway (Mar 17 2021 at 11:04):From: Andrei Popescu <andrei.h.popescu@gmail.com>
Dear Isabelle users,
Please note this upcoming intensive programme of lectures, which
includes lectures on inductive and coinductive reasoning with
Isabelle. Registration is open until April 1st.
Best wishes,
Andrei
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
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)
Last updated: Jul 15 2022 at 23:21 UTC