[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