From johanj@cs.uu.nl Fri Sep 24 16:47:25 1999 Date: Mon, 13 Sep 1999 09:58:58 PDT From: Johan Jeuring Reply-To: Theory-A - TheoryNet World-Wide Events , Johan Jeuring To: THEORYNT@LISTSERV.NODAK.EDU Subject: Workshop on Generic Programming 2000, call for papers 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/