From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 8547FBBAF for ; Tue, 3 Feb 2009 15:14:06 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AscCAArgh0mLEwEye2dsb2JhbACUJQEBFiIFq0aPAwSEFA X-IronPort-AV: E=Sophos;i="4.37,372,1231110000"; d="scan'208";a="22427801" Received: from swsao0807.mpi-sb.mpg.de (HELO apollo.mpi-sb.mpg.de) ([139.19.1.50]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA; 03 Feb 2009 15:14:06 +0100 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mpi-sb.mpg.de; s=mail200803; h=Message-ID:Date:From: MIME-Version:To:Subject:Content-Type:Content-Transfer-Encoding; bh=lOeFF2rkT+2iKiVzWaqyjXSYViD2DJ0ziur3zVMFMBk=; b=zOOu/hmWEa6hZ 1u0YWt83N5LLD6MSb8xZDzH82HZExxX9eWWB0uwx8aGBEAA/swY4I8lZ32HqoVE4 FiqcLsGb4GNiKO+yylTbKfRx/LsZqo0OPIFR6tB5HH63Fd2/sEXZxOvLeNReHxaj uM/kiHkZRf86i1zJMcr6YZ1i7Bseqk= Received: from newmaniac.mpi-sb.mpg.de ([139.19.1.26]:34819) by apollo.mpi-sb.mpg.de (envelope-from ) with esmtp (Exim 4.69) id 1LUM2J-0007eC-Ij; Tue, 03 Feb 2009 15:14:05 +0100 Received: from groove.ds.mpi-sws.mpg.de ([139.19.131.41]:36743) by newmaniac.mpi-sb.mpg.de with esmtpsa (TLS-1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.63) (envelope-from ) id 1LUM2J-0007Ue-8O; Tue, 03 Feb 2009 15:13:59 +0100 Message-ID: <49885126.9090708@mpi-sws.org> Date: Tue, 03 Feb 2009 15:13:58 +0100 From: Andreas Rossberg User-Agent: Mozilla-Thunderbird 2.0.0.17 (X11/20081019) MIME-Version: 1.0 To: Caml List Subject: ML 2009 Call for Papers Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; rossberg:01 rossberg:01 sigplan:01 icfp:01 higher-order:01 sigplan:01 icfp:01 freiburg:01 polymorphism:01 inference:01 overloading:01 runtime:01 semantics:01 damien:01 oleg:01 CALL FOR PAPERS The 2009 ACM SIGPLAN Workshop on ML To be held in conjunction with ICFP 2009 on Sunday, August 30, 2009 in Edinburgh, Scotland, UK http://www.mpi-sws.org/~rossberg/ml2009/ GOALS OF THE WORKSHOP ML is a family of programming languages that includes dialects known as Standard ML, Objective Caml, and F#. The development of these languages has inspired a large amount of computer science research, both practical and theoretical. This workshop aims to provide a forum to encourage discussion and research on ML and related technology (higher-order, typed, or strict languages). The 2009 Work shop on ML will be held in conjunction with the 14th ACM SIGPLAN International Conference on Functional Programming (ICFP 2009) in Edinburgh, Scotland, UK. Previous instances were ML 2005 in Tallinn, Estonia, ML 2006 in Portland, Oregon, USA, ML 2007 in Freiburg, Germany, and ML 2008 in Victoria, British Columbia, Canada). IMPORTANT DATES Submission: Monday, May 11, 2009 (earlier than in past years!) Notification: Friday, May 29, 2009 Final revision: Monday, June 15, 2009 Workshop: Sunday, August 30, 2009 SUBMISSION GUIDELINES We seek papers on topics related to ML, including, but not limited to: * applications: case studies, experience reports, pearls, etc. * extensions: higher forms of polymorphism, generic programming, objects, concurrency, distribution and mobility, semi-structured data handling, etc. * type systems: inference, effects, overloading, modules, contracts, specifications and assertions, dynamic typing, error reporting, etc. * implementation: compilers, interpreters, type checkers, partial evaluators, runtime systems, garbage collectors, etc. * environments: libraries, tools, editors, debuggers, cross-language interoperability, functional data structures, etc. * semantics: operational, denotational, program equivalence, parametricity, mechanization, etc. Submitted papers should describe new ideas, experimental results, ML-related projects, or informed positions regarding proposals for next-generation ML-style languages. In order to encourage lively discussion, submitted papers may describe work in progress. All papers will be judged on a combination of correctness, significance, novelty, clarity, and interest to the community. All paper submissions must be in English and at most 12 pages total length in the standard ACM SIGPLAN two-column conference format (9pt). Accepted papers will be published by the ACM and will appear in the ACM Digital Library. More details about the submission procedure will be announced later on the Workshop web page. PROGRAM CHAIR Andreas Rossberg (Max Planck Institute for Software Systems) PROGRAM COMMITTEE Umut Acar (Toyota Technological Institute at Chicago) Damien Doligez (INRIA Paris-Rocquencourt) Neal Glew (Intel) Andrew Gordon (Microsoft Research Cambridge) Patricia Johann (University of Strathclyde) Oleg Kiselyov (FNMOC) Neelakantan Krishnaswami (Carnegie Mellon University) David MacQueen (University of Chicago) Yasuhiko Minamide (University of Tsukuba) Norman Ramsey (Tufts University) STEERING COMMITTEE See the ML Workshop series home page at: http://www.tti-c.org/blume/ml-workshop/