Version française
Home     About     Download     Resources     Contact us    
Browse thread
Spring School on "Datatype-generic Programming", Call for Participation
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: F Reig <fermin.reig@g...>
Subject: Spring School on "Datatype-generic Programming", Call for Participation
                     Call for Participation

        Spring School on Datatype-Generic Programming
                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

* 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

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:

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 ************

Email: gp2006(at)