The Fun of Programming
Further Information

Lectures

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.

Timetable

	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.

Textbook

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).

Registration

To register, complete the registration form and deliver it by one of the following methods:

By email, to fop-reg@comlab.ox.ac.uk
By post, to FOP, c/o Sue Taylor, Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, UK.

If you have any further questions, please email fop-info@comlab.ox.ac.uk, 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).

The Fun of Programming Further Information

The Fun of Programming
Further Information