caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [Caml-list] 21st Midlands Graduate School in the Foundations of Computing Science: Final Call for Participation
@ 2021-03-17 11:18 Andrei Popescu
  0 siblings, 0 replies; only message in thread
From: Andrei Popescu @ 2021-03-17 11:18 UTC (permalink / raw)
  To: agda, appsem, ats-lang-users, caml-list; +Cc: Georg Struth, h.beohar

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)

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2021-03-17 11:18 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-03-17 11:18 [Caml-list] 21st Midlands Graduate School in the Foundations of Computing Science: Final Call for Participation Andrei Popescu

caml-list - the Caml user's mailing list

This inbox may be cloned and mirrored by anyone:

	git clone --mirror https://inbox.vuxu.org/caml-list
	git clone --mirror https://inbox.ocaml.org/caml-list

	# If you have public-inbox 1.1+ installed, you may
	# initialize and index your mirror using the following commands:
	public-inbox-init -V1 caml-list caml-list/ https://inbox.vuxu.org/caml-list \
		caml-list@inria.fr
	public-inbox-index caml-list

Example config snippet for mirrors.
Newsgroup available over NNTP:
	nntp://inbox.vuxu.org/vuxu.archive.caml-list


AGPL code for this site: git clone https://public-inbox.org/public-inbox.git