SPLS Meeting: Tuesday 17th October 2006
Department of Computing Science, University of Glasgow
Room F121, 17 Lilybank Gardens, Glasgow G12 8RZ.
Directions: Enter the Department at 14 Lilybank Gardens (not 17
as usual). Go
upstairs to the first floor. Turn right and follow the corridor
until you reach F121, on the left.
Information on travelling to the university can be found here. Campus maps can be found here.
- 13.00 Lunch: bring your own lunch to the department
common room (S101, second floor). Tea, coffee and soft drinks
will be provided.
Joe Wells, Heriot-Watt University
Explaining Concepts in Compositional Type-Based Program Analysis:
Principality, Intersection Types, Expansion, etc.
James Cheney, University of Edinburgh
Nominal Logic Programming
- 15.30 Coffee break
Phil Trinder, Heriot-Watt University
Comparing C++ and Erlang for Motorola Telecoms Software
Greg Michaelson, Heriot-Watt University
Autonomous Mobile Programs
James McKinna, University of St Andrews
Matching regular expressions, observably correctly
- 17.30 End.