From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id BD7ABBCAC for ; Fri, 27 May 2005 18:02:16 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j4RG2GYN013675 for ; Fri, 27 May 2005 18:02:16 +0200 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id SAA04774 for ; Fri, 27 May 2005 18:02:15 +0200 (MET DST) Received: from laime.cs.uchicago.edu (laime.cs.uchicago.edu [128.135.11.94]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j4RG2EMp013669 for ; Fri, 27 May 2005 18:02:15 +0200 Received: from [128.135.191.139] (tti5.uchicago.edu [128.135.191.139]) by laime.cs.uchicago.edu (Postfix) with ESMTP id 8D9C96D1C2; Fri, 27 May 2005 11:02:14 -0500 (CDT) Mime-Version: 1.0 (Apple Message framework v730) Content-Transfer-Encoding: quoted-printable Message-Id: <113EF476-5BE9-43BF-BCDA-54F4BF795954@tti-c.org> Content-Type: text/plain; charset=ISO-8859-1; delsp=yes; format=flowed To: types@cis.upenn.edu, caml-list@inria.fr, sml-list@lists.sourceforge.net, smlnj-dev-list@lists.sourceforge.net From: Matthias Blume Subject: *** Final Call for Papers (Increased Page Limit): ML Workshop 2005 Date: Fri, 27 May 2005 11:02:13 -0500 X-Mailer: Apple Mail (2.730) X-Miltered: at nez-perce with ID 42974488.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 42974487.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; matthias:01 blume:01 blume:01 sigplan:01 uchicago:01 icfp:01 entcs:01 inference:01 semantics:01 compilers:01 low-level:01 ml-like:01 sigplan:01 icfp:01 inference:01 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: Final Call for Papers The 2005 ACM SIGPLAN Workshop on ML http://ttic.uchicago.edu/~blume/ml05/ 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. ************************************* 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). Invited Speaker: Greg Morrisett, Harvard University 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 =20 inria.fr Program Committee: Nick Benton (co-chair) Microsoft Research Matthias Blume Toyota Technological Institute at =20 Chicago Martin Elsman IT University of Copenhagen Jean-Christophe Filli=E2tre 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=E4t 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 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 at http://ttic.uchicago.edu/~blume/ml05/ by Friday, June 10, 2005. 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.