School of Informatics, University of Edinburgh
Room 2.02
Appleton Tower, Edinburgh EH8 9LE.
Directions: Enter Appleton Tower via the east (basement) entrance adjacent to Chapel and Windmill Streets. Take the elevator to the second floor. Room 2.02 is the seminar room located next to the second floor elevator lobby.
Information on travelling to the university can be found here. Campus maps can be found here; Appleton Tower is labeled building number 24 on this map.
Note: Due to a last minute schedule addition, the world's shortest programming contest won't be happening after all. Sorry!
09.30-10.00 | Pre-meeting coffee |
10.00-10.30 | Functional Programming and Resource Bounds, Dr. Kenneth MacKenzie, University of Edinburgh |
10.30-11.15 | Tutorial/demonstration: Certified resource bounds for the functional language Camelot, Dr. Hans-Wolfgang Loidl, Ludwig-Maximilians University Munich |
11.15-11.30 | Coffee break |
11.30-12.00 | Heap-space inference for Java objects, Martin Hofmann, Ludwig-Maximilians University Munich |
12.00-12.10 | Business Meeting |
12.10-14.00 | Lunch |
14.00-14.45 | Invited talk: Ten Things I Hate about XML, Professor Peter Buneman, University of Edinburgh |
14.45-15.15 | Reduction in a Linear Lambda-calculus with Applications to Operational Semantics, Dr. Alex Simpson, University of Edinburgh |
15.15-15.30 | Coffee break |
15.30-16.00 | Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Stir, Dr. Henning Makholm, Heriot-Watt University |