Dear all, the Workshop on Generic Programming early registration deadline is only a few days away: August 18, 2006 (http://regmaster2.com/conf/icfp2006.html). ==> We have reserved 30 minutes for *lightning talks*. If you plan to ==> attend and if you would like to give a short talk (about half-baked, ==> exciting, new stuff) please drop me a short note. Slots will be ==> reserved on a first-come-first-serve basis. Looking forward to seeing you in Portland, Ralf Hinze ============================================================================ CALL FOR PARTICIPATION 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} ============================================================================ Preliminary program ------------------- 9.oo - 1o.3o, session chair: Ralf Hinze (Universität Bonn) Welcome Design Patterns as Higher-Order Datatype-Generic Programs Jeremy Gibbons (Oxford University) Type Theoretic Design Patterns Ondrej Rypacek, Roland Backhouse, Henrik Nilsson (University of Nottingham) Generating Generic Functions Johan Jeuring, Alexey Rodriguez, Gideon Smeding (Utrecht University) 11.oo - 12.3o, session chair: Peter Dybjer (Chalmers University of Technology) Good Advice for Type-Directed Programming Geoffrey Washburn, Stephanie Weirich (University of Pennsylvania) Context-Parametric Polykinded Types Pablo Nogueira (University of Nottingham) Modular Generic Programming with Extensible Superclasses Martin Sulzmann, Meng Wang (University of Singapore) 14.3o - 16.oo, session chair: Jeremy Gibbons (Oxford University) Report from the program chair Ralf Hinze (Universität Bonn) Scrap++: Scrap Your Boilerplate in C++ Gustav Munkby, Andreas Priesnitz, Sibylle Schupp, Marcin Zalewski (Chalmers University of Technology) A Technique for Generic Iteration and Its Optimization Stephen Watt (University of Western Ontario) Lightning talks: to be announced 16.3o - 18.oo, session chair: Jeremy Siek (Rice University) Towards An Automatic Complexity Analysis for Generic Programs Kyle Ross (Indiana University) An Object-Oriented Approach to Datatype Generic Programming Adriaan Moors, Frank Piessen, Wouter Joosen (Katholieke Universiteit Leuven) Discussion ============================================================================