Atlas home || Conferences | Abstracts | about Atlas

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

April 10-14, 2000

Oxford, United Kingdom

Mathematics

Host: Lincoln College
Homepage: http://web.comlab.ox.ac.uk/oucl/research/areas/ap/acmmpc/

Organizers: Roland Backhouse (University of Nottingham), Jeremy Gibbons (Oxford University), Roy Crole (University of Leicester)

Speakers: 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

Date received: November 04, 1999

© 2008 Atlas Conferences Inc.