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. Roy Crole. ===================================================== 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@dcs.shef.ac.uk <mailto:G.Struth@dcs.shef.ac.uk>) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]