<div dir="ltr"><div><font face="courier new, monospace">======================================================================</font></div><div><font face="courier new, monospace"> CALL FOR PARTICIPATION</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">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">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"><br></font></div><div><font face="courier new, monospace">Schedule</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">09:00<span class="" style="white-space:pre"> </span> Welcome</font></div>
<div><font face="courier new, monospace">Session 1</font></div><div><font face="courier new, monospace">09:10<span class="" style="white-space:pre"> </span> Bruno C. d. S. Oliveira. Functional Programming, Object-Oriented Programming and Algebras! (invited talk)</font></div>
<div><font face="courier new, monospace">10:00<span class="" style="white-space:pre"> </span> Coffee break</font></div><div><font face="courier new, monospace">Session 2</font></div><div><font face="courier new, monospace">10:30<span class="" style="white-space:pre"> </span> Larry Diehl and Tim Sheard. Generic Constructors and Eliminators from Descriptions</font></div>
<div><font face="courier new, monospace">11:00<span class="" style="white-space:pre"> </span> Thomas Williams, Pierre-Évariste Dagand and Didier Rémy. Ornaments in Practice</font></div><div><font face="courier new, monospace">11:30<span class="" style="white-space:pre"> </span> Matthew Roberts and Tony Sloane. Type Inference for the Spine View of Data</font></div>
<div><font face="courier new, monospace">12:00<span class="" style="white-space:pre"> </span> Lunch</font></div><div><font face="courier new, monospace">Session 3</font></div><div><font face="courier new, monospace">14:00<span class="" style="white-space:pre"> </span> Alexander Slesarenko, Alexander Filippov and Alexey Romanov. First-class Isomorphic Specialization by Staged Evaluation</font></div>
<div><font face="courier new, monospace">14:30<span class="" style="white-space:pre"> </span> Sam Lindley. Algebraic Effects and Effect Handlers for Idioms and Arrows</font></div><div><font face="courier new, monospace">15:00<span class="" style="white-space:pre"> </span> Larisse Voufo, Marcin Zalewski and Andrew Lumsdaine. Scoping Rules on a Platter – A Framework for Understanding and Specifying Name Binding</font></div>
<div><font face="courier new, monospace">15:30<span class="" style="white-space:pre"> </span> Tea break</font></div><div><font face="courier new, monospace">Session 4</font></div><div><font face="courier new, monospace">16:00<span class="" style="white-space:pre"> </span> Patrick Bahr. Composing and Decomposing Data Types – A Closed Type Families Implementation of Data Types à la Carte</font></div>
<div><font face="courier new, monospace">16:30<span class="" style="white-space:pre"> </span> Edsko de Vries and Andres Löh. True Sums of Products</font></div><div><font face="courier new, monospace">17:00<span class="" style="white-space:pre"> </span> End</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">Registration</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">You can register via the ICFP 2014 registration:</font></div><div><font face="courier new, monospace"><br></font></div><div>
<font face="courier new, monospace"><a href="https://regmaster4.com/2014conf/ICFP14/register.php">https://regmaster4.com/2014conf/ICFP14/register.php</a></font></div><div><font face="courier new, monospace"><br></font></div>
<div><font face="courier new, monospace">Early registration deadline is 3 August.</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">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">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"><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><br></div></div>