[prev in list] [next in list] [prev in thread] [next in thread] 

List:       haskell-generics
Subject:    [Hs-Generics] WGP 2010 Call for Papers
From:       Bruno Oliveira <brunocdsoliveira () googlemail ! com>
Date:       2010-02-18 10:12:43
Message-ID: a290aaba1002180212v40c81b26g7b7580c7a93dfcbf () mail ! gmail ! com
[Download RAW message or body]

[Attachment #2 (multipart/alternative)]


6th ACM SIGPLAN Workshop on Generic Programming, 2010
Baltimore, Maryland, US
Sunday, September  26th, 2010

http://osl.iu.edu/wgp2010

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

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

Organisers:

Co-Chair
Bruno C. d. S. Oliveira, Seoul National University
Co-Chair
Marcin Zalewski, Indiana University

Programme Committee:

Alley Stoughton, Kansas State University
Andrei Alexandrescu, Facebook
Bruno C. d. S. Oliveira (Co-Chair), Seoul National University
Doug Gregor, Apple
Gilad Bracha, I am a Computational Theologist Emeritus
Magne Haveraaen, Universitetet i Bergen
Marcin Zalewski (Co-Chair), Indiana University
Neil Mitchell, Standard Chartered
Ralf L=E4mmel, University of Koblenz-Landau
Shin-Cheng Mu, Academia Sinica
Thorsten Altenkirch, University of Nottingham
Ulf Norell, Chalmers University

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

Submission details
Deadline for submission:     Sunday    2010-06-13
Notification of acceptance:  Monday    2010-07-12
Final submission due:          Tuesday   2010-07-27
Workshop:                            Sunday    2010-09-26

Authors should submit papers, in postscript or PDF format,
formatted for A4 paper, to the WGP09 EasyChair instance by 13th of
June 2010. 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:

* Baltimore, Maryland, US 2010 (affiliated with ICFP10)

Earlier Workshops on Generic Programming have been held in

* 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 Jarvi, J Jeuring, B Oliveira, S Schupp and M Zalewski

[Attachment #5 (text/html)]

6th ACM SIGPLAN Workshop on Generic Programming, 2010<br>Baltimore, Maryland, \
US<br>Sunday, September  26th, 2010<br><br><a \
href="http://osl.iu.edu/wgp2010">http://osl.iu.edu/wgp2010</a><br><br>Goals of the \
workshop<br><br> Generic programming is about making programs more adaptable by \
making<br>them more general. Generic programs often embody non-traditional \
kinds<br>of polymorphism; ordinary programs are obtained from them by \
suitably<br>instantiating their parameters. In contrast with normal programs, the<br> \
parameters of a generic program are often quite rich in structure; for<br>example \
they may be other programs, types or type constructors, class<br>hierarchies, or even \
programming paradigms.<br><br>Generic programming techniques have always been of \
interest, both to<br> practitioners and to theoreticians, and, for at least 20 \
years,<br>generic programming techniques have been a specific focus of research<br>in \
the functional and object-oriented programming communities. Generic<br>programming \
has gradually spread to more and more mainstream<br> languages, and today is widely \
used in industry. This workshop brings<br>together leading researchers and \
practitioners in generic programming<br>from around the world, and features papers \
capturing the state of the<br>art in this important area.<br> <br>We welcome \
contributions on all aspects, theoretical as well as<br>practical, of<br><br> * \
polytypic programming,<br> * programming with dependent types,<br> * programming with \
                type classes,<br> * programming with (C++) concepts,<br>
 * generic programming,<br> * programming with modules,<br> * meta-programming,<br> * \
adaptive object-oriented programming,<br> * component-based programming,<br> * \
                strategic programming,<br> * aspect-oriented programming,<br>
 * family polymorphism,<br> * object-oriented generic programming,<br> * and so \
on.<br><br>Organisers:<br><br>Co-Chair<br>Bruno C. d. S. Oliveira, Seoul National \
University<br>Co-Chair<br>Marcin Zalewski, Indiana University<br> <br>Programme \
Committee:<br><br>Alley Stoughton, Kansas State University<br>Andrei Alexandrescu, \
Facebook     <br>Bruno C. d. S. Oliveira (Co-Chair), Seoul National \
University<br>Doug Gregor, Apple<br>Gilad Bracha, I am a Computational Theologist \
Emeritus<br> Magne Haveraaen, Universitetet i Bergen<br>Marcin Zalewski (Co-Chair), \
Indiana University<br>Neil Mitchell, Standard Chartered<br>Ralf Lämmel, University of \
Koblenz-Landau<br>Shin-Cheng Mu, Academia Sinica<br>Thorsten Altenkirch, University \
of Nottingham<br> Ulf Norell, Chalmers University    <br><br>We plan to have formal \
proceedings, published by the ACM.<br><br>Submission details<br>Deadline for \
submission:     Sunday    2010-06-13<br>Notification of acceptance:  Monday    \
2010-07-12<br> Final submission due:          Tuesday   2010-07-27<br>Workshop:       \
Sunday    2010-09-26<br><br>Authors should submit papers, in postscript or PDF \
format,<br>formatted for A4 paper, to the WGP09 EasyChair instance by 13th of<br> \
June 2010. The length should be restricted to 12 pages in standard<br>(two-column, \
9pt) ACM format. Accepted papers are published by the<br>ACM and will additionally \
appear in the ACM digital library.<br><br><br>History of the Workshop on Generic \
Programming<br> <br>This year:<br><br>* Baltimore, Maryland, US 2010 (affiliated with \
ICFP10)<br><br>Earlier Workshops on Generic Programming have been held in<br><br>* \
Edinburgh, UK 2009 (affiliated with ICFP09)<br>* Victoria, BC, Canada 2008 \
                (affiliated with ICFP),<br>
* Portland 2006 (affiliated with ICFP),<br>* Ponte de Lima 2000 (affiliated with \
MPC),<br>* Marstrand 1998 (affiliated with MPC).<br><br>Furthermore, there were a few \
                informal workshops<br><br>* Utrecht 2005 (informal workshop),<br>
* Dagstuhl 2002 (IFIP WG2.1 Working Conference),<br>* Nottingham 2001 (informal \
workshop),<br><br>There were also (closely related) DGP workshops in Oxford \
(June<br>3-4 2004), and a Spring School on DGP in Nottingham (April 24-27<br> 2006, \
which had a half-day workshop attached).<br>Additional information:<br><br>The WGP \
steering committee consists of J Gibbons, R Hinze, P Jansson,<br>J Jarvi, J Jeuring, \
B Oliveira, S Schupp and M Zalewski<br><br><br>



_______________________________________________
Generics mailing list
Generics@haskell.org
http://www.haskell.org/mailman/listinfo/generics


[prev in list] [next in list] [prev in thread] [next in thread] 

Configure | About | News | Add a list | Sponsored by KoreLogic