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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 7D187BB84 for ; Mon, 16 Jun 2008 23:37:31 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ak0BAGV5VkjRVYT4eGdsb2JhbACRZUMBDAUCBgcPBZkDgms X-IronPort-AV: E=Sophos;i="4.27,654,1204498800"; d="scan'208";a="12137419" Received: from concorde.inria.fr ([192.93.2.39]) by mail2-smtp-roc.national.inria.fr with ESMTP; 16 Jun 2008 23:37:31 +0200 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m5GLbVMx015757 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Mon, 16 Jun 2008 23:37:31 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ak0BAGV5VkjRVYT4eGdsb2JhbACRZUMBDAUCBgcPBZkDgms X-IronPort-AV: E=Sophos;i="4.27,654,1204498800"; d="scan'208";a="12137418" Received: from an-out-0708.google.com ([209.85.132.248]) by mail2-smtp-roc.national.inria.fr with ESMTP; 16 Jun 2008 23:37:30 +0200 Received: by an-out-0708.google.com with SMTP id d33so1096038and.97 for ; Mon, 16 Jun 2008 14:37:29 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:to :subject:cc:mime-version:content-type:content-transfer-encoding :content-disposition; bh=7zKYRQcO5Cm/X1Mw7vZhT0wMrb26QjD7Cw3vOlTdEUs=; b=LVcpSuBtKwmAs5NzocoPrKFTjVZ7Y4Yjj5ZRzyuCS/aKyQqtzawiwCxxIZG6S/P5MQ /rKz9xZ8PGqlAi5r8H5nd/J6e9BOo5HYy9HBz433Osb1igVi74rwT6fSNPcDt5S+iOnn Ro9WIiDLRnvJzc4P+z014j2BAAhdsps+mYtuQ= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:cc:mime-version:content-type :content-transfer-encoding:content-disposition; b=Gl8EFcbxQeFTU2xcmO4z0W7NieFbUgdYD/T1k+blvM6is6CRacT5D+fcFc2WjKqeQg yytW7niEm1gKhNc14kHL+Kjs2CHYUNeuHz4+LVL2SoaYf7hV9RaZBdYiQDX5lzanA0WJ v4wbRqvaQTyWsEDOIEEDdmrGqXKpz+aJbcRzI= Received: by 10.100.228.17 with SMTP id a17mr9418917anh.75.1213652249148; Mon, 16 Jun 2008 14:37:29 -0700 (PDT) Received: by 10.100.4.17 with HTTP; Mon, 16 Jun 2008 14:37:29 -0700 (PDT) Message-ID: Date: Tue, 17 Jun 2008 06:37:29 +0900 From: "Eijiro Sumii" To: "Caml List" Subject: Final CFP: ML Workshop 2008 Cc: "Eijiro Sumii" MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline X-Miltered: at concorde with ID 4856DD1B.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; eijiro:01 sumii:01 eijiro:01 sumii:01 ecei:01 tohoku:01 sigplan:01 icfp:01 ecei:01 tohoku:01 freiburg:01 sigplan:01 icfp:01 higher-order:01 inference:01 The submission deadline (June 23, Monday) for ML Workshop 2008 is approaching. Note the extension of the scope of the workshop this year (see below). Please feel free to contact the program chair (sumii@ecei.tohoku.ac.jp) if you have any question. Eijiro ********************************************************************** CALL FOR PAPERS The 2008 ACM SIGPLAN Workshop on ML Sunday, September 21, 2008 Victoria, British Columbia, Canada To be held in conjunction with ICFP 2008 http://www.kb.ecei.tohoku.ac.jp/ml2008/ IMPORTANT DATES: Submission deadline: Monday, June 23, 2008 Notification of acceptance: Friday, July 18, 2008 Final revision due: Monday, July 28, 2008 Workshop: Sunday, September 21, 2008 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 build on previous occasions (recent instances are ML 2005 in Tallinn, Estonia, 2006 in Portland, Oregon, and 2007 in Freiburg, Germany), providing a forum to encourage discussion and research on ML and related technology. The 2008 Workshop on ML will be held in conjunction with the 13th ACM SIGPLAN International Conference on Functional Programming (ICFP 2008) in Victoria, British Columbia, Canada on Sunday, September 21, 2008. This year we extend the scope of the workshop from ML itself to technologies closely related to ML (higher-order, typed, or strict languages) and invite high-quality papers in all areas of crucial importance for the future of ML. SUBMISSION GUIDELINES: We seek papers on topics related to ML, including (but not limited to): * applications * extensions: objects, classes, concurrency, distribution and mobility, semi-structured data handling, etc. * type systems (static and dynamic): inference, effects, overloading, error reporting, contracts, specifications and assertions, etc. * implementation: compilers, interpreters, partial evaluators, garbage collectors, etc. * environments: libraries, tools, editors, debuggers, cross-language interoperability, functional data structures, etc. * semantics Submitted papers should describe new ideas, experimental results, ML-related projects, or informed positions regarding proposals for next-generation ML 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 at most 12 pages total length in the standard ACM SIGPLAN two-column conference format (9pt): http://www.acm.org/sigs/sigplan/authorInformation.htm Accepted papers will be published by the ACM and will appear in the ACM Digital Library. The submission web site is now online. Visit http://www.easychair.org/conferences?conf=ml2008 and follow the instructions. PROGRAM CHAIR: Eijiro Sumii (Tohoku University) PROGRAM COMMITTEE: Sylvain Conchon (Paris-Sud University / INRIA Saclay-Ile-de-France) Karl Crary (Carnegie Mellon University) Andrzej Filinski (DIKU) Robby Findler (The University of Chicago) Cormac Flanagan (University of California at Santa Cruz) Alain Frisch (LexiFi) Dan Grossman (University of Washington) Didier Remy (INRIA Paris-Rocquencourt) Claudio Russo (Microsoft Research Cambridge) Eijiro Sumii (Tohoku University) Hongwei Xi (Boston University)