English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
Second Call for Papers: ML Workshop 2005
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2005-05-17 (22:40)
From: Matthias Blume <blume@t...>
Subject: Second Call for Papers: ML Workshop 2005
                          Call for Papers

                  The 2005 ACM SIGPLAN Workshop on ML


                To be held in conjunction with ICFP 2005
                           September 29, 2005
                            Tallinn, Estonia

The ML family of programming languages, whose dialects include
Standard ML, Objective Caml, Alice and nML, has inspired a tremendous
amount of language research, ranging from type inference to module
systems to operational semantics and implementation. Languages from
the ML family have also been successfully applied in areas ranging
from compilers and theorem provers to low-level system software, web
applications and video games.

The goal of the Workshop is to provide a forum for researchers,
developers, and users to hear about and discuss the latest work on the
use, design, and implementation of ML-like languages.  Previous ML
Workshops have been held in Edinburgh, Pittsburgh, San Francisco,
Orlando and Baltimore.

The 2005 Workshop will be held in conjunction with the ACM SIGPLAN
International Conference on Functional Programming (ICFP) in Tallinn,
Estonia. 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, etc.
* implementation: compilers, interpreters, partial evaluators,
     garbage collectors, etc.
* environments: libraries, tools, editors, debuggers,
     cross-language interoperability, etc.
* semantics

Submitted papers should describe new ideas, experimental results, or
informed positions regarding proposals for next-generation ML languages.
In order to encourage lively discussion, submitted papers may describe
work in progress.  Proceedings will be published as a volume of
Electronic Notes in Theoretical Computer Science (ENTCS).

General Chair:
     Matthias Blume, Toyota Technological Institute at Chicago

Program Chairs:
     Nick Benton                         Xavier Leroy
     Microsoft Research Limited          INRIA Rocquencourt
     7 J J Thomson Avenue                B.P. 105
     Cambridge CB3 0FB                   78153 Le Chesnay
     United Kingdom                      France
     E-mail: nick at microsoft.com       E-mail: Xavier.Leroy at  

Program Committee:
     Nick Benton (co-chair)        Microsoft Research
     Matthias Blume                Toyota Technological Institute at  
     Martin Elsman                 IT University of Copenhagen
     Jean-Christophe Filliâtre     CNRS, University Paris Sud
     Robert Harper                 Carnegie Mellon University
     Xavier Leroy (co-chair)       INRIA Rocquencourt
     Chris Okasaki                 United States Military Academy
     John Reppy                    University of Chicago
     Andreas Rossberg              Universität des Saarlandes
     Zhong Shao                    Yale University
     Eijiro Sumii                  University of Pennsylvania
     Stephen Weeks
     Kwangkeun Yi                  Seoul National University

Important Dates:
     * Submission Deadline: June 10, 2005
     * Notification of acceptance: July 15, 2005
     * Final paper due: Sept 5, 2005
     * Workshop: September 29, 2005

Submission Procedure:

Technical summaries, in English and not to exceed 5000 words
(approximately 10 pages), should be submitted via the Web interface
at http://ttic.uchicago.edu/~blume/ml05/ by Friday, June 10, 2005.

Email submissions must be in PDF or Postscript form. The Postscript
should be interpretable by Ghostscript, use standard fonts (or include
the necessary fonts), and print correctly on US letter paper (8.5x11

All submissions must include a return postal address and an electronic
mail address. Receipt of the submissions will be acknowledged within 2

Notification of the acceptance or rejection of papers will be given by
Friday, July 15, 2005.

Copies of the papers will be distributed at the workshop, then later
published as a volume of the ENTCS series.