=================================================================== FIRST ANNOUNCEMENT =================================================================== SUMMER SCHOOL AND WORKSHOP ON ******************************************* * ALGEBRAIC AND CO-ALGEBRAIC METHODS IN * * THE MATHEMATICS OF PROGRAM CONSTRUCTION * ******************************************* Lincoln College, Oxford, UK, 10th to 14th April 2000 This school specifically aims to equip mathematicians embarking on a PhD degree with the knowledge and expertise to contribute to current research in computing science. It is also of interest to other PhD students and lecturers with an active interest in the mathematics of program construction. The school will consist of the following intensive courses together with a one-day workshop at which participants will be given the opportunity to present their own research. 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): Coalgebras and Coinduction Burghard von Karger (University of Kiel): Temporal Algebra Hilary Priestley (Oxford University): Lattices and Order DEADLINES For financial support: 31st January 2000 For registration: 11th February 2000 ORGANIZERS Roland Backhouse (University of Nottingham) Roy Crole (University of Leicester) Jeremy Gibbons (Oxford University) Preliminary information can be found at the School home page http://www.comlab.ox.ac.uk/oucl/research/areas/ap/acmmpc/ REGISTRATION To register, complete the form below, and deliver it by one of the following methods: * By email, to acmmpc-reg@comlab.ox.ac.uk * By fax, to +44 1865 273839 (mark "for the attention of Jeremy Gibbons") * By post, to ACMMPC, c/o Jeremy Gibbons, Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, UK. If you have any further questions, please email acmmpc-info@comlab.ox.ac.uk, or contact the organizers by fax or post. Please note that places on the School are limited, and early registration is advisable. ------------- cut here -------------------------------------------- ******************************************* * ALGEBRAIC AND CO-ALGEBRAIC METHODS IN * * THE MATHEMATICS OF PROGRAM CONSTRUCTION * * REGISTRATION FORM * ******************************************* Lincoln College, Oxford, UK, 10th to 14th April 2000 FIRST NAME ..... LAST NAME(S) ..... ADDRESS ..... EMAIL ..... TELEPHONE ..... STATUS (please select: edit email or tick hard-copy) * EPSRC PhD student ..... * Other PhD student ..... * non PhD student ..... ROOM (please select: edit email or tick hard-copy) * single ensuite room, full board: 80.41 ..... * single standard room, full board: 75.18 ..... * shared twin standard room, full board: 72.87 ..... * single standard room, half board: 53.57 ..... * single standard room, bed-and-breakfast only: 39.82 ..... * special dietary requirements ..... (Y/N) (please specify) All prices are per night, and are subject to VAT. "Half board" includes bed, breakfast and evening meal; "full board" also includes morning coffee, lunch, and afternoon tea. EDUCATIONAL BACKGROUND (please provide a short description of your mathematical and computing background; a few sentences will do) ADDITIONAL INFORMATION (please give details of any other information you wish to supply)