posted by user: JacquesCarette || 1837 views || tracked by 2 users: [display]

WGP 2013 : Workshop on Generic Programming

FacebookTwitterLinkedInGoogle

Link: http://www.wgp-sigplan.org/doku.php?id=2013
 
When Sep 28, 2013 - Sep 28, 2013
Where Boston, MA
Submission Deadline Jun 13, 2013
Notification Due Jul 11, 2013
Final Version Due Jul 25, 2013
 

Call For Papers

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

WGP 2013

9th ACM SIGPLAN Workshop on Generic Programming
Boston, Massachusetts, USA
Saturday, September 29th, 2013

http://www.wgp-sigplan.org/2013

Co-located with the
International Conference on Functional Programming (ICFP 2013)
======================================================================


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
-----------------

Jeremiah Willcock (co-chair), Indiana University
Jacques Carette (co-chair), McMaster University
Florian Rabe, Jacobs University Bremen
Emilie Balland, INRIA Bordeaux
Jeremy Siek, University of Colorado, Boulder
Gabriel Dos Reis, Texas A&M University
Christophe Raffalli, Savoie University
Anya Helene Bagge, Universitetet i Bergen
Tiark Rompf, Ecole Polytechnique Federale de Lausanne
Andreas Abel, Ludwig-Maximilians-Universitat Munchen
Edward Kmett, S&P Capital IQ
William Cook, University of Texas, Austin

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 2013-06-14
Notification of acceptance: Wednesday 2013-07-11
Final submission due: Tuesday 2013-07-25
Workshop: Sunday 2013-09-28

Papers should be submitted via EasyChair at

https://www.easychair.org/conferences/?conf=wgp2013

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

* Copenhagen, Denmark 2012 (affiliated with ICFP12),
* 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
----------------------

Marcin Zalewski (chair)
Bruno Oliveira
Jaako Järvi
Shin-Cheng Mu
Andres Löh
Ronald Garcia
Magne Haveraaen
Tim Sheard
Stephanie Weirich

Related Resources

TyDe 2020   5th Workshop on Type-Driven Development (TyDe 2020)
IPDPS 2021   35th IEEE International Parallel & Distributed Processing Symposium
ASPLOS 2021   Architectural Support for Programming Languages and Operating Systems
PARMA-DITAM 2021   PARMA-DITAM: 12th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures & 10th Workshop on Design Tools and Architectures for Multi-Core
ESOP 2021   30th European Symposium on Programming
CP 2020   Twenty-Sixth Conference on Principles and Practice of Constraint Programming
ECOOP 2021   Call for papers: 35th European Conference on Object-Oriented Programming
TFP 2021   22nd Symposium on Trends in Functional Programming
LCPC 2020   Languages and Compilers for Parallel Computing
EvoStar 2021   EvoStar 2021: The Leading European Event on Bio-Inspired Computation.