[Prev][Next][Index][Thread]
Working Conference on Generic Programming, 2nd call for papers
-
To: generic-haskell@cs.uu.nl, haskell@haskell.org, eapls@JISCmail.ac.uk, eacsl@dimi.uniud.it, seworld@cs.colorado.edu, alp-list@intellektik.informatik.th-darmstadt.de, amast@cs.utwente.nl, ipalist@win.tue.nl, lics@research.bell-labs.com, lics-list@math.uic.edu, logic-list@cs.rice.edu, logic@cs.cornell.edu, logic-ml@logic.jaist.ac.jp, mlnet@csd.abdn.ac.uk, relmics-list@heraklit.informatik.unibw-muenchen.de, skeletons@dcs.ed.ac.uk, types@cis.upenn.edu, prog-lang@diku.dk, nvti-list@cwi.nl, concurrency@cwi.nl, rewriting@ens-lyon.fr, theorynt@listserv.nodak.edu, mercury-ads@cs.mu.oz.au, categories@mta.ca, mop@cs.uu.nl, mfpsmail@math.tulane.edu, ecoop-info@ecoop.org, oose@uni-paderborn.de, generative@rz.tu-ilmenau.de, clean-list@cs.kun.nl, coalgebras@iti.cs.tu-bs.de, facs@lboro.ac.uk, formal-methods@cs.uidaho.edu, objecttypes@daimi.aau.dk, lprolog@cis.upenn.edu
-
Subject: Working Conference on Generic Programming, 2nd call for papers
-
From: Johan Jeuring <johanj@cs.uu.nl>
-
Date: Thu, 20 Dec 2001 09:07:27 +0100
WCGP '02
IFIP WG2.1 Working Conference on
GENERIC PROGRAMMING
http://www.generic-programming.nl/wcgp/cfp.html
Organised in conjunction with MPC'02
July 8 - July 13, 2002
Dagstuhl, Germany
CALL FOR PAPERS
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 programs 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.
SUBMISSION
Full papers should be submitted in Postscript or pdf
format by e-mail to reach Jeremy.Gibbons@comlab.ox.ac.uk
by February 16, 2002. The details of the submission
procedure can be found at
http://www.generic-programming.nl/wcgp/submit.html
Although there is no page limit, submissions should
strive for brevity and clarity.
IMPORTANT DATES
Submission February 16, 2002
Notification April 12, 2002
Final version due May 24, 2002
PROGRAMME COMMITTEE
Matt Austern
Eerke Boiten
Ulrich Eisenecker
Jeremy Gibbons (co-chair)
Ralf Hinze
Johan Jeuring (co-chair)
Gary Leavens
Karl Lieberherr
Lambert Meertens
Eugenio Moggi
Bernhard Moeller
Oege de Moor
David Musser
Martin Odersky
Ross Paterson
Simon Peyton Jones
Colin Runciman
Doaitse Swierstra
Stephanie Weirich
LOCAL ORGANISATION
Jeremy Gibbons
Johan Jeuring
Bernhard Moeller
CORRESPONDENCE
Jeremy Gibbons (Jeremy.Gibbons@comlab.ox.ac.uk)
Johan Jeuring (johan@jeuring.net)