Algebra of Programming Research Group

Introduction

The Algebra of Programming group at Oxford studies programming languages and methods. In particular, we are concerned with mathematically sound yet ergonomically convenient techniques for manipulating and reasoning with programs: a calculus is worthless if it is not sound, and useless if it is not easy to work with.

News

Please note the following forthcoming events:

• Workshop on Generic Programming, 16th September 2006, Portland, Oregon (colocated with ICFP)
• The inaugural meeting of Fun in the Afternoon, a termly informal peripatetic seminar on functional programming and related topics.

And here are some links to past events:

• Mathematics of Program Construction 2006, 3rd to 5th July 2006, Kuressaare, Estonia
• Spring School on Datatype-Generic Programming, 24th to 27th April 2006, Nottingham (colocated with Trends in Functional Programming)
• The Seventh International Conference on Mathematics of Program Construction, 12th to 14th July 2004.
• PLI 2003, Uppsala, 25th to 29th August 2003, including ICFP and DPCOOL
• The Fun of Programming symposium, in honour of Richard Bird's sixtieth birthday, Examination Schools, Oxford, 24th and 25th March 2003
• Summer School and Workshop on Generic Programming, St Anne's College, Oxford, 26th to 30th August 2002
• Summer School and Workshop on Advanced Functional Programming, St Anne's College, Oxford, 19th to 24th August 2002
• The Sixth International Conference on Mathematics of Program Construction, and the IFIP TC2 Working Conference on Generic Programming, Schloss Dagstuhl, Germany, July 8th to 13th 2002
• Ross Paterson's short course on arrows and computation.
• Fifth International Conference on the Mathematics of Program Construction, Ponte de Lima, Portugal, 3rd to 7th July 2000
• Mathfit Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, Oxford, 10th to 14th April 2000

Mailing list

There is a mailing list for the Algebra of Programming group. Membership of the list is intended to coincide with membership of the group. Please feel free to use it to announce meetings, pose problems, and so on. (Only members can post to the list.)

To post to the list, send your message to the list posting address To subscribe to the list, send an email message containing (only) the command `subscribe' to the list request address. (The list will only be of interest to those attending the group, as it carries mainly administrative rather than technical content.) For further information, send a message containing the command `help' to the Majordomo address.

Contents

The following pages contain more information about the Algebra of Programming group:

• Members
• Topics
• Minutes of meetings
• Publications
• The Datatype-Generic Programming project