Call for Papers: ML Workshop 2005

Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Call for Papers: ML Workshop 2005

Final Call for Papers

The 2005 ACM SIGPLAN Workshop on ML

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

* NOTE: INCREASED PAGE LIMIT *

In response to a number of requests,
the page limit for submissions has 
been increased to 20 pages in ENTCS style.

Goals and scope:

The ML family of programming languages, whose dialects include Standard ML, Objective Caml, Alice ML 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 alse 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
Microsoft Research Limited
7 J J Thomson Avenue
Cambridge CB3 0FB
United Kingdom
E-mail: nick@microsoft.com

Xavier Leroy
INRIA Rocquencourt
B.P. 105
78153 Le Chesnay
France
E-mail: Xavier.Leroy@inria.fr

Invited Speaker:

Greg Morrisett

Harvard University

Program Committee:

Nick Benton (co-chair)	Microsoft Research
Matthias Blume	Toyota Technological Institute at Chicago
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	Tohoku University
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

Proceedings:

The Workshop proceedings will be published as a volume of Elsevier Electronic Notes in Theoretical Computer Science (ENTCS). A preliminary proceedings will also be distributed at the Workshop.

Submission Procedure:

Contributions, in English and not to exceed 20 pages in ENTCS format, should be submitted via the Web interface.

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 inches). Use of the ENTCS style files (available from the workshop Web site) for initial submissions is strongly encouraged.

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