[Caml-list] OCaml Users and Developers (OUD)

[Didier Remy <Didier.Remy@inria.fr>]

[-- Attachment #1: Type: text/plain, Size: 430 bytes --]

Dear OCaml Users and Developers,

This is a reminder that the deadline for submitting a Talk Proposal to the
OUD workshop, our annual "OCaml meeting", is this Friday, 8th June 2012.

This year, the "OCaml Users and Developers workshop (OUD)" will be colocated
with ICFP in Copenhagen, Denmark on September 14th.

Please visit our website http://oud.ocaml.org/2012/ for more information
and submission details.

          Didier



[-- Attachment #2: cfp.txt --]
[-- Type: text/plain, Size: 2466 bytes --]

              OCAML USERS AND DEVELOPERS WORKSHOP 2012
	                    OUD 2012
                      http://oud.ocaml.org
                     CALL FOR PRESENTATIONS
                       Copenhagen, Denmark
                           Fri, Sep 14th
                      Co-located with ICFP 2012
                        Sponsored by SIGPLAN
            Talk Proposal Submission Deadline 8th June 2012


In 2012, the OCaml Meeting will be renamed the OCaml Users and Developers
workshop (OUD), and be colocated with ICFP in Copenhagen, Denmark. It
will be held on Friday September 14, after the ML workshop (Thu 13)
and before the Commercial Users of Functional Programming (Sat 15).

The OCaml Users and Developers Workshop will bring together industrial
users of OCaml with academics and hackers who are working on extending the
language, type system and tools. Discussion will focus on the practical
aspects of OCaml programming and the nitty gritty of the tool-chain and
upcoming improvements and changes.  Thus, we aim to solicit talks on
all aspects related to improving the use or development of the language,
including, for example:

- compiler developments; new backends, runtime and architectures.
- practical type system improvements, such as (but not exhaustively) 
  GADTs, first-class modules, generic programming, or dependent types.
- new library or application releases, and their design rationales.
- tool enhancements by commercial consultants. 
- prominent industrial uses of OCaml, or deployments in unusual
  situations.

It will be an informal meeting, with an online scribe report of the
meeting, but no formal proceedings for this year. Slides of presentations
will be available online from the workshop homepage.

To submit a talk, please register an abstract or outline (1-2 pages) at
http://oud.ocaml.org/talks with as much information as you feel will
support the proposal.  If you wish to perform a demo or require any
special setup, we will do our best to accommodate you.

Schedule
========

Abstract Submission Deadline: Friday, 8th June 2012
Notification to Speakers: Friday, 6th July 2012
Workshop: Fri, 14th September 2012

Program Committee 
=================

* Didier Remy (co-chair)
* Anil Madhavapeddy (co-chair)
* Alain Frisch
* Jacques Garrigue
* Thomas Gazagnaire
* Martin Jambon
* Richard Jones

If you have any questions, please e-mail:
Didier Remy <didier.remy@inria.fr>
Anil Madhavapeddy <avsm2@cl.cam.ac.uk>