Workshop on Generic Programming 2000, call for papers

To: types@cis.upenn.edu
Subject: Workshop on Generic Programming 2000, call for papers
From: Johan Jeuring <johanj@cs.uu.nl>
Date: Fri, 03 Sep 1999 18:15:26 +0200

               Workshop on Generic Programming

     http://www.cs.uu.nl/~johanj/wgp2000/wgp2000cfp.html

                         6th July 2000

                   Ponte de Lima, Portugal
                                            

                        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, kinds, or
even programming paradigms. 

This workshop follows on the 5th Mathematics of Program Construction
conference. 

This is the second workshop on generic programming, the first workshop on
generic programming (proceedings) was held on Marstrand, Sweden, in 1998. 

                         Submission

Papers (preferably short, no more than 15 pages) should be submitted in
Postscript format by e-mail to reach Johan Jeuring by March 20, 2000.
Accepted papers will be published in the proceedings of the workshop, which
will appear as a technical report at Utrecht University. 

Submission deadline:  20 March 
Notification:                30 April 
Final version due:        20 May
Workshop:                   6 July

                            Topics

Generic programming techniques have always been of interest, both to
practitioners and theoreticians, but have rarely been a specific focus of
research, until recently. In the last couple of years we have seen: 

    * several language extensions for generic programming
(PolyP,DrIFT,FML,AOOP,FiSH); 
    * lots of examples of generic programming (generalized tries,
unification, data compression, XML applications) ; 
    * programming calculi for generic programming. 

We solicit papers on these topics. The list of topics is not exclusive:
papers on other topics related to generic programming are also welcome. 


                     Programme Committee

     Gianna Belle       (Genova, Italy) 
     Patrik Jansson     (Chalmers, Sweden) 
     Ralf Hinze         (Bonn, Germany) 
     Graham Hutton      (Nottingham, Great Britain) 
     Johan Jeuring      (Utrecht, The Netherlands, chair) 
     Colin Runciman     (York, Great Britain) 
     Fritz Ruehr        (Willamette, USA) 
     Tim Sheard         (OGI, USA) 
     Doaitse Swierstra  (Utrecht, The Netherlands) 

                           Address

                        Johan Jeuring
                 Department of Computer Science
                      Utrecht University
                         P.O.Box 80.089
                       NL-3508 TB Utrecht
                        The Netherlands
                      email: johanj@cs.uu.nl
                 url: http://www.cs.uu.nl/~johanj/