<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; color: rgb(0, 0, 0); font-size: 14px; font-family: Calibri, sans-serif;"><div><div>Dear Colleagues,</div><div><br></div><div>The 2015 Midlands Graduate School will take place in Sheffield in April.</div><div>Please let your graduate students know, and anyone else who might be</div><div>interested in applying.</div><div><br></div><div>Thorsten Altenkirch</div><div><br></div><div>=====================================================</div><div><br></div><div><br></div><div>Call for Participation</div><div><br></div><div>MIDLANDS GRADUATE SCHOOL IN THE FOUNDATIONS OF COMPUTING SCIENCE</div><div><br></div><div>MGS 2015</div><div><br></div><div>07-11 April 2015, University of Sheffield</div><div><br></div><div><a href="http://staffwww.dcs.shef.ac.uk/people/G.Struth/mgs2015/mgs.html">http://staffwww.dcs.shef.ac.uk/people/G.Struth/mgs2015/mgs.html</a></div><div><br></div><div>OVERVIEW</div><div><br></div><div>The Midlands Graduate School in the Foundations of Computing Science</div><div>(MGS) was established in 1999 as a collaboration between researchers</div><div>at the Universities of Birmingham, Leicester, Nottingham, and later</div><div>Sheffield. It has two main goals: to equip PhD students with a sound</div><div>basis for their research by deepening their knowledge on the</div><div>mathematical and conceptual foundations of computing; and to provide a</div><div>platform for making contacts with established researchers in the field</div><div>and with their peers who are at a similar stage in their research</div><div>careers.</div><div><br></div><div>This year's MGS is hosted by the Department of Computer Science at the</div><div>&nbsp;University of Sheffield. It will start on April 07 and finish on April 11.</div><div><br></div><div>Information about previous events can be found at</div><div><br></div><div><a href="http://www.cs.nott.ac.uk/MGS">http://www.cs.nott.ac.uk/MGS</a></div><div><br></div><div><br></div><div>PROGRAMME</div><div><br></div><div>MGS 2015 consists of nine courses, each with four or five hours of</div><div>lectures and exercise sessions. Three of the courses are introductory</div><div>or core; they should be taken by all participants. The other courses</div><div>are more advanced or specialised. Participants may select them</div><div>depending on their interests.</div><div><br></div><div>This year the invited lectures will be given by Prof Jeremy Gibbons,</div><div>Oxford.</div><div><br></div><div>In addition there will be early evening sessions in which participants</div><div>can briefly present and discuss their own research.</div><div><br></div><div>Core Courses:</div><div><br></div><div>* Category Theory, Roy Crole, Leicester</div><div>* Typed Lambda Calculus, Paul Blain Levy, Birmingham</div><div>* Patterns in Functional Programming, Jeremy Gibbons, Oxford</div><div><br></div><div>Advanced Courses:&nbsp;</div><div><br></div><div>* Homotopy Type Theory, Thorsten Altenkirch, Nottingham&nbsp;</div><div>* Infinite Data Structures, Venanzio Capretta, Nottingham</div><div>* Security Protocol Verification, Eike Ritter, Birmingham&nbsp;</div><div>* Functional Reactive Programming, Neelakantan Krishnaswami, Birmingham&nbsp;</div><div>* Building Verification Tools with Isabelle, Georg Struth, Sheffield</div><div><br></div><div><br></div><div>REGISTRATION</div><div><br></div><div>The registration deadline for MGS 2015 is Monday March 16. The</div><div>registration fee is £460 (a reduced fee without accommodation is</div><div>available on request).</div><div><br></div><div>Instructions for registation can be found at the MGS 2015 web site.</div><div><br></div><div><a href="http://staffwww.dcs.shef.ac.uk/people/G.Struth/mgs2015/mgs.html">http://staffwww.dcs.shef.ac.uk/people/G.Struth/mgs2015/mgs.html</a></div><div><br></div><div>The registration fee includes 5 nights of accommodation with</div><div>&nbsp;breakfasts at Hotel Ibis in Sheffield (from Monday April 06 evening</div><div>&nbsp;to Saturday April 11 morning) as well as lunches, coffee breaks and</div><div>&nbsp;the conference dinner.</div><div><br></div><div><br></div><div>TRAVEL</div><div><br></div><div>MGS 2015 takes place in the Sir Frederick Mappin Building of the</div><div>University of Sheffield. Information on traveling to Sheffield and</div><div>finding the venue can be found at the MGS 2015 web site. Train</div><div>station, hotel, lecture halls, restaurants and pubs are all within</div><div>walking distance.</div><div><br></div><div><br></div><div>ORGANISATION</div><div><br></div><div>Georg Struth (<a href="mailto:G.Struth@dcs.shef.ac.uk">G.Struth@dcs.shef.ac.uk</a> &lt;<a href="mailto:G.Struth@dcs.shef.ac.uk&gt;">mailto:G.Struth@dcs.shef.ac.uk&gt;</a>)</div><div><br></div><div><br></div></div><PRE>


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.
</PRE></body></html>