The Fun of Programming
Further Information

Lectures | Timetable | Adjacent Events | Textbook | Costs | Registration | Local information | Travel directions | Links


Chris Okasaki:
Fun with Binary Heap Trees

John Hughes:
Specification-Based Testing with QuickCheck

Jeremy Gibbons:
Origami Programming

Tony Hoare:
Compensating for Long-Running Transactions

Oege de Moor:
Mechanising Fusion

Simon Peyton Jones:
How to Write a Financial Contract

Conal Elliott:
Functional Images

Satnam Singh:
Functional Hardware Description in Lava

Mike Spivey:
Combinators for Logic Programming

Ross Paterson:
Arrows and Computation

Ralf Hinze:
Fun with Phantom Types

Lambert Meertens:
Calculemus Igitur

Unfortunately, neither Paul Hudak nor Philip Wadler can attend the symposium. However, Tony Hoare and Lambert Meertens have kindly agreed to give presentations in their places.


09:00-09:45 09:45-10:30 10:30-11:00 11:00-11:45 11:45-12:30 12:30-14:00 14:00-14:45 14:45-15:30 15:30-16:00 16:00-16:45 16:45-17:30
Monday Coffee Okasaki Hughes Lunch Gibbons Hoare Tea de Moor Peyton Jones
Tuesday Elliott Singh Coffee Spivey Paterson Lunch Hinze Meertens Tea

Note that the symposium starts with morning coffee (and registration) at 10:30 on Monday, and finishes with afternoon tea on Tuesday.

The banquet will take place from 19:00 on Monday, at Worcester College.

Adjacent Events

Participants may also be interested in the First Workshop of the Applied Semantics II working group, in Nottingham from 26th to 28th March.


The book, The Fun of Programming (ISBN 0333992857 in paperback priced 24.99, 1403907722 in hardback priced 39.99), will be published by Palgrave in March 2003.

You can already order the paperback and hardback from Amazon.


The registration fee is GBP100; this includes the book, lecture room hire, and lunch, tea and coffee on both days. If you register before the early registration deadline, there is a GBP20 reduction on this fee. These costs do not include the banquet, in Worcester College on the Monday night, for which there is an additional GBP30 charge; extra tickets for partners may also be available.

These prices are subsidized; we are very grateful to Microsoft Research for the financial support, without which the costs would have been rather higher.

Payment may be made in pounds sterling, euros or US dollars. If you pay in euros or dollars, please use the prevailing exchange rate, and add 5 units (ie 5 euros or 5 dollars) as an exchange fee. Payment may be by cheque or bank transfer. Cheques should be made payable to "Oxford University Computing Laboratory" and posted to Sue Taylor, Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, UK. A bank transfer should be made to Barclay's Bank plc, sort code 20-65-20, account number 50051675, quoting reference DBL30/C500; it is VITAL to quote the reference, otherwise we will not receive the money (it is a central university account).


To register, complete the registration form and deliver it by one of the following methods: If you have any further questions, please email, or contact the organizers by any of the above methods. Please note that places at the symposium are limited, and early registration is advisable.

Local information

Unfortunately, we cannot provide accommodation for symposium participants. The Tourist Information Centre maintains a list of accommodation in and around Oxford.

Travel directions

The University maintains a page of travel information for getting to Oxford. In addition, the Computing Laboratory maintains a page with more comprehensive travel information, including links to timetables (part of a much larger collection of information about Oxford).


WWW: (this page)

PDF poster:


FOP, c/o Sue Taylor, Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, United Kingdom.

+44 1865 273839; mark "fao FOP (Sue Taylor)"

Jeremy Gibbons, December 2002.