[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