[prev in list] [next in list] [prev in thread] [next in thread]
List: boost-interest
Subject: [Boost-interest] WGP 2012 Call for Papers
From: Ronald Garcia <rxg () cs ! cmu ! edu>
Date: 2012-03-05 15:19:21
Message-ID: 99D25BA4-73DD-4A96-898C-6235E838A5CD () cs ! cmu ! edu
[Download RAW message or body]
[Attachment #2 (multipart/alternative)]
======================================================================
CALL FOR PAPERS
WGP 2012
8th ACM SIGPLAN Workshop on Generic Programming
Copenhagen, Denmark
Sunday, September 9th, 2012
http://www.wgp-sigplan.org/2012
Co-located with the
International Conference on Functional Programming (ICFP 2012)
======================================================================
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,
* type systems for generic programming,
* polytypic programming,
* adaptive object-oriented programming,
* component-based programming,
* strategic programming,
* aspect-oriented programming,
* family polymorphism,
* object-oriented generic programming,
* implementation of generic programming languages,
* static and dynamic analyses of generic programs,
* and so on.
Program Committee
-----------------
Anya Helene Bagge, University of Bergen
Jacques Carette, McMaster University
Manuel Chakravarty, University of New South Wales
Ronald Garcia (co-chair), University of British Columbia
Jacques Garrigue, Nagoya University
Andy Gill, University of Kansas
Douglas Gregor, Apple
Andrew Kennedy, Microsoft Research Cambridge
Neelakantan Krishnaswami, Max Planck Institute for Software Systems
Andres Löh (co-chair), Well-Typed LLP
Zoltan Porkolab, Eötvös Loránd University
Chung-chieh Shan, University of Tsukuba
Proceedings and Copyright
-------------------------
We plan to have formal proceedings, published by the ACM. Authors must
transfer copyright to ACM upon acceptance (for government work, to the
extent transferable), but retain various rights
(http://www.acm.org/publications/policies/copyright_policy). Authors are
encouraged to publish auxiliary material with their paper (source code,
test data, etc.); they retain copyright of auxiliary material.
Submission details
------------------
Deadline for submission: Friday 2012-06-01
Notification of acceptance: Wednesday 2012-06-27
Final submission due: Tuesday 2012-07-10
Workshop: Sunday 2012-09-09
Papers should be submitted via EasyChair at
https://www.easychair.org/conferences/?conf=wgp2012
Submitted papers should be in portable document format (PDF), formatted
using the ACM SIGPLAN style guidelines (two-column, 9pt). The length is
restricted to 12 pages.
Travel Support
--------------
Student attendees with accepted papers can apply for a SIGPLAN PAC grant
to help cover travel expenses. PAC also offers other support, such as
for child-care expenses during the meeting or for travel costs for
companions of SIGPLAN members with physical disabilities, as well as for
travel from locations outside of North America and Europe. For details
on the PAC program, see its web page (http://www.sigplan.org/PAC.htm).
History of the Workshop on Generic Programming
----------------------------------------------
Earlier Workshops on Generic Programming have been held in
* Tokyo, Japan 2011 (affiliated with ICFP11),
* 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).
WGP Steering Committee
----------------------
Patrik Jansson (chair)
Sibylle Schupp
Bruno Oliveira
Marcin Zalewski
Jaako Järvi
Shin-Cheng Mu
Jeremy Gibbons
Magne Haveraaen
Tim Sheard
[Attachment #5 (unknown)]
<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; \
-webkit-line-break: after-white-space; "><div style="word-wrap: break-word; \
-webkit-nbsp-mode: space; -webkit-line-break: after-white-space; \
">======================================================================<br> &nbs \
p; CALL \
FOR PAPERS<br><br> &n \
bsp; WGP \
2012<br><br> 8th ACM \
SIGPLAN Workshop on Generic \
Programming<br>   \
; Copenhagen, \
Denmark<br> Sunday, \
September 9th, 2012<br><br> <a \
href="http://www.wgp-sigplan.org/2012">http://www.wgp-sigplan.org/2012</a><br><br>&nbs \
p; Co-located \
with the<br> International Conference on Functional Programming \
(ICFP 2012)<br>======================================================================<br><br><br>Goals \
of the workshop<br>---------------------<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> * generic \
programming,<br> * programming with (C++) \
concepts,<br> * meta-programming,<br> * programming \
with type classes,<br> * programming with \
modules,<br> * programming with dependent \
types,<br> * type systems for generic \
programming,<br> * polytypic 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> * implementation of generic programming \
languages,<br> * static and dynamic analyses of generic \
programs,<br> * and so on.<br><br>Program \
Committee<br>-----------------<br><br>Anya Helene Bagge, University of \
Bergen<br>Jacques Carette, McMaster University<br>Manuel Chakravarty, University of \
New South Wales<br>Ronald Garcia (co-chair), University of British \
Columbia<br>Jacques Garrigue, Nagoya University<br>Andy Gill, University of \
Kansas<br>Douglas Gregor, Apple<br>Andrew Kennedy, Microsoft Research \
Cambridge<br>Neelakantan Krishnaswami, Max Planck Institute for Software \
Systems<br>Andres Löh (co-chair), Well-Typed LLP<br>Zoltan Porkolab, Eötvös Loránd \
University<br>Chung-chieh Shan, University of Tsukuba<br><br>Proceedings and \
Copyright<br>-------------------------<br><br>We plan to have formal proceedings, \
published by the ACM. Authors must<br>transfer copyright to ACM upon acceptance \
(for government work, to the<br>extent transferable), but retain various \
rights<br>(<a href="http://www.acm.org/publications/policies/copyright_policy">http://www.acm.org/publications/policies/copyright_policy</a>). \
Authors are<br>encouraged to publish auxiliary material with their paper (source \
code,<br>test data, etc.); they retain copyright of auxiliary \
material.<br><br>Submission details<br>------------------<br><br>Deadline for \
submission: Friday \
2012-06-01<br>Notification of acceptance: Wednesday \
2012-06-27<br>Final submission due: Tuesday \
2012-07-10<br>Workshop: \
Sunday \
2012-09-09<br><br>Papers should be submitted via EasyChair \
at<br><br> <a href="https://www.easychair.org/conferences/?conf=wgp2012">https://www.easychair.org/conferences/?conf=wgp2012</a><br><br>Submitted \
papers should be in portable document format (PDF), formatted<br>using the ACM \
SIGPLAN style guidelines (two-column, 9pt). The length is<br>restricted to 12 \
pages.<br><br>Travel Support<br>--------------<br><br>Student attendees with accepted \
papers can apply for a SIGPLAN PAC grant<br>to help cover travel expenses. PAC also \
offers other support, such as<br>for child-care expenses during the meeting or for \
travel costs for<br>companions of SIGPLAN members with physical disabilities, as well \
as for<br>travel from locations outside of North America and Europe. For \
details<br>on the PAC program, see its web page (<a \
href="http://www.sigplan.org/PAC.htm">http://www.sigplan.org/PAC.htm</a>).<br><br>History \
of the Workshop on Generic \
Programming<br>----------------------------------------------<br><br>Earlier \
Workshops on Generic Programming have been held in<br><br> * Tokyo, Japan 2011 \
(affiliated with ICFP11),<br> * Baltimore, Maryland, US 2010 (affiliated with \
ICFP10),<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><br>WGP Steering \
Committee<br>----------------------<br><br>Patrik Jansson (chair)<br>Sibylle \
Schupp<br>Bruno Oliveira<br>Marcin Zalewski<br>Jaako Järvi<br>Shin-Cheng Mu<br>Jeremy \
Gibbons<br>Magne Haveraaen<br>Tim Sheard<br></div></body></html>
_______________________________________________
Boost-Interest mailing list
Boost-Interest@lists.boost.org
http://lists.boost.org/mailman/listinfo.cgi/boost-interest
[prev in list] [next in list] [prev in thread] [next in thread]
Configure |
About |
News |
Add a list |
Sponsored by KoreLogic