Mathematically Structured Programming Group

Computer and Information Sciences

University of Strathclyde

Peter Hancock 60th Celebration

19th December 2011.
McCance Lecture Room 2, McCance Building, Richmond Street, Glasgow G1.

We are having a day of talks to celebrate Peter Hancock's 60th Birthday.

Talks

The following people have generously volunteered to give talks

Time Speaker Title
9:30-10:10 Peter Dybjer Some thoughts on Martin-Löf's meaning explanations
10:10-10:50 Thorsten Altenkirch What is the problem with Induction-Recursion?
10:50-11:20 Coffee
11:20-12:00 Alex Simpson On the law of large numbers (such as 60)
12:00-12:40 Michael Rathjen Universes
12:40-14:30 Lunch
14:30-15:10 Bengt Nordstrom Garden Games and Kitchen Games
15:10-15:50 James Chapman Relative Monads and Lambda Calculus
15:50-16:20 Coffee
16:20-17:00 Dirk Pattinson Always the Same Pattern: A Coinductive Analysis of the µ-calculus
17:00-17:40 Wouter Swierstra Hank's first computer program

Venue and Accommodation

The lectures will take place in McCance Lecture Room 2 which is in the McCance building on Richmond Street. The building is easy to to see. There is a big sign saying McCance building over the entrance and there are stairs up to the doors. Once you enter the building you will need to go up one flight of stairs and then you will see the doors with McCance Lecture 1,2,3 signposted.

The McCance building is part of the University of Strathclyde, in the centre of Glasgow. The map below shows the general area. Click the “+” for a closer look.


View Larger Map

A convenient place to stay is the Glasgow City Centre Premier Inn, just across the road from Strathclyde University.

Participants

The current confirmed list of attendees from outside the MSP group is as follows: