From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id B08D682416 for ; Mon, 28 May 2018 15:23:02 +0200 (CEST) Authentication-Results: mail3-smtp-sop.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-f175.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.216.175; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.216.175 as permitted sender) identity=mailfrom; client-ip=209.85.216.175; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-qt0-f175.google.com) identity=helo; client-ip=209.85.216.175; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-qt0-f175.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AbH/lZxJYfh7IUVZ0hNmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgXKvz5rarrMEGX3/hxlliBBdydt6ofzbKO+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZLebxlGiTanfb9+MAi9oBnMuMURnYZsMLs6xAHTontPde?= =?us-ascii?q?RWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbY?= =?us-ascii?q?UwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0vRz+s87lkRwPpiC?= =?us-ascii?q?cfNj427mfXitBrjKlGpB6tvgFzz5LIbI2QMvdxeb7Tfc4BRWpZQMleSzBBDI27?= =?us-ascii?q?b4sKFeUBPOBYpJT5q1YBqRayAA+hD/7txDBVnH/7xa810+ohHw/I3wIuAswAv2?= =?us-ascii?q?jbotjuKKcSSPq4wLXUwTnfbf5b3yr25ojSchAmpPGBRbN+ftDKxkk1FgPKkFGQ?= =?us-ascii?q?opH4MTyJ1uQCrXKb4PR6VemyjGMnpBt+rSO1xsctlIbJgpgZykvY+iV53ok1P8?= =?us-ascii?q?O3SFRgbN6rFZtfrSCaN49sTsw+RGFovT83x7sbspC1eygKzY4oxx/Za/GfaIiI?= =?us-ascii?q?4x3jVP6VIThignJpYrW/hwy98US4xe38Uc600FlOriVbiNXDqncN1xnL5siCTv?= =?us-ascii?q?t88ECh2SyM1wDI6uFEJlg0mbDcK547zb48jpoTsUPfHiDqgkX2lLWaeVkj+uit?= =?us-ascii?q?7ensf7bopoeEOoNqlg3zNr4il8+/DOgiLAQCQmmW9f6h2LDh/UD0RqhBgOcsna?= =?us-ascii?q?nDqp/aINwWpq6nDA9R1YYu8xO/AC2n0NQchHUHNU5FdA6eg4jnJl3DIvD1Ae2w?= =?us-ascii?q?g1SrlzdryPTGMaP7DprRKXjDla/tfbd760FC1Ao+1c5T645QB70bI//+WlX9uM?= =?us-ascii?q?LFAhI4KQC43uTqBdVl2oMbQ22PA6uZMK3IsV+P4+IiO+aMa5UOtzbnKvgq+fru?= =?us-ascii?q?gWUimVABfammw4EXZ26iHvl9LEWZZGDjgtYFEWsQogU+S+nqhEWYUTFPf3ayQ7?= =?us-ascii?q?485jYjBY26F4jDQ4StjKWF3Ce6BZ1WentLCkuMEHftb4WLQe0AaCOUIs97kzwL?= =?us-ascii?q?T6KtS4E71ULmiAivwLNiKqLJ4SACrtq339Fw46jXlAou3T1yFcWUlW+XGSU8on?= =?us-ascii?q?IQSiR+9aZ5plF7wVqG3K5kmLQMCc1L6ugMWwE8MoPaxOFSD9HpRhmHZdqAUxC7?= =?us-ascii?q?WtigB3c8Qs9nkPEUZEMoNNyolBHO22KRCL8YjbGRTMg7+6jG3nX1Yd12y3vc2b?= =?us-ascii?q?MJgFwvQ88JPmqj0P0svzPPDpLExh3K352hcr4RiWuQrT7Sn1rLh1lRVUtLaYuA?= =?us-ascii?q?WHkeYkXMqtGgvxHNSravDfIsNQ4TkJfeeJsPUcXgiBB9fNmmIM7XOjvjlGK5BB?= =?us-ascii?q?LOzbSJPtKzJjctmR7FAU1BqDg9uHaLMQ9kWHWkqmPaSSVyTRfhOhyxt+Z5r3y/?= =?us-ascii?q?Qwk/yATYN0A=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BEAwBSAQxbhq/YVdFcDhABBgyDaD5/K?= =?us-ascii?q?IN3g22RAYF5gQ+TT4EOA1MLJYQBRgKCDxkHAQQzFQECAQEBAQEBAQEBEwEBAQg?= =?us-ascii?q?LCwgoIwyCNSSCUAECAx0GHQEbDBIDDAYFCw0CAiYCAiEBAREBBQEcBgESCAGDG?= =?us-ascii?q?QKBZgEDFQ+ZMjyLBYF/BQEXgnAFg0YKGSYNVVeBYAIGEneHLYFUP4EPgw2CT0I?= =?us-ascii?q?BAQKBJgUBDAYBH4MAglQChhiBLJByLAcCgWeDO0qFc4MBgTuDb4dciWxKhkYPI?= =?us-ascii?q?YE2VS5xMxojgQGCEgkJggIag06FFIUEPD0wjW8BBQkXgiEBAQ?= X-IPAS-Result: =?us-ascii?q?A0BEAwBSAQxbhq/YVdFcDhABBgyDaD5/KIN3g22RAYF5gQ+?= =?us-ascii?q?TT4EOA1MLJYQBRgKCDxkHAQQzFQECAQEBAQEBAQEBEwEBAQgLCwgoIwyCNSSCU?= =?us-ascii?q?AECAx0GHQEbDBIDDAYFCw0CAiYCAiEBAREBBQEcBgESCAGDGQKBZgEDFQ+ZMjy?= =?us-ascii?q?LBYF/BQEXgnAFg0YKGSYNVVeBYAIGEneHLYFUP4EPgw2CT0IBAQKBJgUBDAYBH?= =?us-ascii?q?4MAglQChhiBLJByLAcCgWeDO0qFc4MBgTuDb4dciWxKhkYPIYE2VS5xMxojgQG?= =?us-ascii?q?CEgkJggIag06FFIUEPD0wjW8BBQkXgiEBAQ?= X-IronPort-AV: E=Sophos;i="5.49,452,1520895600"; d="scan'208";a="266732974" Received: from mail-qt0-f175.google.com ([209.85.216.175]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 28 May 2018 15:23:01 +0200 Received: by mail-qt0-f175.google.com with SMTP id m5-v6so14856163qti.1 for ; Mon, 28 May 2018 06:23:01 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :content-transfer-encoding; bh=e3rQKYjG/IsAwGorA5FFslSoilp/YPCFSHDcZ4/yzO4=; b=vcsIcTx+Bky78RgNZJDtdtK763PHsH5Xq5vAeEhPFcNq72PK8K2Nc2mEF/utyiDaaS p0bvLML0WSUS1jiKLiq+fIIGS+yh+CqkmgjfE4jWaaTbLUMWcxkGsEAEQzDSa89X0TOP FOSWKaANRJ3SxrDFp/U5qIs+TzYiCbqgZux7bmIf5Po1Mwfs8z3v/0CObayyyN5llxVJ PdK8qt7GrYQDqRRuoYDSbkHOQDeoPSMY8wxeQNXpXYKEdPQVh9tJroPhR7Gck1ErV2/h 4u0WykmBuWB8FD/6PK4rXgSeUGBsJM/PjHM81XWYsPJIJGAUKaK0yg1Q/BvIurFka3u3 Tsyw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:content-transfer-encoding; bh=e3rQKYjG/IsAwGorA5FFslSoilp/YPCFSHDcZ4/yzO4=; b=nbsbj5711HgPOCOdHBjUAP78aQLaF4oR8umUeo5t7kCKLawSlKvHtoMhU7k/Cz3P72 Qtap+Dk7KRlJrjF4GptaMUeE9mkwtPpLnvFKG8Z9pRzVln0jCBpRz1UfLoy/M10juVGo 04zzEky8CyyvRr5jnq6gw9Jlr7mNXFnV+SOSd8H+dIbzhdUiga9SwAZ18jkLGOnU2krp tjqiei2hfdAHs6pvsC5HCh2u4m0qwpJH8RaVWcXHWaQqFY2upqGWd3MJL/72IYpXzbPF 397BhXtC/elCxPCkCiyhbTTStuVYuslTdWnucHWqfd9Jek1OrcJJa5tLS595g6Z18C8E iEWg== X-Gm-Message-State: ALKqPwc41urr5VvTuq2NTVPcbUCigTrwbL4pr93JRn0G0Pu1kEIUnNFk 49xyzmAF1/SBN++S44h8bdAlX1NlTcxrzW8RYPycxg== X-Google-Smtp-Source: ADUXVKK7gLBqmHJyb2Fso+zTQ3yrDCVDrxrxJHJmLViO+V8jrb9mQ59Mu1vZWjSfHuKwD7XqYY5TWxPPrdX7GwDl5rY= X-Received: by 2002:ac8:26b0:: with SMTP id 45-v6mr12273309qto.318.1527513779794; Mon, 28 May 2018 06:22:59 -0700 (PDT) MIME-Version: 1.0 Received: by 2002:a0c:dd02:0:0:0:0:0 with HTTP; Mon, 28 May 2018 06:22:19 -0700 (PDT) In-Reply-To: References: From: Gabriel Scherer Date: Mon, 28 May 2018 15:22:19 +0200 Message-ID: To: caml users , Types Announcements Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] ML Family Workshop 2018: Call for presentations Dear all, This is a reminder that the submission deadline for the ML Family Workshop is coming soon, on May 31st. (We only require a one-to-three pages document, so you still have plenty of time to write a strong submission!) Please consider submitting your research presentations, experience reports, demos, or informed positions. See our full Call for Presentations at either of http://www.mlworkshop.org/workshops/ml2018/call-for-presentations-cfp https://icfp18.sigplan.org/track/mlfamilyworkshop-2018-papers#Call-for-pr= esentations Please feel free to send me an email for any questions you would have on the workshop. Best On Sun, May 6, 2018 at 12:40 PM, Gabriel Scherer wrote: > 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-pr= esentations-cfp > > or on the ICFP webpage > > https://icfp18.sigplan.org/track/mlfamilyworkshop-2018-papers#Call-for-= presentations > > 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).