The Midland Graduate School - APPSEM Spring School is taking place 29 March - 2 April 2004 in Nottingham at the Jubilee Campus of Nottingham University. We especially invite participants from UK universities and from sites participating in the APPSEM working group.
We are able to support a limited number of UK students with EPSRC grants, while APPSEM funds can be used to support students from APPSEM affiliated sites.
Please click on the title to see the abstract.
| Lecturer | Institution | Title | Level | Acronym |
|---|---|---|---|---|
| Thorsten Altenkirch | U Nottingham | Lambda calculus and types | Foundational | LAM |
| Neil Ghani | U Leicester | Category Theory | Foundational | CAT |
| Graham Hutton | U Nottingham | Functional Programming | Foundational | FUN |
| Achim Jung | U Birmingham | Denotational Semantics | Foundational | DEN |
| Sara Kalvala | U Warwick | Theorem Proving in Isabelle | Advanced | ISA |
| Martin Escardo | U Birmingham | Topology of data types | Advanced | TOP |
| Alexander Kurz | U Leicester | Stone Duality - The Duality of Syntax and Semantics | Advanced | STD |
| Conor McBride | U Durham | Dependently Typed Programming | Advanced | DTP |
| Uday Reddy | U Birmingham | Programming logics for dynamic data structures | Advanced | DYN |
| Monday | Tuesday | Wednesday | Thursday | Friday | |
|---|---|---|---|---|---|
| 900 - 1000 | LAM | LAM | CAT | CAT | DEN |
| 1000 - 1100 | CAT | CAT | DEN | DEN | DEN |
| 1100 - 1130 | registration coffee |
coffee | coffee | coffee | coffee |
| 1130 - 1230 | CAT | DEN | LAM | LAM ISA |
LAM ISA |
| 1230 - 1400 | lunch | lunch | lunch | lunch | lunch |
| 1400 - 1500 | DYN TOP |
DYN TOP |
DTP STD |
DTP STD |
review coffee |
| 1500 - 1600 | coffee exercises |
coffee exercises |
coffee exercises |
coffee exercises |
|
| 1600 - 1700 | FUN | FUN | FUN ISA |
FUN ISA |
|
| 1700 - 1800 | DYN TOP |
DYN TOP |
DTP STD |
DTP STD |
The courses take place in the Computer Science and IT building on Jubilee campus. If there is only one course scheduled, it takes place in A01 on the ground floor, next to the atrium on the lake side. If there are two courses scheduled, the first one is in A01 and the second one in B53 on the first floor. Coffees will be served in the atrium.
The MGS/APPSEM spring school joint dinner will take place on Tuesday, 30/3/04, 19:00 at Mr Man's restaurant (Chinese and Malaysian cuisine) in Wollaton, Nottingham. The restaurant is within walking distance from Jubilee Campus. The price for the dinner is included in the registration fee.
I have reserved a number of rooms in Southwell Hall on Jubilee campus. The costs are £45 for Bed and Breakfeast, bathroom en suite. You can book the accomodation together with your registration.
What the webpage linked above doesn't tell you is that you can get from the railway station to Jubilee campus by using the number 5 bus, getting off at Derby road close to the Rose and Crown and then walk to Jubilee (5-10 minutes).
Here is an amended map of Jubilee Campus (thank you, James), which shows where Southwell Hall and the School for Computer Science and IT is and the path to the Rose&Crown where we meet on Sunday 7pm is marked.
The coffees served in the coffee breaks are included in the registration fee. Lunches are not included but there is a cantine next to the computer science building. Alternatively see the Local food and drink guide compiled by Jonathan Grattage.
Each participant will get a log in to use the local computer system for email and for doing coursework. You will have to sign a form that you accept Nottingham's regulations for using Computer Systems. You are supposed to use the computers in the A05 lab adjacent to the Atrium running Windows. It will also be possible to connect a laptop to the local Ethernet using DHCP, however, the condition is that the laptop is free of viruses and that the latest updates are installed.
Apart from the accomodation costs there is a small fee of £ 70 to cover local costs including a joint dinner. Fee and accomodation can be paid by cheque and sent to me by post or by money transfer - see the registration form for details.
