Mathematics for Information Technology
Summer School and Workshop on
Algebraic and Coalgebraic Methods in
the Mathematics of Program Construction

Lincoln College, Oxford
10th to 14th April 2000

Lecturers

Peter Aczel (University of Manchester):
Initial Algebras and Final Coalgebras: The Categorical Perspective
Roland Backhouse (University of Nottingham):
Fixpoint Calculus and Galois Connections
Richard Bird (Oxford University):
The Algebra of Programming
Jeremy Gibbons (Oxford University):
Calculational Properties of Folds and Unfolds
Bart Jacobs (Nijmegen Catholic University):
Exercises in Coalgebraic Specification
Burghard von Karger (University of Kiel):
Temporal Algebra
Hilary Priestley (Oxford University):
Lattices and Order

Financial support

Thanks to sponsorship in the Mathfit programme by the Engineering and Physical Sciences Research Council and the London Mathematical Society, financial support is available for EPSRC and other research students. Further details and application forms are available from the organizers.

Deadlines

For financial support:
31st January 2000
For registration:
11th February 2000

Organizers

Further information

Web:
http://www.comlab.ox.ac.uk/oucl/research/areas/ap/acmmpc/info.html
Postscript poster:
http://www.comlab.ox.ac.uk/oucl/research/areas/ap/acmmpc/poster.ps
Email:
jeremy.gibbons@comlab.ox.ac.uk
Post:
ACMMPC, c/o Jeremy Gibbons, Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, United Kingdom.


Jeremy Gibbons, October 1999.