From mboxrd@z Thu Jan 1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8835
Path: news.gmane.org!not-for-mail
From: Paul B Levy
Newsgroups: gmane.science.mathematics.categories
Subject: Midlands Graduate School in Foundations of Computing Science
Date: Wed, 24 Feb 2016 12:24:23 +0000
Message-ID:
References: <56B099D4.70305@cs.bham.ac.uk>
Reply-To: Paul B Levy
NNTP-Posting-Host: plane.gmane.org
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
X-Trace: ger.gmane.org 1456417967 1356 80.91.229.3 (25 Feb 2016 16:32:47 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Thu, 25 Feb 2016 16:32:47 +0000 (UTC)
To: "categories@mta.ca"
Original-X-From: majordomo@mlist.mta.ca Thu Feb 25 17:32:38 2016
Return-path:
Envelope-to: gsmc-categories@m.gmane.org
Original-Received: from smtp3.mta.ca ([138.73.7.22])
by plane.gmane.org with esmtp (Exim 4.69)
(envelope-from )
id 1aYyqA-0007zR-Ag
for gsmc-categories@m.gmane.org; Thu, 25 Feb 2016 17:32:34 +0100
Original-Received: from mlist.mta.ca ([138.73.1.63]:46006)
by smtp3.mta.ca with esmtp (Exim 4.80)
(envelope-from )
id 1aYyob-0001e6-KL; Thu, 25 Feb 2016 12:30:57 -0400
Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71)
(envelope-from )
id 1aYyoU-00053y-LS
for categories-list@mlist.mta.ca; Thu, 25 Feb 2016 12:30:50 -0400
In-Reply-To: <56B099D4.70305@cs.bham.ac.uk>
Precedence: bulk
Xref: news.gmane.org gmane.science.mathematics.categories:8835
Archived-At:
The 2016 Midlands Graduate School will take place in Birmingham in
April. Please let your graduate students know, and anyone else who might
be interested in applying.
EARLY REGISTRATION (reduced price) until Saturday 5 March
Paul Blain Levy
=====================================================
Call for Participation
MIDLANDS GRADUATE SCHOOL IN THE FOUNDATIONS OF COMPUTING SCIENCE
MGS 2016
11-15 April 2016, University of Birmingham
http://www.cs.bham.ac.uk/~pbl/mgs2016/
OVERVIEW
The Midlands Graduate School in the Foundations of Computing Science
(MGS) was established in 1999 as a collaboration between researchers
at the Universities of Birmingham, Leicester, Nottingham, and later
Sheffield. It has two main goals: to equip PhD students with a sound
basis for their research by deepening their knowledge on the
mathematical and conceptual foundations of computing; and to provide a
platform for making contacts with established researchers in the field
and with their peers who are at a similar stage in their research
careers.
This year's MGS is hosted by the School of Computer Science at the
University of Birmingham. It will start on 11 April and finish on 15 April.
Information about previous events can be found at
http://www.cs.nott.ac.uk/MGS
PROGRAMME
MGS 2016 consists of ten courses, each with four or five hours of
lectures and exercise sessions. Three of the courses are introductory
or core; they should be taken by all participants. The other courses
are more advanced or specialised. Participants may select them
depending on their interests.
This year the invited lectures will be given by Prof Steve Brookes,
Carnegie Mellon University.
In addition there will be a session in which participants
can briefly present and discuss their own research.
Core Courses:
* Category Theory, Venanzio Capretta, Nottingham
* Naive Type Theory, Thorsten Altenkirch, Nottingham
* Denotational Semantics, Achim Jung, Birmingham
Advanced Courses:
* A Denotational Semantics for Weak Memory Concurrency, Steve Brookes,
Carnegie Mellon University
* Game Semantics, Dan Ghica, Birmingham
* Introduction to Coalgebra, Alexander Kurz, Leicester
* Security Protocol Verification, Eike Ritter, Birmingham
* Linear Logic, Neelakantan Krishnaswami, Birmingham
* Distributed Systems and Choreographies, Emilio Tuosto, Leicester
* LL and LR Parsing with Abstract Machines, Hayo Thielecke, Birmingham
REGISTRATION
The early registration deadline for MGS 2016 is Saturday 5 March. The
registration fee is ??190 (student/academic rate) or ??290 (anyone else).
Instructions for registration can be found at the MGS 2016 website
http://www.cs.bham.ac.uk/~pbl/mgs2016/
The registration fee includes coffee breaks and the conference dinner.
Lunches can be bought at outlets on campus.
ACCOMMODATION
We have reserved rooms at the Ibis Budget Hotel, at a price of ??225.50
for 5 nights. There are single rooms (one bed) or triple rooms (two
beds) at the same price. Breakfast is an extra ??27.50 per person.
TRAVEL
MGS 2016 takes place at the School of Computer Science, close to
University (Birmingham) railway station.
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]