[TYPES/announce] Midlands Graduate School 2014

[Roy Crole]

Dear Colleagues,

Please find below an announcement for the 2014 Midlands Graduate School
in the Foundations of Computing Science.

Kind Regards,
Roy Crole.

=====================


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.

This year, the MGS is at the University of Nottingham. It will start on
22 April and finish on 26 April.


    Core Courses

Course Title 	Acronym 	Lecturer 	Affiliation
Category Theory <http://www.cs.nott.ac.uk/%7Etxa/mgs.2014/cat.html>
CAT 	Roy Crole <http://www.cs.le.ac.uk/people/rcrole/> 	Leicester
Denotational Semantics
<http://www.cs.bham.ac.uk/%7Eaxj/mgs2014-sem.html> 	DEN 	Achim Jung
<http://www.cs.bham.ac.uk/%7Eaxj/> 	Birmingham
Typed Lambda Calculus
<http://www.cs.nott.ac.uk/%7Etxa/mgs.2014/lam.html> 	LAM 	Paul Blain
Levy <http://www.cs.bham.ac.uk/%7Epbl/> 	Birmingham


    Advanced Courses

Course Title 	Acronym 	Lecturer 	Affiliation
Concurrency, Causality, Reversibility
<http://www.cs.nott.ac.uk/%7Etxa/mgs.2014/ccr.html> 	CCR 	Irek Ulidowski
<http://www.cs.le.ac.uk/people/iu3/> 	Leicester
Theory of Randomised Search Heuristic
<http://www.cs.nott.ac.uk/%7Etxa/mgs.2014/heu.html>s 	HEU 	Dirk Sudholt
<http://staffwww.dcs.shef.ac.uk/people/D.Sudholt/>, Per Kristian Lehre
<http://www.cs.nott.ac.uk/%7Epkl/>,Pietro S. Oliveto
<http://staffwww.dcs.shef.ac.uk/people/P.Oliveto/index.html>, Christine
Zarges <http://www.cs.bham.ac.uk/%7Ezargesc/> 	Birmingham, Nottingham,
Sheffield
Homotopy Type Theory
<http://www.cs.nott.ac.uk/%7Etxa/mgs.2014/hot.html> 	HOT 	Thorsten
Altenkirch <http://www.cs.nott.ac.uk/%7Etxa/> 	Nottingham
Infinite Data Structures
<http://www.cs.nott.ac.uk/%7Etxa/mgs.2014/inf.html> 	INF 	Venanzio
Capretta <http://www.cs.nott.ac.uk/%7Evxc/> 	Nottingham
Logical relations and parametricity
<http://www.cs.nott.ac.uk/%7Etxa/mgs.2014/par.html> 	PAR 	Uday Reddy
<http://www.cs.bham.ac.uk/%7Eudr> 	Birmingham
Higher-Order Functional Reactive Programming
<http://www.cs.nott.ac.uk/%7Etxa/mgs.2014/rea.html> 	REA 	Neelakantan
Krishnaswami <http://www.cs.bham.ac.uk/%7Ekrishnan> 	Birmingham

*+ an invited lecture course on Dependently Typed Programming by Conor
McBride.*

The fee is £440, this includes on campus accommodation with breakfast,
lunches, coffees and a workshop dinner!

More information is available on http://www.cs.nott.ac.uk/~txa/mgs.2014/
<http://www.cs.nott.ac.uk/%7Etxa/mgs.2014/> from where you also find a
link to the registration page
<http://store.nottingham.ac.uk/browse/extra_info.asp?compid=1&modid=2&deptid=9&catid=4&prodid=359> page.

*The registration deadline is Friday, 21 March. Please register as soon
as possible since there is a limited number of spaces 
**which are allocated on a 1st come 1st serve base.*

Hope to see you in Nottingham,

Thorsten

P.S. Please forward to other people who may be interested.



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20140204/0693322a/attachment.html>