[Caml-list] WGP 2012 Call for Participation

Dear Camlers,

Here is the Call for Participation for WGP.
This year some presentations use OCaml :-)

Jacques Garrigue

======================================================================
CALL FOR PARTICIPATION

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.


Accepted papers and preliminary schedule:
-----------------------------------------

09:00 Welcome
09:10 Nicolas Frisby, Andy Gill and Perry Alexander.
A Pattern for Almost Homomorphic Functions
09:50 José Pedro Magalhães. The Right Kind of Generic Programming
10:30 Break
11:00 Jaakko Järvi, Magne Haveraaen, John Freeman and Mat Marcus.
Expressing Multi-Way Data-Flow Constraint Systems as a Commutative
Monoid Makes Many of their Properties Obvious
11:40 Seyed Hossein Haeri, Sibylle Schupp and Jonathan Hüser.
Using Functional Languages to Facilitate C++ Metaprogramming
12:20 Lunch
14:00 Sam Lindley. Embedding F
14:40 Steven Keuchel and Johan T. Jeuring.
Generic conversions of abstract syntax representations
15:20 Break
16:00 Ralf Hinze, Daniel James, Thomas Harper, Nicolas Wu and
José Pedro Magalhães. Sorting with Bialgebras and Distributive Laws
16:40 Discussion
17:30 End

See also: http://www.wgp-sigplan.org/2012


REGISTRATION IS NOW OPEN:
-------------------------

* http://www.icfpconference.org/icfp2012/registration.html
* EARLY REGISTRATION DEADLINE: 9th August, 2012


Local arrangements (including travel and accommodation):
--------------------------------------------------------

* http://www.icfpconference.org/icfp2012/local.html


Andres Löh and Ronald Garcia
WGP 2012 Program Co-Chairs

--------------------------------------------------------------------

--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs