SPLS Meeting: Tuesday 17th October 2006

Location

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.
• 14.00
  Joe Wells, Heriot-Watt University
  Explaining Concepts in Compositional Type-Based Program Analysis: Principality, Intersection Types, Expansion, etc.
• 15.00
  James Cheney, University of Edinburgh
  Nominal Logic Programming
• 15.30 Coffee break
• 16.00
  Phil Trinder, Heriot-Watt University
  Comparing C++ and Erlang for Motorola Telecoms Software
• 16.30
  Greg Michaelson, Heriot-Watt University
  Autonomous Mobile Programs
• 17.00
  James McKinna, University of St Andrews
  Matching regular expressions, observably correctly
• 17.30 End.