[TYPES/announce] [CFP] 2006 ACM SIGPLAN Workshop on ML

Francois Pottier Francois.Pottier at inria.fr
Thu Mar 23 07:21:30 EST 2006


*********************************************************************
*               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.
* Notification of acceptance: Saturday  8th July 2006.
* Final paper due:            Saturday 29th July 2006.

Scope

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, etc.
  * 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
progress.

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

  http://www.acm.org/sigs/sigplan/authorInformation.htm

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.

General Chairs and Program Chairs

Andrew Kennedy
Microsoft Research Ltd,
7 JJ Thomson Ave,
Cambridge CB3 0FB, UK
akenn at microsoft.com

François Pottier
INRIA Rocquencourt
BP 105
78153 Le Chesnay Cedex
FRANCE
francois.pottier at inria.fr

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)
François Pottier (INRIA Rocquencourt, co-chair)
Ian Stark (University of Edinburgh)
Alley Stoughton (Kansas State University)
Jérôme Vouillon (CNRS and Université Paris 7)
Stephanie Weirich (University of Pennsylvania)




More information about the Types-announce mailing list