From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p7DExppc005867 for ; Sat, 13 Aug 2011 16:59:51 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: As0DABuQRk6ABgQDgWdsb2JhbABBmHCPHAEBFiYlgWSBKyYYiDiZSpY/iH+FaF8EkxKFDIwF X-IronPort-AV: E=Sophos;i="4.67,367,1309730400"; d="asc'?scan'208";a="105397288" Received: from dragon.rutgers.edu ([128.6.4.3]) by mail4-smtp-sop.national.inria.fr with ESMTP; 13 Aug 2011 16:59:45 +0200 X-ExtScanner: Niversoft's Regex Matcher X-Virus-Scanned: by dragon-cgpav-clamav-v1.3b Received: by dragon.rutgers.edu (CommuniGate Pro PIPE 5.4.0) with PIPE id 98781278; Sat, 13 Aug 2011 10:59:45 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.1 (2010-03-16) on spamfilter5.rutgers.edu X-Spam-ASN: X-Spam-Relay-Country: X-Spam-Language: en X-Spam-Level: Received: from [69.22.228.68] (account ccshan@dragon.rutgers.edu HELO mantle.bostoncoop.net) by dragon.rutgers.edu (CommuniGate Pro SMTP 5.4.0) with ESMTPSA id 98781271 for caml-list@inria.fr; Sat, 13 Aug 2011 10:59:40 -0400 Received: by mantle.bostoncoop.net (Postfix, from userid 1000) id 76F9E35CE5; Sat, 13 Aug 2011 10:59:40 -0400 (EDT) Date: Sat, 13 Aug 2011 10:59:40 -0400 From: Chung-chieh Shan To: caml-list@inria.fr Message-ID: <20110813145940.GA15502@mantle.bostoncoop.net> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="ZGiS0Q5IWpPtfppv" Content-Disposition: inline User-Agent: Mutt/1.5.21 (2010-09-15) X-Validation-by: ccshan@post.harvard.edu Subject: [Caml-list] ML Workshop: register early by August 15 --ZGiS0Q5IWpPtfppv Content-Type: text/plain; charset=us-ascii Content-Disposition: inline ACM SIGPLAN Workshop on ML Sunday, 18 September 2011, Tokyo, Japan (co-located with ICFP) http://conway.rutgers.edu/ml2011/ CALL FOR PARTICIPATION * Early Registration deadline is August 15! * The ML family of programming languages includes dialects known as Standard ML, Objective Caml, and F#. These languages have inspired a large amount of computer-science research, both practical and theoretical. This workshop aims to provide a forum for discussion and research on ML and related technology (higher-order, typed, or strict languages). The format of ML 2011 will continue the return in 2010 to a more informal model: a workshop with presentations selected from submitted abstracts. Presenters will be invited to submit working notes, source code, and extended papers for distribution to the attendees, but the workshop will not publish proceedings, so any contributions may be submitted for publication elsewhere. We hope that this format will encourage the presentation of exciting (if unpolished) research and deliver a lively workshop atmosphere. INVITED SPEAKERS Naoki Kobayashi (Tohoku University) Atsushi Ohori (Tohoku University) ACCEPTED TALKS Efficiently scrapping boilerplate code in OCaml Dmitri Boulytchev, Sergey Mechtaev Implementing implicit self-adjusting computation (short talk) Yan Chen, Joshua Dunfield, Matthew A. Hammer, Umut A. Acar Lightweight typed customizable unmarshaling Pascal Cuoq, Damien Doligez, Julien Signoles Adding GADTs to OCaml: the direct approach Jacques Garrigue, Jacques Le Normand A demo of Coco: a compiler of monadic coercions in ML (short talk) Nataliya Guts, Michael Hicks, Nikhil Swamy, Daan Leijen Verifying liveness properties of ML programs M. M. Lester, R. P. Neatherway, C.-H. L. Ong, S. J. Ramsay MixML remixed Andreas Rossberg, Derek Dreyer Report on OCaml type debugger Kanae Tsushima, Kenichi Asai Camomile: a Unicode library for OCaml (short talk) Yoriyuki Yamagata PROGRAM COMMITTEE Amal Ahmed (Indiana University) Andrew Tolmach (Portland State University) Anil Madhavapeddy (University of Cambridge) Chung-chieh Shan (chair) Joshua Dunfield (Max Planck Institute for Software Systems) Julia Lawall (University of Copenhagen) Keisuke Nakano (University of Electro-Communications) Martin Elsman (SimCorp) Walid Taha (Halmstad University) STEERING COMMITTEE Eijiro Sumii (chair) (Tohoku University) Andreas Rossberg (Google) Jacques Garrigue (Nagoya University) Matthew Fluet (Rochester Institute of Technology) Robert Harper (Carnegie Mellon University) Yaron Minsky (Jane Street) --ZGiS0Q5IWpPtfppv Content-Type: application/pgp-signature; name="signature.asc" Content-Description: Digital signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iD8DBQFORpFczjAc4f+uuBURAu2WAJ4/uj0QEDY5akeFoRKVD9jj6WSwQgCffpZn p2y4D6m4T37EbhpCgWfPI30= =v4/m -----END PGP SIGNATURE----- --ZGiS0Q5IWpPtfppv--