Generic programming is about making programs more adaptable by making them more general. Generic programs often embody non-traditional kinds of polymorphism; ordinary programs are obtained from them by suitably instantiating their parameters. In contrast with normal programs, the parameters of a generic program are often quite rich in structure; for example they may be other programs, types or type constructors, class hierarchies, or even programming paradigms.

Generic programming techniques have always been of interest, both to practitioners and to theoreticians, but only recently have generic programming techniques become a specific focus of research in the functional and object-oriented programming language communities. This working conference will bring together leading researchers in generic programming from around the world, and feature papers capturing the state of the art in this important emerging area.

We welcome contributions on all aspects, theoretical as well as practical, of generic programming, aspect-oriented programming, polytypic programming, adaptive object-oriented programming, generic components, and so on.

The accepted contributions will be published by Kluwer in their IFIP series.

Full papers should be submitted in Postscript or pdf format by e-mail to reach Jeremy.Gibbons@comlab.ox.ac.uk by March 2, 2002. Here are the details of the submission procedure. Although there is no page limit, submissions should strive for brevity and clarity.

Submission:	March 2, 2002
Notification:	April 12, 2002
Final version due:	May 24, 2002

Matt Austern	USA
Eerke Boiten	UK (MPC liaison)
Ulrich Eisenecker	Germany
Jeremy Gibbons	UK (Co-chair)
Ralf Hinze	Germany
Johan Jeuring	The Netherlands (Co-chair)
Gary Leavens	USA
Karl Lieberherr	USA
Lambert Meertens	USA
Eugenio Moggi	Italy
Bernhard Möller	Germany (MPC/Dagstuhl liaison)
Oege de Moor	UK
David Musser	USA
Martin Odersky	Switzerland
Ross Paterson	UK
Simon Peyton Jones	UK
Colin Runciman	UK
Doaitse Swierstra	The Netherlands
Stephanie Weirich	USA