Working Conference on Generic Programming: first call for papers

• To: generic-haskell@cs.uu.nl, haskell@haskell.org, eapls@mailbase.ac.uk, eacsl@dimi.uniud.it, seworld@cs.colorado.edu, amast@cs.utwente.nl, ipalist@win.tue.nl, lics@research.bell-labs.com, relmics-list@heraklit.informatik.unibw-muenchen.de, skeletons@dcs.ed.ac.uk, types@cis.upenn.edu, logic@cs.cornell.edu, tapsoft@dcs.ed.ac.uk, prog-lang@diku.dk, flprog@informatik.uni-muenchen.de, nvti-list@cwi.nl, concurrency@cwi.nl, rewriting@ens-lyon.fr, theorynt@listserv.nodak.edu, mercury-users@cs.mu.oz.au, sisal-info@sisal.llnl.gov, categories@mta.ca, mop@cs.uu.nl, ecoop-info@ecoop.org, oose@uni-paderborn.de, generative@rz.tu-ilmenau.de, clean-list@cs.kun.nl, coalgebras@iti.cs.tu-bs.de
• Subject: Working Conference on Generic Programming: first call for papers
• From: Johan Jeuring <johan@jeuring.net>
• Date: Mon, 18 Jun 2001 13:17:11 +0200
• Cc: softtech@cs.uu.nl

                      WCGP '02
                            
            IFIP TC2 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)

                    

• Prev: PLI 2001 in Firenze: call for participation
• Next: WoLLIC'2001 - Call for Participation
• Index(es):
  • Main
  • Thread