[TYPES/announce] Spring School on "Datatype-generic programming", Call for Participation

Fermin Reig fermin.reig at cs.nott.ac.uk
Mon Jan 23 04:43:03 EST 2006


( The lecturers will discuss recent developments in type systems and
programming languages. Apologies for multiple copies)


                  Call for Participation

        Spring School on Datatype-Generic Programming 
            http://www.cs.nott.ac.uk/ssdgp2006/
                University of Nottingham, UK
                     24-27 April 2006

************ Background and objectives ************ 

Generic programming is a thriving research area aimed at making
programming more effective by making it more general. This school aims
to give participants insights into the applications of
datatype-generic programming and the current research challenges in
the area. 

This school is a successor to the Summer School and Workshop on
Generic Programming, held in Oxford in August 2002 (lecture notes
appeared as volume 2793 of LNCS). 

************ Technical programme  ************ 

The lectures will be tutorial-style (as opposed to conference-style)
and will be accessible to beginning computing science postgraduates.

The scientific programme consists of six courses given by renowned
specialists, and a student session. The list of courses is the
following:

* Thorsten Altenkirch (University of Nottingham):
  (in collaboration with Conor McBride and Peter Morris)
  Generic programming with dependent types

* Jeremy Gibbons (University of Oxford):
  Design Patterns as Higher-Order Datatype-Generic Programs
  
* Ralf Hinze (Universitat of Bonn):
  Generic Programming, Now!  
  (in collaboration with Andres Loeh)
  
* Johan Jeuring (Universiteit Utrecht):
  Comparing Approaches to Generic Programming 
  (in collaboration with Ralf Hinze and Andres Loeh)
  
* Ralf Laemmel (Microsoft)
  The next 700 traversal approaches

* Tim Sheard (Portland State University):
  Putting the Curry-Howard Isomorphism to work.

Copies of the draft lecture notes will be provided to all
participants.

The purpose of the student session is to give students an opportunity
to present their work and get feedback. Registrants are invited to
propose short talks (15-20 min). The selection will be based on
abstracts of 150-400 words.
    
************ Social programme ************ 

A conference dinner will be organised (attendance at which will be 
charged seperately).

************ Organisers ************ 

Roland Backhouse (University of Nottingham)
Jeremy Gibbons (University of Oxford)
Ralf Hinze (Universitat Bonn)
Johan Jeuring (Universiteit Utrecht)
Fermin Reig (University of Nottingham) 

************ Co-location ************ 

The Symposium on Trends in Functional Programming (TFP 2006), and the
Conference of the Types Project (TYPES 2006) will be held in
Nottingham the week before this spring school.

************ Registration and cost ************ 

To register, send an email to the following address: 
gp2006(at)cs.nott.ac.uk

A small fee will be charged to cover photocopying of the draft
proceedings, coffee, etc.

************ Accommodation ************ 

Participants are expected to arrange their own accommodation. See the
school's web site for information about accommodation in the campus
and its vicinity.

************ APPSEM ************ 

This is an APPSEM affiliated event. APPSEM funds can be used to
support participants from APPSEM affiliated sites.

************ Further information ************ 

Web: http://www.cs.nott.ac.uk/ssdgp2006/
Email: gp2006(at)cs.nott.ac.uk


This message has been checked for viruses but the contents of an attachment
may still contain software viruses, which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.




More information about the Types-announce mailing list