Conference
Pictures
Overview
Schedule
Arrival Information
Social Events
Welcome Reception
Important Dates
Call for Papers
Call for Participation
Invited Speakers
Accepted Papers
Awards & Grants
Committees
Submission
Proceedings
Registration
Excursion
PhD Programme
Schedule
Proceedings
Important Dates
Call for Contributions
Accepted Papers
Programme Fees
Application
Tutorials
Manchester
Accommodation
Locations
Travel Info
Food & Drink
Contact
Sponsors
Tutorials
Foundations of Relations and Kleene Algebra
Peter Jipsen
, Chapman University, USA
Relational Methods for Program Refinement
John Derrick
, Sheffield, UK
Last updated 23 Jan 2006.