[Agda] WGP 2011: Call for Papers

[Shin-Cheng Mu]

======================================================================
                          CALL FOR PAPERS

                             WGP 2011

            7th ACM SIGPLAN Workshop on Generic Programming
                           Tokyo, Japan
                    Sunday, September 18th, 2011

              http://flolac.iis.sinica.edu.tw/wgp11/

Collocated with the International Conference on Functional Programming
			     (ICFP 2011)
======================================================================


Goals of the workshop
---------------------

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 program 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, and, for at least 20 years,
generic programming techniques have been a specific focus of research
in the functional and object-oriented programming communities. Generic
programming has gradually spread to more and more mainstream
languages, and today is widely used in industry. This workshop brings
together leading researchers and practitioners in generic programming
from around the world, and features papers capturing the state of the
art in this important area.

We welcome contributions on all aspects, theoretical as well as
practical, of

    * generic programming,
    * programming with (C++) concepts,
    * meta-programming,
    * programming with type classes,
    * programming with modules,
    * programming with dependent types,
    * polytypic programming,
    * adaptive object-oriented programming,
    * component-based programming,
    * strategic programming,
    * aspect-oriented programming,
    * family polymorphism,
    * object-oriented generic programming,
    * and so on.

Organizers
----------

Co-Chair
  Jaakko Järvi, Texas A&M University, USA
Co-Chair
  Shin-Cheng Mu, Academia Sinica, Taiwan

Programme Committee
-------------------

Dave Abrahams, BoostPro Computing, USA
Magne Haveraaen, Universitetet i Bergen, Norway
Akimasa Morihata, Tohoku University, Japan
Pablo Nogueira, Universidad Politécnica de Madrid, Spain
Ulf Norell, Chalmers University of Technology and University of Gothenberg, Sweden
Ross Paterson, City University London, UK
Rinus Plasmeijer, Radboud University Nijmegen, The Netherlands
Sibylle Schupp, Technische Universität Hamburg-Harburg, Germany
Andrew Sutton, Kent State University, USA
Tarmo Uustalu, Institute of Cybernetics, Estonia

Important Information
---------------------

We plan to have formal proceedings, published by the ACM.

Submission details
Deadline for submission:     Monday    2011-06-06
Notification of acceptance:  Tuesday   2011-07-01
Final submission due:        Monday    2011-07-25
Workshop:                    Sunday    2011-09-18

Authors should submit papers, in postscript or PDF format, formatted
for A4 paper, to the WGP11 EasyChair instance by the above deadline.
The length should be restricted to 12 pages in standard
(two-column, 9pt) ACM format. Accepted papers are published by the ACM
and will additionally appear in the ACM digital library.

History of the Workshop on Generic Programming
----------------------------------------------

This year:

  * Tokyo, Japan 2011 (affiliated with ICFP11)

Earlier Workshops on Generic Programming have been held in

  * Baltimore, Maryland, US 2010 (affiliated with ICFP10)
  * Edinburgh, UK 2009 (affiliated with ICFP09)
  * Victoria, BC, Canada 2008 (affiliated with ICFP),
  * Portland 2006 (affiliated with ICFP),
  * Ponte de Lima 2000 (affiliated with MPC),
  * Marstrand 1998 (affiliated with MPC).

Furthermore, there were a few informal workshops

  * Utrecht 2005 (informal workshop),
  * Dagstuhl 2002 (IFIP WG2.1 Working Conference),
  * Nottingham 2001 (informal workshop),

There were also (closely related) DGP workshops in Oxford (June
3-4 2004), and a Spring School on DGP in Nottingham (April 24-27
2006, which had a half-day workshop attached).
Additional information:

The WGP steering committee consists of J. Gibbons, R. Hinze, P. Jansson,
J. Järvi, J. Jeuring, B. Oliveira, S. Schupp, and M. Zalewski