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 ESMTPS id 0C6515D5 for ; Fri, 1 Jun 2018 17:05:24 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.49,467,1520895600"; d="scan'208";a="329937023" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 01 Jun 2018 19:05:23 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 72C5D82459; Fri, 1 Jun 2018 19:05:23 +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 C4D5482416 for ; Fri, 1 Jun 2018 19:05:19 +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-f172.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AiGMocRSUsBc3yfOAqCiCiV3SBdpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa6zYhKN2/xhgRfzUJnB7Loc0qyK6/2mATRIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSizexfbN/IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf?= =?us-ascii?q?5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbD?= =?us-ascii?q?VwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4rx1QxH0li?= =?us-ascii?q?gIKz858HnWisNuiqJbvAmhrAF7z4LNfY2ZKOZycqbbcNwdWGRBQ91RVzRfDYyg?= =?us-ascii?q?c4sBAe0BPeNCoIn8oVsFsB+yCAaoCe/qzDJDm3340rAg0+k5EQ/I0g8uEc8Qvn?= =?us-ascii?q?vIt9j1KLseXPqpwKXU0TnObfVb0ir95ojSdRAhpOmBU7NqfsXK00kvFh3KjlGN?= =?us-ascii?q?ooL4IzyV1voCs3KF4Op6SOmijGEnpBtqrTi1x8cjlI3JipgOyl/Y9SV23pw1Ks?= =?us-ascii?q?OiSENgbt6kFYFftyCeN4dsXswiRGRotT88x7Ybt5C7ey0Kx44mxx7Zc/GHaImI?= =?us-ascii?q?4h37VOaVOzh4gmhpeLWlhxa96USgxer8Vs670FZOsCVJiMXDtncI1xDL6siHTe?= =?us-ascii?q?d98Vu72TaXzQzc9uZEIUUymKHGKJAh2qY9moQPvUnHBCP7m0X7gLWIekk5++Wk?= =?us-ascii?q?8fnrb7f4qpKaKoR6kBvxMr40lcy6Gek4MhYBX2yc+emk0b3s50z5QLFTgv0vjq?= =?us-ascii?q?nVrInWJcoGqqO7HQNZyIkj6xG4Dzep1NQXg2MLI05CeBKCl4TpOlfOL+7kDfqn?= =?us-ascii?q?nVigjDNmy+rFM7DhGJnBMGXPnbb7cbpg6UNQ1hI/zdVF6JJVDrEBLujzWkj0tN?= =?us-ascii?q?HAAR82KRe7w/zmCNpj0oMSQ3mPDbOZMKzMq1+H+PgvLvKDZI8Qojn9Kvwl6+Ty?= =?us-ascii?q?gn8+nF8RZbOp0ocPaHCkAvRmJF2Ubmb2jdcEFWcGpw4+TO3xiF2eSjNTfHazX6?= =?us-ascii?q?ck5j4hEo6mDIHDRpqsgLObxiu7EIdWNSh6DQWHGHLsP5ifVu0XIHaZK8pl1zgF?= =?us-ascii?q?TqSJSok71BjouhWsj/JbP/LZ4WUxs5Tkyd5+6ujekw0pvWhoHtyQyCSESWdzg2?= =?us-ascii?q?UDShcy3btjugpmx16Yl7VgjvpeU9Ff+qUafB09MMvzxuZgCt32EjnKftqTRUzu?= =?us-ascii?q?FtqvCyswQ9Z32NQOblxwAf2tixnC22yhBLpDxO/DP4A97q+Jhyu5HM160XuTkf?= =?us-ascii?q?R41gh0co50LWSjw5VH2U3WDo/NnV+ekv/zJ6sZ1S/JsmyEyDjX5R0KYEtLSazA?= =?us-ascii?q?GEsnSA7Ot92gvxHNSravDfIsNQ4TkZffeJsPUcXgiBB9fNmmONnaZDjvyWK5BB?= =?us-ascii?q?LN36/UKYSzJD9b0yLaB0wJ1QsU+CTeOA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DVAgCFexFbgKzYVdFcDoRIfyiDd4Ntk?= =?us-ascii?q?H6KdItlgQ4DUwslhAGCTRkHAQQ0FAECAQEBAQEBAQEBEwEBCQ0JCCYlDII1JIJ?= =?us-ascii?q?zBh0BGx4DEhAPAiYCJAERAQUBIgEmgxCBZgEDFQ+bQDyLCIF/BQEXgnAFg0kKG?= =?us-ascii?q?SYNVVeBYAIBBRJ4hzWBVD+BD4YeAQGBKAUBEgGDH4JUAphsBwKBZ4QFiHWBPIN?= =?us-ascii?q?3h2KJc4cXDyGBN1QuWw4IMxojgQGCEhKFaoUUhQQ8PTCNMoI4AQE?= X-IPAS-Result: =?us-ascii?q?A0DVAgCFexFbgKzYVdFcDoRIfyiDd4NtkH6KdItlgQ4DUws?= =?us-ascii?q?lhAGCTRkHAQQ0FAECAQEBAQEBAQEBEwEBCQ0JCCYlDII1JIJzBh0BGx4DEhAPA?= =?us-ascii?q?iYCJAERAQUBIgEmgxCBZgEDFQ+bQDyLCIF/BQEXgnAFg0kKGSYNVVeBYAIBBRJ?= =?us-ascii?q?4hzWBVD+BD4YeAQGBKAUBEgGDH4JUAphsBwKBZ4QFiHWBPIN3h2KJc4cXDyGBN?= =?us-ascii?q?1QuWw4IMxojgQGCEhKFaoUUhQQ8PTCNMoI4AQE?= X-IronPort-AV: E=Sophos;i="5.49,467,1520895600"; d="scan'208";a="329937001" Received: from mail-qt0-f172.google.com ([209.85.216.172]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 01 Jun 2018 19:05:18 +0200 Received: by mail-qt0-f172.google.com with SMTP id y31-v6so2912283qty.9 for ; Fri, 01 Jun 2018 10:05:18 -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; bh=pA2x2pEK9yyb5nTpAR2csKj5f99Up/xP6lY+fM5T8rc=; b=lE9CRC9At2t9+k4RkNG90Fw7wY2lgzjOXkG7m93SPuVb0qxnBL9vYKG4PdSF0nsd6o 536r+knB27G7/siBlZZpj6QJrXUUQw/aIAe1oSVZhkWrvUCEgRql61sMzlmrLNQQHB49 8hUNW8mq6UVKbLUgDZFHU1dy9CwvDgZ7HbsNLj6/H3PSEXDlw5hBkQZPD0Y0GN8kwvVn zrfHVxG8ewT0Zre4pfzW3WV4WPSOpGCEKELoUwaNHML7OavmyYQve19H8waJwxB6OeDw 8WGp38FZBMzBck31xUxO8RHT8h3AIrKgCElllqUmUKbZsYiWiLQvRVo6ZI1PkCnymXyA RZwg== 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; bh=pA2x2pEK9yyb5nTpAR2csKj5f99Up/xP6lY+fM5T8rc=; b=ZIzrFcY7rq8JxHNPnRWKP/7SahH4IKyCV1fhCt9WqK7S6Y7GU2fovZuVMcrqWoFjzm 7m6x6LOmZ0qtfI8FJ4XC8wf3zGBDl1iXOFWSt7LnB5kf7Z0DFAV4lIzSSGOdpl6Pi8H4 UKpglVgChmuDQvQXpZVfD3SotkgmV8qcW4gS3pEKHZPZko14rSH5HnpI/ilVpvUS91kI 8o/bVz67Ma7RjtGXZIqayubuBstv8U2RMCXP1KfTs772UyClJCOMDwXsj0S2Y4yiejRV eVa9WxL1J15cJxuHOPsc6XX/cLyST3egN/N0cMA04W3yQxcrV2S4Yblai6E/OEYMF+nj BwBA== X-Gm-Message-State: APt69E0tCOX7COmgZNfIGqk0gn4+rm1l5VOj9miYbjiUMij4n3eR9eTt xcR4GQ0gtdq+YHG/IM7/Gg8yCoa1i+1YHHooSM3ecg== X-Google-Smtp-Source: ADUXVKLvZOMn1KECFtU3DiRztvzGDm5Wqr/N8i7VacOPAa72POMbx2OlWn6S/DcA+zsPM5nAhNCl3MvZjhOLWmrbVkQ= X-Received: by 2002:ac8:26b0:: with SMTP id 45-v6mr11569766qto.318.1527872717321; Fri, 01 Jun 2018 10:05:17 -0700 (PDT) MIME-Version: 1.0 Received: by 2002:a0c:dd02:0:0:0:0:0 with HTTP; Fri, 1 Jun 2018 10:04:36 -0700 (PDT) From: Gabriel Scherer Date: Fri, 1 Jun 2018 19:04:36 +0200 Message-ID: To: caml users , Types Announcements Content-Type: text/plain; charset="UTF-8" Subject: [Caml-list] ML Family Workshop 2018: Deadline extension until June 6th Reply-To: Gabriel Scherer X-Loop: caml-list@inria.fr X-Sequence: 16919 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: Dear all, The ML Family Workshop, colocated with ICFP on September 28th, hasn't received as many submissions as we would like. We decided to extend the deadline to June 6th, anywhere on earth. submission link: https://icfp-mlworkshop18.hotcrp.com/ If you were considering submitting a presentation, you should now have plenty of time to do so -- we ask for a PDF of 1 to 3 pages. If you were not considering a submission, you probably should! The ML Family Workshop is an interesting forum to discuss all sorts of language design relevant to the ML community, the ICFP community, and generally the people who are interested in rigorous programming languages. See the Call for Presentations at either https://sites.google.com/site/mlworkshoppe/workshops/ml2018 https://icfp18.sigplan.org/committee/mlfamilyworkshop-2018-papers-program-committee and please write me an email if you have any question. Thanks! -- 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