[TYPES/announce] CFP: Workshop on Generic Programming 2006

Ralf Hinze ralf at informatik.uni-bonn.de
Thu Feb 16 10:38:39 EST 2006


============================================================================

                               CALL FOR PAPERS

                     Workshop on Generic Programming 2006

                    Portland, Oregon, 16th September 2006

      The Workshop on Generic Programming is sponsored by ACM SIGPLAN
      and forms part of ICFP 2006. Previous Workshops on Generic
      Programming have been held in Marstrand (affiliated with MPC),
      Ponte de Lima (affiliated with MPC), Nottingham (informal
      workshop), Dagstuhl (IFIP WG2.1 Working Conference), Oxford
      (informal workshop), and Utrecht (informal workshop).

      http://www.informatik.uni-bonn.de/~ralf/wgp2006.{html,pdf,ps,txt}

============================================================================

Scope
-----

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
workshop 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
o  adaptive object-oriented programming,
o  aspect-oriented programming,
o  component-based programming,
o  generic programming,
o  meta-programming,
o  polytypic programming, 
o  and so on.

Submission details
------------------

Deadline for submission:        3rd June 2006
Notification of acceptance:    24th June 2006
Final submission due:           8th July 2006
Workshop:                      16th September 2006

Authors should submit papers, in postscript or PDF format, formatted
for A4 paper, to Ralf Hinze (ralf at informatik.uni-bonn.de) by 3rd June
2006.  The length should be restricted to 12 pages in standard
(two-column, 9pt) ACM.  Accepted papers are published by the ACM and
will additionally appear in the ACM digital library.

Programme committee
-------------------

Roland Backhouse     University of Nottingham
Pascal Costanza      Vrije Universiteit Brussel
Peter Dybjer         Chalmers University of Technology
Jeremy Gibbons       University of Oxford
Johan Jeuring        Universiteit Utrecht
Ralf Hinze (chair)   Universität Bonn
Karl Lieberherr      Northeastern University
David Musser         Rensselaer Polytechnic Institute
Rinus Plasmeijer     Universiteit Nijmegen
Sibylle Schupp       Chalmers University of Technology
Jeremy Siek          Rice University
Don Syme             Microsoft Research

============================================================================




More information about the Types-announce mailing list