<div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div><div>Apologies for multiple postings.</div><div><br></div><div><font face="courier new, monospace">======================================================================</font></div>
<div><font face="courier new, monospace"> CALL FOR PAPERS</font></div>
<div><font face="courier new, monospace"><br></font></div><div><font face="courier new, monospace"> WGP 2014</font></div><div><font face="courier new, monospace"><br></font></div><div><font face="courier new, monospace"> 10th ACM SIGPLAN Workshop on Generic Programming</font></div>
<div><font face="courier new, monospace"> Gothenburg, Sweden</font></div><div><font face="courier new, monospace"> Sunday, August 31, 2014</font></div><div><font face="courier new, monospace"><br>
</font></div><div><font face="courier new, monospace"> <a href="http://www.wgp-sigplan.org/2014" target="_blank">http://www.wgp-sigplan.org/2014</a></font></div><div><font face="courier new, monospace"><br>
</font></div>
<div><font face="courier new, monospace"> Co-located with the</font></div><div><font face="courier new, monospace"> International Conference on Functional Programming (ICFP 2014)</font></div><div>
<font face="courier new, monospace">======================================================================</font></div><div><font face="courier new, monospace"><br></font></div><div><font face="courier new, monospace"><br>
</font></div><div><font face="courier new, monospace">Goals of the workshop</font></div><div><font face="courier new, monospace">---------------------</font></div><div><font face="courier new, monospace"><br></font></div>
<div><font face="courier new, monospace">Generic programming is about making programs more adaptable by making</font></div><div><font face="courier new, monospace">them more general. Generic programs often embody non-traditional kinds</font></div>
<div><font face="courier new, monospace">of polymorphism; ordinary programs are obtained from them by suitably</font></div><div><font face="courier new, monospace">instantiating their parameters. In contrast with normal programs, the</font></div>
<div><font face="courier new, monospace">parameters of a generic program are often quite rich in structure; for</font></div><div><font face="courier new, monospace">example they may be other programs, types or type constructors, class</font></div>
<div><font face="courier new, monospace">hierarchies, or even programming paradigms.</font></div><div><font face="courier new, monospace"><br></font></div><div><font face="courier new, monospace">Generic programming techniques have always been of interest, both to</font></div>
<div><font face="courier new, monospace">practitioners and to theoreticians, and, for at least 20 years,</font></div><div><font face="courier new, monospace">generic programming techniques have been a specific focus of research</font></div>
<div><font face="courier new, monospace">in the functional and object-oriented programming communities. Generic</font></div><div><font face="courier new, monospace">programming has gradually spread to more and more mainstream</font></div>
<div><font face="courier new, monospace">languages, and today is widely used in industry. This workshop brings</font></div><div><font face="courier new, monospace">together leading researchers and practitioners in generic programming</font></div>
<div><font face="courier new, monospace">from around the world, and features papers capturing the state of the</font></div><div><font face="courier new, monospace">art in this important area.</font></div><div><font face="courier new, monospace"><br>
</font></div><div><font face="courier new, monospace">We welcome contributions on all aspects, theoretical as well as</font></div><div><font face="courier new, monospace">practical, of</font></div><div><font face="courier new, monospace"><br>
</font></div><div><font face="courier new, monospace"> * generic programming,</font></div><div><font face="courier new, monospace"> * programming with (C++) concepts,</font></div><div><font face="courier new, monospace"> * meta-programming,</font></div>
<div><font face="courier new, monospace"> * programming with type classes,</font></div><div><font face="courier new, monospace"> * programming with modules,</font></div><div><font face="courier new, monospace"> * programming with dependent types,</font></div>
<div><font face="courier new, monospace"> * type systems for generic programming,</font></div><div><font face="courier new, monospace"> * polytypic programming,</font></div><div><font face="courier new, monospace"> * adaptive object-oriented programming,</font></div>
<div><font face="courier new, monospace"> * component-based programming,</font></div><div><font face="courier new, monospace"> * strategic programming,</font></div><div><font face="courier new, monospace"> * aspect-oriented programming,</font></div>
<div><font face="courier new, monospace"> * family polymorphism,</font></div><div><font face="courier new, monospace"> * object-oriented generic programming,</font></div><div><font face="courier new, monospace"> * implementation of generic programming languages,</font></div>
<div><font face="courier new, monospace"> * static and dynamic analyses of generic programs,</font></div><div><font face="courier new, monospace"> * and so on.</font></div><div><font face="courier new, monospace"><br>
</font></div><div><font face="courier new, monospace">Program Committee</font></div><div><font face="courier new, monospace">-----------------</font></div><div><font face="courier new, monospace"><br></font></div><div><font face="courier new, monospace">José Pedro Magalhăes (co-chair), University of Oxford</font></div>
<div><font face="courier new, monospace">Tiark Rompf (co-chair), Oracle Labs & EPFL</font></div><div><font face="courier new, monospace">Peter Achten, Radboud University Nijmegen</font></div><div><font face="courier new, monospace">Nada Amin, Ecole Polytechnique Fédérale de Lausanne (EPFL)</font></div>
<div><font face="courier new, monospace">Pierre-Évariste Dagand, INRIA Paris-Rocquencourt</font></div><div><font face="courier new, monospace">Fritz Henglein, University of Copenhagen</font></div><div><font face="courier new, monospace">Andrew Lumsdaine, Indiana University</font></div>
<div><font face="courier new, monospace">Miles Sabin, Underscore Consulting LLP, Chuusai Ltd.</font></div><div><font face="courier new, monospace">Alexander Slesarenko, Huawei Labs & Keldysh Institute of Applied Mathematics (KIAM)</font></div>
<div><font face="courier new, monospace">Anthony M. Sloane, Macquarie University</font></div><div><font face="courier new, monospace">Wouter Swierstra, Utrecht University</font></div><div><font face="courier new, monospace">Meng Wang, Chalmers University of Technology</font></div>
<div><font face="courier new, monospace"><br></font></div><div><font face="courier new, monospace">Proceedings and Copyright</font></div><div><font face="courier new, monospace">-------------------------</font></div><div>
<font face="courier new, monospace"><br></font></div><div><font face="courier new, monospace">We plan to have formal proceedings, published by the ACM. Authors must</font></div><div><font face="courier new, monospace">transfer copyright to ACM upon acceptance (for government work, to the</font></div>
<div><font face="courier new, monospace">extent transferable), but retain various rights</font></div><div><font face="courier new, monospace">(<a href="http://www.acm.org/publications/policies/copyright_policy" target="_blank">http://www.acm.org/publications/policies/copyright_policy</a>). Authors are</font></div>
<div><font face="courier new, monospace">encouraged to publish auxiliary material with their paper (source code,</font></div><div><font face="courier new, monospace">test data, etc.); they retain copyright of auxiliary material.</font></div>
<div><font face="courier new, monospace"><br></font></div><div><font face="courier new, monospace">Submission details</font></div><div><font face="courier new, monospace">------------------</font></div><div><font face="courier new, monospace"><br>
</font></div><div><font face="courier new, monospace">Deadline for submission: Sunday 2014-05-11</font></div><div><font face="courier new, monospace">Notification of acceptance: Friday 2014-06-06</font></div>
<div><font face="courier new, monospace">Final submission due: Wednesday 2014-06-18</font></div><div><font face="courier new, monospace">Workshop: Sunday 2014-08-31</font></div><div><font face="courier new, monospace"><br>
</font></div><div><font face="courier new, monospace">Submitted papers should fall into one of two categories:</font></div><div><font face="courier new, monospace"><br></font></div><div><font face="courier new, monospace"> * Regular research papers (12 pages)</font></div>
<div><font face="courier new, monospace"> * Short papers: case studies, tool demos, generic pearls (6 pages)</font></div><div><font face="courier new, monospace"><br></font></div><div><font face="courier new, monospace">Regular research papers are expected to present novel and interesting</font></div>
<div><font face="courier new, monospace">research results. Short papers need not present novel or fully polished</font></div><div><font face="courier new, monospace">results. Good candidates for short papers are those that report on </font></div>
<div><font face="courier new, monospace">interesting case studies of generic programming in open source or </font></div><div><font face="courier new, monospace">industry, present demos of generic programming tools or libraries, </font></div>
<div><font face="courier new, monospace">or discuss elegant and illustrative uses of generic programming ('pearls').</font></div><div><font face="courier new, monospace"><br></font></div><div><font face="courier new, monospace">All submissions should be in portable document format (PDF), formatted</font></div>
<div><font face="courier new, monospace">using the ACM SIGPLAN style guidelines (two-column, 9pt). Regular </font></div><div><font face="courier new, monospace">research papers must not exceed 12 pages. Short papers must not exceed </font></div>
<div><font face="courier new, monospace">6 pages. If applicable, papers should be marked with one of the labels</font></div><div><font face="courier new, monospace">'case study, 'tool demo' or 'generic pearl' in the title at the time </font></div>
<div><font face="courier new, monospace">of submission.</font></div><div><font face="courier new, monospace"><br></font></div><div><font face="courier new, monospace">Papers should be submitted via EasyChair at</font></div>
<div><font face="courier new, monospace"><br></font></div><div><font face="courier new, monospace"> <a href="https://www.easychair.org/conferences/?conf=wgp2014" target="_blank">https://www.easychair.org/conferences/?conf=wgp2014</a></font></div>
<div><font face="courier new, monospace"><br></font></div><div><font face="courier new, monospace"><br></font></div><div><font face="courier new, monospace">Travel Support</font></div><div><font face="courier new, monospace">--------------</font></div>
<div><font face="courier new, monospace"><br></font></div><div><font face="courier new, monospace">Student attendees with accepted papers can apply for a SIGPLAN PAC grant</font></div><div><font face="courier new, monospace">to help cover travel expenses. PAC also offers other support, such as</font></div>
<div><font face="courier new, monospace">for child-care expenses during the meeting or for travel costs for</font></div><div><font face="courier new, monospace">companions of SIGPLAN members with physical disabilities, as well as for</font></div>
<div><font face="courier new, monospace">travel from locations outside of North America and Europe. For details</font></div><div><font face="courier new, monospace">on the PAC program, see its web page (<a href="http://www.sigplan.org/PAC.htm" target="_blank">http://www.sigplan.org/PAC.htm</a>).</font></div>
<div><font face="courier new, monospace"><br></font></div><div><font face="courier new, monospace">History of the Workshop on Generic Programming</font></div><div><font face="courier new, monospace">----------------------------------------------</font></div>
<div><font face="courier new, monospace"><br></font></div><div><font face="courier new, monospace">Earlier Workshops on Generic Programming have been held in</font></div><div><font face="courier new, monospace"><br></font></div>
<div><font face="courier new, monospace"> * Boston, Massachusetts, US 2013 (affiliated with ICFP13),</font></div><div><font face="courier new, monospace"> * Copenhagen, Denmark 2012 (affiliated with ICFP12),</font></div>
<div><font face="courier new, monospace"> * Tokyo, Japan 2011 (affiliated with ICFP11),</font></div><div><font face="courier new, monospace"> * Baltimore, Maryland, US 2010 (affiliated with ICFP10),</font></div><div><font face="courier new, monospace"> * Edinburgh, UK 2009 (affiliated with ICFP09),</font></div>
<div><font face="courier new, monospace"> * Victoria, BC, Canada 2008 (affiliated with ICFP),</font></div><div><font face="courier new, monospace"> * Portland 2006 (affiliated with ICFP),</font></div><div><font face="courier new, monospace"> * Ponte de Lima 2000 (affiliated with MPC),</font></div>
<div><font face="courier new, monospace"> * Marstrand 1998 (affiliated with MPC).</font></div><div><font face="courier new, monospace"><br></font></div><div><font face="courier new, monospace">Furthermore, there were a few informal workshops</font></div>
<div><font face="courier new, monospace"><br></font></div><div><font face="courier new, monospace"> * Utrecht 2005 (informal workshop),</font></div><div><font face="courier new, monospace"> * Dagstuhl 2002 (IFIP WG2.1 Working Conference),</font></div>
<div><font face="courier new, monospace"> * Nottingham 2001 (informal workshop).</font></div><div><font face="courier new, monospace"><br></font></div><div><font face="courier new, monospace">There were also (closely related) DGP workshops in Oxford (June</font></div>
<div><font face="courier new, monospace">3-4 2004), and a Spring School on DGP in Nottingham (April 24-27</font></div><div><font face="courier new, monospace">2006, which had a half-day workshop attached).</font></div><div>
<font face="courier new, monospace"><br></font></div><div><font face="courier new, monospace">WGP Steering Committee</font></div><div><font face="courier new, monospace">----------------------</font></div><div><font face="courier new, monospace"><br>
</font></div><div><font face="courier new, monospace">Shin-Cheng Mu (chair)</font></div><div><font face="courier new, monospace">Jaako Järvi</font></div><div><font face="courier new, monospace">Andres Löh</font></div><div>
<font face="courier new, monospace">Ronald Garcia</font></div><div><font face="courier new, monospace">Jacques Carette</font></div><div><font face="courier new, monospace">Jeremiah Willcock</font></div><div><font face="courier new, monospace">Tim Sheard</font></div>
<div><font face="courier new, monospace">Stephanie Weirich</font></div><div><font face="courier new, monospace">Tarmo Uustalu</font></div></div><div><br></div></div></div></div></div></div>