SPLS Meeting: Friday 4 March 2005


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!


Friday, 4 March, 2005, 10.00 - 16.00


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