co-located with MFPS XXI
The KAZAM workshop took place at the Edgbaston campus of the University of Birmingham, UK on 17 May 2005, the day before the MFPS XXI (Mathematical Foundations of Programming Semantics) conference.
An informal proceedings with abstracts of the talks has appeared as University of Birmingham Computer Science technical report CSR-06-10.
The organizers of KAZAM are Olivier Danvy and Hayo Thielecke,
Invited speakers
Jean-Louis Krivine (PPS, University of Paris): A lazy lambda-calculus machine for programs extracted with the axiom of choice
Xavier Leroy (INRIA) From Krivine's machine to the Caml implementations
Venue
The lecture room for KAZAM is UG06 in the Learning Centre. The Learning Centre (14b on the map) is the building directly opposite from Computer Science (14a on the map), and its mirror image. The Computer Science building looks like this.
UG06 is a seminar room on the ground floor of the Learning Centre.
Coffee breaks will be in the Computer Science atrium.
Programme
- 9:30-10:00
- Malgorzata Biernacka:
A concrete framework for environment machines - 10:00-10:30
- Bernhard Reus:
From Continuation Semantics to Abstract Machines - 10:30-11:00
- Aaron Bohannon, Zena M. Ariola, and Amr
Sabry:
A Typed Calculus Supporting Shallow Embeddings of Abstract Machines - 11:00-11:30
- Coffee break
- 11:30 - 12:30
- Jean-Louis Krivine:
A lazy lambda-calculus machine for programs extracted with the axiom of choice - 12:30-14:00
- Lunch at Staff House
- 14:00-15:00
- Xavier Leroy:
From Krivine's machine to the Caml implementations - 15:00 - 15:30
- Graham Hutton:
Calculating an Exceptional Machine - 15:30 -16:00
- Paul Blain Levy:
Jumping Semantics For Call-By-Push-Value - 16:00-16:30
- Coffee break
- 16:30--
- Open-floor and discussion session
Information for participants
Participants are asked to pay the workshop fee directly to the organizers at the workshop. The standard fee is 25 pounds per person; for students, the fee is 20 pounds per person.
Registration (apart from fee payment) will be shared with the main MFPS conference. Please see the MFPS XXI pages for information and more local links.
Maintained by Hayo Thielecke