School of Computer Science
University of Nottingham
Jubilee Campus
Wollaton Road
Nottingham NG8 1BB
UK

thorsten.altenkirch @ nottingham.ac.uk

Midlands Graduate School

University of Nottingham, 22-26 April 2014

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.

Participants of MGS 2014

Program

MGS2014 consists of nine courses, each with five hours of lectures and exercise sessions. One third of the programme offers introductory (or core) courses which would be relevant for all participants. The remainder provides advanced (or specialised) courses from which each participant selects a subset depending upon his or her interests and one course given by an invited lecturer (Conor McBride).

Core Courses

The links marked with * contain further material, eg. lecture notes, exercises or solutions.

Course Title	Acronym	Lecturer	Affiliation
Category Theory *	CAT	Roy Crole	Leicester
Denotational Semantics *	DEN	Achim Jung	Birmingham
Typed Lambda Calculus *	LAM	Paul Blain Levy	Birmingham

Advanced Courses

Course Title	Acronym	Lecturer	Affiliation
Concurrency, Causality, Reversibility *	CCR	Irek Ulidowski	Leicester
Theory of Randomised Search Heuristics *	HEU	Dirk Sudholt, Per Kristian Lehre, Pietro S. Oliveto, Christine Zarges	Birmingham, Nottingham, Sheffield
Homotopy Type Theory	HOT	Thorsten Altenkirch	Nottingham
Logical relations and parametricity *	PAR	Uday Reddy	Birmingham
Higher-Order Functional Reactive Programming	REA	Neelakantan Krishnaswami	Birmingham

Alas, we had to cancel the course Infinite Data Structures by Venanzio Capretta due to health reasons.

Invited Lecturer

In addition to the standard programme, Conor McBride from the University of Strathclyde will give an invited course on Dependently Typed Programming (DTP).

Registration

Registration is extended until 17 April. There are still places available!

The deadline for registration for MGS 2014 is Friday, 21 March. The registration fee is £440.

This includes 5 nights of accommodation (from Monday 21 evening to Saturday 26 April morning), catering for lunches and coffee breaks and the conference dinner. Accommodation is at the University's Newark Hall of Residence and includes breakfast.

To register for MGS 2014, you need to book this via the University of Nottingham online store. The site will ask you to register, if this is the first time to use it. You can pay using a credit or debit card.

Contact

For any additional information, contact the local organiser, Thorsten Altenkirch, at the address txa@cs.nott.ac.uk.

Getting there

You can find directions to the School of Computer Science and to your accommodation (Newark Hall) on the University's How to Find Us web page. On the map below you find all the locations relevant for MGS 2014 - just click on the icons. Zoom in for details!

Wireless connection. While at the school, you can connect to the internet via eduroam or the University's guests network (UoN-guest).

Schedule of the School

The school will start on Tuesday (22/4) morning and finish Saturday (26/4) lunch time. There will be a pub meeting Monday evening, at 7pm in the Rose and Crown, see map above. The MGS dinner will be Wednesday at 8pm in Kayal (also marked in the map).

Tuesday

Wednesday

Thursday

Friday

Saturday

900 - 1000

CAT(L) LT1

LAM(L) LT1

HEU(E) C60

REA(E) C1

LAM(L) LT1

HEU(E) C60

REA(E) C1

CAT(L) LT1

CCR(E) C60

PAR(E) C1

DEN(L) LT1

HOT(E) C60

DTP(E) C1

1000 - 1100

LAM(L) LT1

CAT(L) LT1

CCR(E) C60

PAR(E) C1

DEN(L) LT1

HOT(E) C60

DTP(E) C1

LAM(L) LT1

HEU(E) C60

REA(E) C1

CAT(L) LT1

CCR(E) C60

PAR(E) C1

1100 - 1130

registration
coffee

coffee

1130 - 1230

DEN(L) LT1

HOT(E) C60

DTP(E) C1

CAT(L) LT1

CCR(E) C60

PAR(E) C1

DEN(L) LT1

HOT(E) C60

DTP(E) C1

LAM(L) LT1

HEU(E) C60

REA(E) C1

1230 - 1400

lunch

1400 - 1500

DTP(L) LT1

HEU(L) C60

REA(L) LT1

LAM(E) C1

HOT(L) LT1

DEN(E) C1

CCR(L) C60

PAR(L) LT1

CAT(E) C1

review
coffee HUB

1500 - 1600

CCR(L) LT1

PAR(L) C60

CAT (E) C1

DTP(L) LT1

HEU(L) C60

REA(L) LT1

LAM(E) C1

HOT(L) LT1

DEN(E) C1

1600 - 1630

coffee

1630 - 1730

HOT(L) LT1

DEN(E) C1

CCR(L) C60

PAR(L) LT1

CAT(E) C1

DTP(L) LT1

HEU(L) C60

REA(L) LT1

LAM(E) C1

1730 - 1830

HEU(L) LT1

REA(L) C60

LAM(E) C1

HOT(L) LT1

DEN(E) C1

CCR(L) C60

PAR(L) LT1

CAT(E) C1

DTP(L) LT1

(L): Lecture
(E): Exercises

Locations

Coffee and lunches will be served in the Atrium, Computer Science building.

LT1: Lecture Theatre 1, Exchange building
C60: Seminar room C60, Computer Science building (2nd floor)
C1: Board room C1, Computer Science building (2nd floor)
HUB: The Hub, Computer Science (next to Atrium)

Evening entertainment:

Pub quiz, Tuesday evening in Newark Hall Bar, starting 19:30, organized by Ambrus.
MGS dinner, Wednesday evening at Kayal, starting at 8pm
Present your own research, Thursday evening in Computer Science Hub, starting 19:30, organized by Ivan. Summary of presentations.
Johnson Arms, Friday evening, starting after the lectures