<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; color: rgb(0, 0, 0); "><p style="font-family: 'Foundry Form Sans Medium', Verdana, sans-serif; line-height: 16.5px; text-align: left; background-color: rgb(255, 255, 255); ">The Midlands Graduate School (MGS) in the Foundations of Computing Science is a collaboration between researchers at the Universities of Birmingham, Leicester, Nottingham and Sheffield. It was established in 1999. The MGS has two main goals: to provide PhD students with a sound basis for research in the mathematical and practical foundations of computing and to give PhD students the opportunity to make contact with established researchers in the field and their peers who are at a similar stage in their research careers.</p><p style="font-family: 'Foundry Form Sans Medium', Verdana, sans-serif; line-height: 16.5px; text-align: left; background-color: rgb(255, 255, 255); ">This year, the MGS is at the University of Nottingham. It will start on 22 April and finish on 26 April.</p><p style="font-family: 'Foundry Form Sans Medium', Verdana, sans-serif; line-height: 16.5px; text-align: left; background-color: rgb(255, 255, 255); "><h2 style="font-size: 1.1em; line-height: normal; ">Core Courses</h2><table border="1" cellspacing="0" cellpadding="5" bgcolor="#eeeeff" style="color: rgb(0, 0, 0); font-size: 11.199999809265137px; line-height: 16.5px; text-align: left; "><tbody><tr style="line-height: 1.5em; "><th>Course Title</th><th>Acronym</th><th>Lecturer</th><th>Affiliation</th></tr><tr style="line-height: 1.5em; "><td><a href="http://www.cs.nott.ac.uk/~txa/mgs.2014/cat.html" style="color: rgb(0, 51, 102); ">Category Theory</a></td><td>CAT</td><td><a href="http://www.cs.le.ac.uk/people/rcrole/" style="color: rgb(0, 51, 102); ">Roy Crole</a></td><td>Leicester</td></tr><tr style="line-height: 1.5em; "><td><a href="http://www.cs.bham.ac.uk/~axj/mgs2014-sem.html" style="color: rgb(0, 51, 102); ">Denotational Semantics</a></td><td>DEN</td><td><a href="http://www.cs.bham.ac.uk/~axj/" style="color: rgb(0, 51, 102); ">Achim Jung</a></td><td>Birmingham</td></tr><tr style="line-height: 1.5em; "><td><a href="http://www.cs.nott.ac.uk/~txa/mgs.2014/lam.html" style="color: rgb(0, 51, 102); ">Typed Lambda Calculus</a></td><td>LAM</td><td><a href="http://www.cs.bham.ac.uk/~pbl/" style="color: rgb(0, 51, 102); ">Paul Blain Levy</a></td><td>Birmingham</td></tr></tbody></table><h2 style="font-size: 1.1em; line-height: normal; ">Advanced Courses</h2><table border="1" cellspacing="0" cellpadding="5" bgcolor="#eeffee" style="color: rgb(0, 0, 0); font-size: 11.199999809265137px; line-height: 16.5px; text-align: left; "><tbody><tr style="line-height: 1.5em; "><th>Course Title</th><th>Acronym</th><th>Lecturer</th><th>Affiliation</th></tr><tr style="line-height: 1.5em; "><td><a href="http://www.cs.nott.ac.uk/~txa/mgs.2014/ccr.html" style="color: rgb(0, 51, 102); ">Concurrency, Causality, Reversibility</a></td><td>CCR</td><td><a href="http://www.cs.le.ac.uk/people/iu3/" style="color: rgb(0, 51, 102); ">Irek Ulidowski</a></td><td>Leicester</td></tr><tr style="line-height: 1.5em; "><td><a href="http://www.cs.nott.ac.uk/~txa/mgs.2014/heu.html" style="color: rgb(0, 51, 102); ">Theory of Randomised Search Heuristic</a>s</td><td>HEU</td><td><a href="http://staffwww.dcs.shef.ac.uk/people/D.Sudholt/" style="color: rgb(0, 51, 102); ">Dirk Sudholt</a>, <a href="http://www.cs.nott.ac.uk/~pkl/" style="color: rgb(0, 51, 102); ">Per Kristian Lehre</a>,<a href="http://staffwww.dcs.shef.ac.uk/people/P.Oliveto/index.html" style="color: rgb(0, 51, 102); ">Pietro S. Oliveto</a>, <a href="http://www.cs.bham.ac.uk/~zargesc/" style="color: rgb(0, 51, 102); ">Christine Zarges</a></td><td>Birmingham, Nottingham, Sheffield</td></tr><tr style="line-height: 1.5em; "><td><a href="http://www.cs.nott.ac.uk/~txa/mgs.2014/hot.html" style="color: rgb(0, 51, 102); ">Homotopy Type Theory</a></td><td>HOT</td><td><a href="http://www.cs.nott.ac.uk/~txa/" style="color: rgb(0, 51, 102); ">Thorsten Altenkirch</a></td><td>Nottingham</td></tr><tr style="line-height: 1.5em; "><td><a href="http://www.cs.nott.ac.uk/~txa/mgs.2014/inf.html" style="color: rgb(0, 51, 102); ">Infinite Data Structures</a></td><td>INF</td><td><a href="http://www.cs.nott.ac.uk/~vxc/" style="color: rgb(0, 51, 102); ">Venanzio Capretta</a></td><td>Nottingham</td></tr><tr style="line-height: 1.5em; "><td><a href="http://www.cs.nott.ac.uk/~txa/mgs.2014/par.html" style="color: rgb(0, 51, 102); ">Logical relations and parametricity</a></td><td>PAR</td><td><a href="http://www.cs.bham.ac.uk/~udr" style="color: rgb(0, 51, 102); ">Uday Reddy</a></td><td>Birmingham</td></tr><tr style="line-height: 1.5em; "><td><a href="http://www.cs.nott.ac.uk/~txa/mgs.2014/rea.html" style="color: rgb(0, 51, 102); ">Higher-Order Functional Reactive Programming</a></td><td>REA</td><td><a href="http://www.cs.bham.ac.uk/~krishnan" style="color: rgb(0, 51, 102); ">Neelakantan Krishnaswami</a></td><td>Birmingham<br><br></td></tr></tbody></table></p><p style="font-family: 'Foundry Form Sans Medium', Verdana, sans-serif; line-height: 16.5px; text-align: left; "><span style="background-color: rgb(255, 254, 254); font-size: 18px;"><b>+ an invited lecture course on Dependently Typed Programming by Conor McBride.</b></span></p><p style="font-family: 'Foundry Form Sans Medium', Verdana, sans-serif; line-height: 16.5px; text-align: left; ">The fee is £440, this includes on campus accommodation with breakfast, lunches, coffees and a workshop dinner!</p><p style="font-family: 'Foundry Form Sans Medium', Verdana, sans-serif; line-height: 16.5px; text-align: left; ">More information is available on <a href="http://www.cs.nott.ac.uk/~txa/mgs.2014/" style="font-family: Calibri, sans-serif; ">http://www.cs.nott.ac.uk/~txa/mgs.2014/</a> from where you also find a link to the <a href="http://store.nottingham.ac.uk/browse/extra_info.asp?compid=1&modid=2&deptid=9&catid=4&prodid=359">registration page</a><span style="line-height: 16.5px; "> page.</span></p><p style="font-family: 'Foundry Form Sans Medium', Verdana, sans-serif; line-height: 16.5px; text-align: left; ">Hope to see you in Nottingham,</p><p style="font-family: 'Foundry Form Sans Medium', Verdana, sans-serif; line-height: 16.5px; text-align: left; ">Thorsten</p><p style="font-family: 'Foundry Form Sans Medium', Verdana, sans-serif; line-height: 16.5px; text-align: left; ">P.S. Please forward to other people who may be interested.</p><p style="font-family: 'Foundry Form Sans Medium', Verdana, sans-serif; line-height: 16.5px; text-align: left; "><br></p>
<br><p>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.</p><p>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.</p>
<br></body></html>