From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTP id 2359C5D5 for ; Sun, 6 May 2018 10:41:41 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.49,369,1520895600"; d="scan'208";a="325946247" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 06 May 2018 12:41:38 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 5449382453; Sun, 6 May 2018 12:41:38 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 307B18240C for ; Sun, 6 May 2018 12:41:33 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=gabriel.scherer@gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer@gmail.com; spf=None smtp.helo=postmaster@mail-qt0-f194.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AVbbd7x8wVJcwYv9uRHKM819IXTAuvvDOBiVQ1KB2?= =?us-ascii?q?1eIcTK2v8tzYMVDF4r011RmVBd6ds6oMotGVmpioYXYH75eFvSJKW713fDhBt/?= =?us-ascii?q?8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1?= =?us-ascii?q?Ifn+FpLPg8it2O2+55Pebx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+?= =?us-ascii?q?RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTF?= =?us-ascii?q?UACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMNboRr4oRzut86ZrSAfpiC?= =?us-ascii?q?gZMT457HrXgdF0gK5CvR6tuwBzz4vSbY6SKfR+Y7jdfcsESmVdQsZfWStBAoam?= =?us-ascii?q?YIsOCeoKIOJUoob5qlcLqxa1GAuiC/71yjJQhnH406403fk/Hw7a0wItBM4OsG?= =?us-ascii?q?3OodnpKKseTeK4wa/VxjvDdfNW3jL95ZDJfB87uv6MR7NwftTVyUIyCg3KklWQ?= =?us-ascii?q?ppL/PzyLzOQGrm+W7+V6Wu20kW4nqh9+ojy1ysc3lobJhpwaykra+iVj24s1Kt?= =?us-ascii?q?i4R1R6Yd6gCpdfqyaaN45vT84kXmpmtiE6yrgctp66eigH0I8nxx/Qa/yfd4iH?= =?us-ascii?q?+BTjWPyWITdii3JpYL2/hxG18Uivzu3zSNO430pNripAitXMtncN1wDP5cidUv?= =?us-ascii?q?tx5Fuu2TGK1w3V9+pKIlg0mLLFJ5I9xrM8jJkevETZEiPohUn7jbWaelgg9+Wn?= =?us-ascii?q?7ensf6/oqYWGN4BujwHzKqQuldK7AeQ/KgUOWnKU+eW41LH65E35XKlGguQ4kq?= =?us-ascii?q?XEtJ3XKt4XpqG+Aw9S3YYj7wiwAy2639QfmHkLNFNFeBSZgIj1I1zCPuz0APOl?= =?us-ascii?q?j1mvkDpn3e7KMqDgD5nXM3TOlLjsca5460FGyQozyd5f54hTCrEEOP/zVVX+u8?= =?us-ascii?q?fCDh84LQO0x/zrCM5h2YMeR22PGLGWMLnJvF+H4+IgOeiMZIsPtDnhLPgl4ubi?= =?us-ascii?q?jWUlll8FYampwZwXZWikEft8JkWZZWPggtMAEWcRogozV/fqiV2HUT5LfXm+Ra?= =?us-ascii?q?M85jchCIKnF4jPXI6tgKbSlBu8S5ZfY2QOF0uBC2ygI46NXvNJbCOJPudglCYF?= =?us-ascii?q?XP6vUdllnS2/rALhg5NhKO3J/CYVsJ/lyMM9s/HCjRwpsDVyCcOA1WqAZ2V1hX?= =?us-ascii?q?8TASQ71bs5vFRwzFHF3KRl1a92D9tWstxAWB07OJqU9Od6Bsr/QEqVcd6DUler?= =?us-ascii?q?RpO9CjE8VN8r69ALakd5Xd6li0aQjGKRH7YJmunTV9QP+aXG0i20ep8kmiT2kZ?= =?us-ascii?q?I5hlxjefNhcGivh6px7Q/WXtebnECQlqLsfqMZjneUqDWziFGWtUQdazZeFL3f?= =?us-ascii?q?VClGNETTpNX9oEjFSu32UOl1Ak560ceHb5ByRJjpgFFBHqmxPd3fZyeohz/1C0?= =?us-ascii?q?/ZmvWDa43lf2hb1yLYWhAJ?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0ANBABv2+5af8LYVdFcDhABBgyEJXooC?= =?us-ascii?q?oNkg22RB4MIh2GLRRSBDgMCUQsFIIQBgnkHGQcBBDEXAQIBAQEBAQEBAQETAQE?= =?us-ascii?q?JCwsIJiUMgjUkgnMGHQEbDBIDEhAPAiYCJAERAQUBIgGFGgEDFQ+bBTyLBYF/B?= =?us-ascii?q?QEXgnAFg0gKGSYNVFeCMAIBBRJ3hxyBVD+BD4YcAQECgSsBDAYBgx+CVAKGEIE?= =?us-ascii?q?mkHQIgWWDN0mIaIxiiUaGdw8DHoEEHgFoLnEzGiOBAYISEoICg2iFFIUEPD0wj?= =?us-ascii?q?hIBBQkXgiABAQ?= X-IPAS-Result: =?us-ascii?q?A0ANBABv2+5af8LYVdFcDhABBgyEJXooCoNkg22RB4MIh2G?= =?us-ascii?q?LRRSBDgMCUQsFIIQBgnkHGQcBBDEXAQIBAQEBAQEBAQETAQEJCwsIJiUMgjUkg?= =?us-ascii?q?nMGHQEbDBIDEhAPAiYCJAERAQUBIgGFGgEDFQ+bBTyLBYF/BQEXgnAFg0gKGSY?= =?us-ascii?q?NVFeCMAIBBRJ3hxyBVD+BD4YcAQECgSsBDAYBgx+CVAKGEIEmkHQIgWWDN0mIa?= =?us-ascii?q?IxiiUaGdw8DHoEEHgFoLnEzGiOBAYISEoICg2iFFIUEPD0wjhIBBQkXgiABAQ?= X-IronPort-AV: E=Sophos;i="5.49,369,1520895600"; d="scan'208";a="325946200" Received: from mail-qt0-f194.google.com ([209.85.216.194]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 06 May 2018 12:41:11 +0200 Received: by mail-qt0-f194.google.com with SMTP id f5-v6so19465155qth.2 for ; Sun, 06 May 2018 03:41:11 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to :content-transfer-encoding; bh=nJaoP9A1kIbCR1RTpEguhgPi2X86GUGREZKenZmMpLc=; b=iM9Xvlj4d614l379ngCWl7wfTSenK4LV32ChZn/BlcgTlqXdpcCIenW4DrbQNZBX/4 ojcRD0qkGoMwYadab8a7h8P46cvecGoF+QztkbyM3xi68Z3ja6iGWKbTvx0Xus7uRFIY fxNXxZXqxsDktBzSi2O4Etnh3nTqnySyepWKMK12Wif0zbhMbGiH21bBgIAPi0ICWB+M Hh/5plc6K6A8/DbC1cAaBxqTZNVVxexpF2TLh7wngwR4wMbHLL5ZafbtgxtCKSubFmDA CdbTF/Us6qxNdYreyPh7HexAtgT7AiyR7iwjJec7pbbqiy+8Z9NpAioKQFT05fnBbeoL bC4w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to :content-transfer-encoding; bh=nJaoP9A1kIbCR1RTpEguhgPi2X86GUGREZKenZmMpLc=; b=Hdb9UagnS91kRzfrvojY3kmdMNvREQtYMGrWaJemPIfHKL/ppUYJaZdjz1TlNJIfJw fn058UVaU7lfCEe5ujUmU2wAB7h/it1HTn32azPqED14p1D8mZCK1D4dhPf62romXK99 0uo3r1gRB2dEnPd4cW3r4BZ9tN3+TKbWw0qPglxua3RPs9L3Te4A5DsABsD8q2npoi6f vKRt/9s6+wauGoGWn1NxpcA3K+hNdE2wWCV8N2DXVl5wAbxpXO2gwP0GSgqbRFb7Tvxd jMnrlm4qA4JLwg0c2GlS1zt4n5LMSFZelqlmYSW50Vmxl07T6nOAdgzGFYvhtLYXa1cd TxaA== X-Gm-Message-State: ALQs6tANPZGEACOtjeCewsfwnNH30Z57YzcxcjPcBksRVa66RV5hJbUM 7s07Boqeq5Wr9TyiF8yjnH8RRgahrLWSksJu19XrwA== X-Google-Smtp-Source: AB8JxZpyk+wrt22bAXBAHBOMXl3Jz3pTRQyBzwABQngB3eWIkTkgbNv+PLBVsU4+iiO0WpcrTF5rqQ2iKptti73/nnY= X-Received: by 2002:a0c:96b4:: with SMTP id a49-v6mr13959666qvd.119.1525603269757; Sun, 06 May 2018 03:41:09 -0700 (PDT) MIME-Version: 1.0 Received: by 10.12.139.111 with HTTP; Sun, 6 May 2018 03:40:29 -0700 (PDT) From: Gabriel Scherer Date: Sun, 6 May 2018 12:40:29 +0200 Message-ID: To: caml users , Types Announcements Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] ML Family Workshop 2018: Call for presentations Reply-To: Gabriel Scherer X-Loop: caml-list@inria.fr X-Sequence: 16879 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: We are happy to invite submissions to the ML Family Workshop 2018, to be held during the ICFP conference week on Friday, September 28th. The ML family workshop warmly welcomes submission touching on the programming languages traditionally seen as part of the "ML family", but not only; we are keen on receiving submissions from other, related language groups. If you wonder whether some work is appropriate for the workshop, or have any other question, feel free to write me an email. See our detailed CFP online on the workshop website https://sites.google.com/site/mlworkshoppe/workshops/ml2018/call-for-pres= entations-cfp or on the ICFP webpage https://icfp18.sigplan.org/track/mlfamilyworkshop-2018-papers#Call-for-pr= esentations Important dates --------------- - Thursday 31st May (any time zone): Abstract submission deadline - Thursday 28th June: Author notification - Friday 28th September 2018: ML Family Workshop Program committee ----------------- - Zena Ariola, University of Oregon, US - Jacques Garrigue, Nagoya University, Japan - Troels Henriksen, University of Copenhagen, Denmark - Andrew Kennedy, Facebook, UK - Felix Klock, Mozilla, Germany - Ramana Kumar, DeepMind, UK - Guido Martinez, CIFASIS-CONICET, Argentina - Heather Miller, Northeastern University, US and EPFL, Switzerland - Gabriel Scherer, INRIA Saclay, France - Filip Sieczkowski, Wroc=C5=82aw University, Poland - Antonis Stampoulis, Originate Inc., US Submission details ------------------ See the online CFP for the details on the expected submission format. Compared to last year, we bumped the page limit from 2 pages to 3. Submissions must be uploaded to the workshop submission website https://icfp-mlworkshop18.hotcrp.com/ before the submission deadline (Thursday 31st May). --=20 Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs=