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