SPLS Meeting: Tuesday 7th December 2004

Location

Department of Computing Science, University of Glasgow
Room F171, 17 Lilybank Gardens, Glasgow G12 8RZ.

Directions: Enter the Department at 17 Lilybank Gardens. Go upstairs to the first floor. F171 is the first room on the right.

Information on travelling to the university can be found here. Campus maps can be found here.

• 09.30-10.00 Pre-meeting coffee
• 10.00-10.50 Invited Talk
  Professor David Watt, University of Glasgow
  Mutability and Covariant Type Parameters in Object-Oriented Languages
• 10.50-11.05 Coffee break
• 11.05-11.35
  Dr Phil Trinder, Heriot-Watt University
  Coordination Abstraction complements Data and Control Abstractions
• 11.35-11.45 Business meeting
• 11.45-12.15
  Dr James McKinna, University of St Andrews
  A type correct, provably correct expression compiler: a case study in EPIGRAM
• 12.15-13.45 Lunch
• 13.45-14.15
  Dr Paul Cockshott, University of Glasgow
  Types and operators for saturated arithmetic in image processing
• 14.15-14.45
  Dr Kenneth MacKenzie, University of Edinburgh
  Functional Programming and Resource Bounds
• 14.45-15.00 Coffee break
• 15.00-15.50 Invited Talk
  Professor John Reynolds, Carnegie Mellon University and visiting University of Edinburgh
  Towards a Grainless Semantics of Shared-Variable Concurrency

Afterwards

At 16.00 there is the usual weekly seminar of the Formal Analysis, Theory and Algorithms (FATA) research group.
The speaker is Dr Andrew Ireland, Heriot-Watt University, and details of his talk can be found here.