The Fun of Programming
Adjacent Events |
Local information |
Travel directions |
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.
- 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
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.
Participants may also be interested in the First Workshop of
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
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
To register, complete the registration form
and deliver it by one of the following methods:
If you have any further questions, please email
contact the organizers by any of the above methods.
Please note that places at the symposium are limited, and early
registration is advisable.
- By email, to email@example.com
- By fax, to +44 1865 273839
(mark "for the attention of FOP (Sue Taylor)")
- By post, to FOP, c/o Sue Taylor, Oxford University Computing
Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, UK.
Unfortunately, we cannot provide accommodation for symposium
participants. The Tourist Information
Centre maintains a list
of accommodation in and around Oxford.
The University maintains a page of travel information for getting to
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).
- http://www.comlab.ox.ac.uk/oucl/research/areas/ap/fop/info.html (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.