Subject: categories: SUMMER SCHOOL ON MATHEMATICS OF PROGRAM CONSTRUCTION

From: "Roy L. Crole" <[email-masked]>
Date: Tue, 19 Oct 1999 12:15:38 +0100 (BST)

===================================================================
                         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 [email-masked] 
  * 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
[email-masked], 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)