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 860A25D6 for ; Thu, 8 Aug 2019 09:55:52 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.64,360,1559512800"; d="scan'208";a="394836910" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 08 Aug 2019 11:55:51 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 729307ED24; Thu, 8 Aug 2019 11:55:51 +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 D45417EC74 for ; Thu, 8 Aug 2019 11:55:47 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=David.Allsopp@cl.cam.ac.uk; spf=None smtp.mailfrom=David.Allsopp@cl.cam.ac.uk; spf=None smtp.helo=postmaster@outmail148113.authsmtp.com IronPort-PHdr: =?us-ascii?q?9a23=3AD1s1fBZKbbLOwY2fFdX51RH/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZrsy7bnLW6fgltlLVR4KTs6sC17OM9fm5BCdaud6oizMrSNR0TRgLiM?= =?us-ascii?q?EbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVr?= =?us-ascii?q?O+/7BpDdj9it1+C15pbffxhEiCCybL9vMhm6txjdutQWjIdtNKo91gbCr2dVde?= =?us-ascii?q?hR2W5mP0+YkQzm5se38p5j8iBQtOwk+sVdT6j0fLk2QKJBAjg+PG87+MPktR/Y?= =?us-ascii?q?TQuS/XQcSXkZkgBJAwfe8h73WIr6vzbguep83CmaOtD2TawxVD+/4apnVAPkhS?= =?us-ascii?q?EaPDMi7mrZltJ/g75aoBK5phxw3YjUYJ2ONPFjeq/RZM4WSXZdUspUUSFKH4Gy?= =?us-ascii?q?YJYVD+cZPehWsZTzqVUNoxSxGQaiC+ThyiNTi3/qxK063PgtHR/a0AA9Gd8FrX?= =?us-ascii?q?TarM/yNKcXSe25wqfGwi/db/NXxDj29ZTFchQlofGXWrJwadLRxUcyHA7CgFuf?= =?us-ascii?q?s5LlPzKI2egXr2Wb6+5gVfmoi24/swF8uSSgxsM2hobVnI0Vz0rI+j9lz4ovON?= =?us-ascii?q?24S1d2bNi5G5VesCGaMpF5QsIkQ2xwvyY11qcJuZu/fCQQz5Qn3RHfZ+Scc4iJ?= =?us-ascii?q?7RLjTOKRLi1+hH5/f7K/nRmy/E69weP/Tsm5yFdHojRfntXRuH0BzQHf58eER/?= =?us-ascii?q?dn40utxDiC2xjO5uxGIE04j7fXJ4A7zrItipYes17PEjL4lUnoiqKda18q9fKy?= =?us-ascii?q?6+v9Z7Xrvp+cOJFwigH5KqkundG/Afg9MgcUXmib/fmw2bLg8EHkXblHgOc6nb?= =?us-ascii?q?PEsJDGJcQbvau5AxNN0oo59xm/CDKm3MwZnXkBMl1FZAqKgon3N13UPfz1A+2z?= =?us-ascii?q?j0mjnTpo3fzKI6DtD5vVInjGirjhfLJ960BGyAo0yNBS/5xaBasfIPLyR0D9rs?= =?us-ascii?q?DVDhs9MwyvxObnEM1925gCVmKLGKOWLLndsVqS6u01P+aAfpIVuDXlJ/g/+/Hu?= =?us-ascii?q?lWM5mUMafaSxwZQYcnW4HvB/L0WdYHrsmcsBHHwRvgs+SezqkEeNXSRSZ3a0Ra?= =?us-ascii?q?I85ys0BJioDYfZFciRh+nL+wyyG5keQmFdFhrERXzhcoHBX/YXdAqTJNVgm3oK?= =?us-ascii?q?T+7yZZUm0ETkmAbkyrYvB+7Q4SoArdirgPR8+ezf0zg28SdzF9y12GXLRGhx2G?= =?us-ascii?q?oDASI1ivMs6Xdhw0uOhPAry8dTEsZesrYQCl9jaczsitdiAtW3YTrvO8+TQQ/6?= =?us-ascii?q?EN6iRzo4S5Q4yJkTYBQlQoTwvlX4xyOvRoQtufmODZ0w/Ljb2iGtdc15jX3P0e?= =?us-ascii?q?8ohB87QZkXbDD0tutE7wHWQrXxvQCZmqKtL/RO2zPR8W6CyTPS7BgBC0h5TLnF?= =?us-ascii?q?RnUDfg3dqtGrvk4=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CyGgBO8Etdh3GUDT5mHgEGBwaBZ4JxF?= =?us-ascii?q?IEEKo0ahjIagg8RiBKGUowUAQgBAwEKAQEjCgIBAYFLgnQCTAEEggUbBgY0EwE?= =?us-ascii?q?EAQEEAQEEAQMHARMBAQEKCwkIKYUuDIIoEikBgmYBAQ0CEwsrCwEJHQEFFgQEA?= =?us-ascii?q?QFIIxMJAQQTCwUEgw4Bgg4BCqxtMYQ0AQMFgQyDCCGBXIE0iz4mgVc/gRGDUIN?= =?us-ascii?q?9hioEjCISBohXhh6QCAcCAoIcYQGFe41kgjBtgyaDHI5VlSuQGAQCBAsCFYFnX?= =?us-ascii?q?4EagQE/ggQ0ATMJNoIdiGuFQEAxAYECBSETC41fAQE?= X-IPAS-Result: =?us-ascii?q?A0CyGgBO8Etdh3GUDT5mHgEGBwaBZ4JxFIEEKo0ahjIagg8?= =?us-ascii?q?RiBKGUowUAQgBAwEKAQEjCgIBAYFLgnQCTAEEggUbBgY0EwEEAQEEAQEEAQMHA?= =?us-ascii?q?RMBAQEKCwkIKYUuDIIoEikBgmYBAQ0CEwsrCwEJHQEFFgQEAQFIIxMJAQQTCwU?= =?us-ascii?q?Egw4Bgg4BCqxtMYQ0AQMFgQyDCCGBXIE0iz4mgVc/gRGDUIN9hioEjCISBohXh?= =?us-ascii?q?h6QCAcCAoIcYQGFe41kgjBtgyaDHI5VlSuQGAQCBAsCFYFnX4EagQE/ggQ0ATM?= =?us-ascii?q?JNoIdiGuFQEAxAYECBSETC41fAQE?= X-IronPort-AV: E=Sophos;i="5.64,360,1559512800"; d="scan'208";a="394836901" X-MGA-submission: =?us-ascii?q?MDFajoDI884D553oTVdIBzVzifX9d3+bEOs+tv?= =?us-ascii?q?vK6YntZeKyWlf/jhzSx+v1x2t1lrtfzsVMFcMn+bpVmOPAkndu9IzFIr?= =?us-ascii?q?H8baI8Q/RtCanxB5bvrpMgzjQTZkzrEJI91I7xa2StbBeq+SMW4wR+gT?= =?us-ascii?q?H1CSM17lcYqihUdPF4v5Z7Qw=3D=3D?= Received: from outmail148113.authsmtp.com ([62.13.148.113]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 08 Aug 2019 11:55:46 +0200 Received: from mail-c237.authsmtp.com (mail-c237.authsmtp.com [62.13.128.237]) by punt15.authsmtp.com. (8.15.2/8.15.2) with ESMTP id x789tjx7058825 for ; Thu, 8 Aug 2019 10:55:45 +0100 (BST) (envelope-from David.Allsopp@cl.cam.ac.uk) Received: from romulus.metastack.com (26.77-31-62.static.virginmediabusiness.co.uk [62.31.77.26]) (authenticated bits=0) by mail.authsmtp.com (8.15.2/8.15.2) with ESMTPSA id x789tis2042835 (version=TLSv1 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Thu, 8 Aug 2019 10:55:45 +0100 (BST) (envelope-from David.Allsopp@cl.cam.ac.uk) Received: from Libera ([176.12.107.132]) (authenticated bits=0) by romulus.metastack.com (8.14.2/8.14.2) with ESMTP id x789tgdJ002580 for ; Thu, 8 Aug 2019 10:55:43 +0100 From: "David Allsopp" To: "OCaml List" Date: Thu, 8 Aug 2019 10:55:42 +0100 Message-ID: <000001d54dcf$7208b540$561a1fc0$@cl.cam.ac.uk> MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable X-Mailer: Microsoft Outlook 16.0 Thread-Index: AdVNzWVPkmloj914RX60LIIBXWZiaQ== Content-Language: en-gb X-Scanned-By: MIMEDefang 2.65 on 172.16.0.20 X-Server-Quench: b0cd409e-b9c2-11e9-b106-8434971169dc X-AuthReport-Spam: If SPAM / abuse - report it at: http://www.authsmtp.com/abuse X-AuthRoute: OCd1ZAARAlZ5RRob BmUtCCtbTh09DhZI RxQKKE1TKxwUVhJa O0Nea15SK0E0RFdD WjcVDRYaUFVuKCYi dAhRbAxNY0pEWgBg VE0HRFBMFwR2Bhsf BBgBUBxtdksOf3Z5 IR8hXHBfXkx5cAh+ QEhVWz8GNjNkaGlK TRJRJAFJcQIfdwIX a1B5SXsJYmEOYXth QV4/NCYWFjxaLGxo WQwXNhobR0pDMjMi ShQFBTg1BgU6QD8w NBwhMhZGRB9AYA0c MF0oXRozOhsWQgNZ BQlVCTVFJlIAXyM3 DARcNQgA X-Authentic-SMTP: 61633634383431.1024:706 X-AuthFastPath: 0 (Was 255) X-AuthSMTP-Origin: 62.31.77.26/25 X-AuthVirus-Status: No virus detected - but ensure you scan with your own anti-virus system. Subject: [Caml-list] OCaml Users and Developers Workshop 2019: Final Call for participation Reply-To: "David Allsopp" X-Loop: caml-list@inria.fr X-Sequence: 17743 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: A final reminder of the OCaml Users and Developers Workshop in Berlin in just over a fortnight - look forward to seeing you there (and at either = BOB or the ML workshop before!) David > -----Original Message----- > From: David Allsopp > Sent: 16 July 2019 10:27 > To: OCaml List (caml-list@inria.fr) > Subject: OCaml Users and Developers Workshop 2019: Call for = participation >=20 > It is my pleasure to invite participation in the OCaml Users and > Developers Workshop 2019, which is again co-located with ICFP and will = be > held on Friday 23rd August, 2019 in Berlin, Germany. >=20 > http://ocaml.org/meetings/ocaml/2019/ >=20 > The OCaml Users and Developers Workshop brings together the OCaml > community, including users of OCaml in industry, academia, hobbyists = and > the free software community. Previous editions have been co-located = with > ICFP since 2012 in Copenhagen, Boston, Gothenburg, Nara, Oxford and = last > year in St Louis, following OCaml Meetings in Paris in 2010 and 2011. >=20 > https://icfp19.sigplan.org/home/ocaml-2019 >=20 > Registration for the workshop day is required, but *not for the entire > conference*. There are several talks with an OCaml flavour in the ML > Workshop, which is the previous day (August 22nd). Note that although = the > precise talk schedule is not yet finalised (it should be by the end of > this week), once registered for the day, it is possible to move = between > workshops. >=20 > Programme > --------- >=20 > We have accepted 10 talks (full details of which are both on the = SIGPLAN > website and also shortly on ocaml.org) and there is an additional talk = on > recent developments and plans for the compiler from Xavier Leroy. The > programme covers recent developments and plans in tooling, several > interesting experience reports and other applications of OCaml. >=20 > Program Committee > ----------------- >=20 > David Allsopp, University of Cambridge, UK > Raja Boujbel, OCamlPro, France > Timothy Bourke, INRIA, France > Simon Cruanes, Imandra, USA > Emilio J=E9sus Gallego Arias, MINES ParisTech, France > Thomas Gazagnaire, Tarides, France > Ivan Gotovchits, CMU, USA > Hannes Mehnert, robur.io, Germany > Igor Pikovets, Ahrefs, Singapore > Thomas Refis, Jane Street Europe, UK > KC Sivaramakrishan, IIT Madras, India >=20 > Questions and contact > --------------------- >=20 > Please send any questions to the chair: > David Allsopp