[Agda] Midlands Graduate School 2015
Thorsten Altenkirch
Thorsten.Altenkirch at nottingham.ac.uk
Fri Feb 27 17:25:49 CET 2015
Dear Colleagues,
The 2015 Midlands Graduate School will take place in Sheffield in April.
Please let your graduate students know, and anyone else who might be
interested in applying.
Thorsten Altenkirch
=====================================================
Call for Participation
MIDLANDS GRADUATE SCHOOL IN THE FOUNDATIONS OF COMPUTING SCIENCE
MGS 2015
07-11 April 2015, University of Sheffield
http://staffwww.dcs.shef.ac.uk/people/G.Struth/mgs2015/mgs.html
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 Department of Computer Science at the
University of Sheffield. It will start on April 07 and finish on April 11.
Information about previous events can be found at
http://www.cs.nott.ac.uk/MGS
PROGRAMME
MGS 2015 consists of nine 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 Jeremy Gibbons,
Oxford.
In addition there will be early evening sessions in which participants
can briefly present and discuss their own research.
Core Courses:
* Category Theory, Roy Crole, Leicester
* Typed Lambda Calculus, Paul Blain Levy, Birmingham
* Patterns in Functional Programming, Jeremy Gibbons, Oxford
Advanced Courses:
* Homotopy Type Theory, Thorsten Altenkirch, Nottingham
* Infinite Data Structures, Venanzio Capretta, Nottingham
* Security Protocol Verification, Eike Ritter, Birmingham
* Functional Reactive Programming, Neelakantan Krishnaswami, Birmingham
* Building Verification Tools with Isabelle, Georg Struth, Sheffield
REGISTRATION
The registration deadline for MGS 2015 is Monday March 16. The
registration fee is £460 (a reduced fee without accommodation is
available on request).
Instructions for registation can be found at the MGS 2015 web site.
http://staffwww.dcs.shef.ac.uk/people/G.Struth/mgs2015/mgs.html
The registration fee includes 5 nights of accommodation with
breakfasts at Hotel Ibis in Sheffield (from Monday April 06 evening
to Saturday April 11 morning) as well as lunches, coffee breaks and
the conference dinner.
TRAVEL
MGS 2015 takes place in the Sir Frederick Mappin Building of the
University of Sheffield. Information on traveling to Sheffield and
finding the venue can be found at the MGS 2015 web site. Train
station, hotel, lecture halls, restaurants and pubs are all within
walking distance.
ORGANISATION
Georg Struth (G.Struth at dcs.shef.ac.uk<mailto:G.Struth at dcs.shef.ac.uk> <mailto:G.Struth at dcs.shef.ac.uk>)
This message and any attachment are intended solely for the addressee
and may contain confidential information. If you have received this
message in error, please send it back to me, and immediately delete it.
Please do not use, copy or disclose the information contained in this
message or in any attachment. Any views or opinions expressed by the
author of this email do not necessarily reflect the views of the
University of Nottingham.
This message has been checked for viruses but the contents of an
attachment may still contain software viruses which could damage your
computer system, you are advised to perform your own checks. Email
communications with the University of Nottingham may be monitored as
permitted by UK legislation.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20150227/f3a437d2/attachment.html
More information about the Agda
mailing list