caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Didier Remy <Didier.Remy@inria.fr>
To: caml-list@inria.fr
Subject: [Caml-list] OCaml Users and Developers (OUD)
Date: Mon, 14 May 2012 10:42:25 +0200	[thread overview]
Message-ID: <4FB0C571.7060301@inria.fr> (raw)

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

Dear OCaml Users and Developers,

This is a reminder that this year "OCaml Meeting", renamed the "OCaml
Users and Developers workshop (OUD)", will be colocated with ICFP in
Copenhagen, Denmark on September 14th.

The deadline for submitting Talk Proposals is 8th June 2012,  only few
weeks away.  Visit http://oud.ocaml.org/2012/ for all details.

Don't miss it!

         Didier


[-- Attachment #2: cfp.txt --]
[-- Type: text/plain, Size: 2465 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>


             reply	other threads:[~2012-05-14  8:42 UTC|newest]

Thread overview: 3+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2012-05-14  8:42 Didier Remy [this message]
2012-06-08  9:35 ` Anil Madhavapeddy
2012-06-04  9:06 Didier Remy

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=4FB0C571.7060301@inria.fr \
    --to=didier.remy@inria.fr \
    --cc=caml-list@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).