[CFP] 2006 ACM SIGPLAN Workshop on ML (Portland OR, Sept 06)

Francois Pottier <Francois.Pottier@inria.fr>
9 May 2006 00:48:13 -0400

          From comp.compilers

Related articles
[CFP] 2006 ACM SIGPLAN Workshop on ML (Portland OR, Sept 06) Francois.Pottier@inria.fr (Francois Pottier) (2006-05-09)
| List of all articles for this month |

From: Francois Pottier <Francois.Pottier@inria.fr>
Newsgroups: comp.compilers
Date: 9 May 2006 00:48:13 -0400
Organization: I.N.R.I.A Rocquencourt
Keywords: functional, conference, CFP, ML
Posted-Date: 09 May 2006 00:48:13 EDT

* The 2006 ACM SIGPLAN Workshop on ML *
* *
* September 16, 2006 *
* *
* Colocated with the 11th ACM SIGPLAN *
* International Conference on Functional Programming (ICFP 2006), *
* Portland, Oregon. *
* *
* Call for Papers *
* *
* http://gallium.inria.fr/ml2006/ *

Important dates

* Submission deadline: Saturday 3rd June 2006, 06:00 GMT.
* Notification of acceptance: Saturday 8th July 2006.
* Final paper due: Saturday 29th July 2006.


The ML family of programming languages, whose most popular variants
are SML and OCaml, has inspired a tremendous amount of computer
science research, both practical and theoretical, and ML continues to
underpin a variety of applications, ranging from compilers and theorem
provers to low-level system software. This workshop aims to provide a
forum for discussion and research on existing and future ML and
ML-like languages.

We seek papers on any ML-related topic, including (but not limited to):

      * applications.
      * extensions: objects, classes, concurrency, distribution
and mobility, semi-structured data handling, etc.
      * type systems: inference, modules, specification, error reporting,
      * implementation: compilers, interpreters, partial evaluators,
                                          garbage collectors, etc.
      * environments: libraries, tools, editors, debuggers,
                                          cross-language interoperability, etc.
      * semantics.

Both experimental and theoretical papers are welcome. Each paper
should explain its contributions in both general and technical terms,
clearly identifying what has been accomplished, explaining why it is
significant, and comparing it with previous work. In order to
encourage lively discussion, submitted papers may describe work in

Papers must be submitted in either PDF format or as PostScript
documents that are interpretable by Ghostscript. They must be
printable on US Letter sized paper. Papers should be formatted using
the ACM SIGPLAN style guidelines available at


The length should be no more than 12 pages.

Proceedings will be published by ACM Press and will appear in the ACM
Digital Library. Authors of accepted papers will be required to sign
the ACM copyright form.

Papers can be submitted electronically at


General Chairs and Program Chairs

Andrew Kennedy
Microsoft Research Ltd,
7 JJ Thomson Ave,
Cambridge CB3 0FB, UK

Franois Pottier
INRIA Rocquencourt
BP 105
78153 Le Chesnay Cedex

Programme Committee

Derek Dreyer (Toyota Technological Institute at Chicago)
Matthew Fluet (Cornell University)
John Harrison (Intel Corporation)
Haruo Hosoya (University of Tokyo)
Andrew Kennedy (Microsoft Research Cambridge, co-chair)
Eugenio Moggi (Universit di Genova)
Michael Norrish (National ICT Australia)
Franois Pottier (INRIA Rocquencourt, co-chair)
Ian Stark (University of Edinburgh)
Alley Stoughton (Kansas State University)
Jrme Vouillon (CNRS and Universit Paris 7)
Stephanie Weirich (University of Pennsylvania)

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.