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 61E538247D for ; Tue, 16 Jul 2019 11:26:58 +0200 (CEST) Authentication-Results: mail3-smtp-sop.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@outmail148101.authsmtp.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of David.Allsopp@cl.cam.ac.uk) identity=pra; client-ip=62.13.148.101; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="David.Allsopp@cl.cam.ac.uk"; x-sender="David.Allsopp@cl.cam.ac.uk"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of David.Allsopp@cl.cam.ac.uk) identity=mailfrom; client-ip=62.13.148.101; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="David.Allsopp@cl.cam.ac.uk"; x-sender="David.Allsopp@cl.cam.ac.uk"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@outmail148101.authsmtp.com) identity=helo; client-ip=62.13.148.101; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="David.Allsopp@cl.cam.ac.uk"; x-sender="postmaster@outmail148101.authsmtp.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AsSXBJhWv1yYyVr97jXfFHA/SB+bV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYbB2Ft8tkgFKBZ4jH8fUM07OQ7/m6HzJYqs/b+Fk5M7V0Hycfjs?= =?us-ascii?q?sXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6?= =?us-ascii?q?KfroEYDOkcu3y/qy+5rOaAlUmTaxe7x/IAiooQnLt8QanYRuJrsvxhDUvnZGZu?= =?us-ascii?q?NayH9yK1mOhRj8/MCw/JBi8yRUpf0s8tNLXLv5caolU7FWFSwqPG8p6sLlsxnD?= =?us-ascii?q?VhaP6WAHUmoKiBpIAhPK4w/8U5zsryb1rOt92C2dPc3rUbA5XCmp4ql3RBP0ji?= =?us-ascii?q?oMKiU0+3/LhMNukK1boQqhpx1hzI7SfIGVL+d1cqfEcd8HWWZNQsNdWipcCY2+?= =?us-ascii?q?coQPFfIMM+ZGoYfgqVUArhSxChWjCu3o1j9FnWP23bQ10+g9Dw3KwBEsEtQTu3?= =?us-ascii?q?rUttX1M6ISXPi7wKfG1zrDcfJW1irg44XUdhAhpeqMXbVoccrJx0UkCgTIgFuK?= =?us-ascii?q?poz7PjOay/4BvnSf7+pkTuKvjHYnqxlqrzezwscgkJXGiZgQylze7yp23Jw5Jc?= =?us-ascii?q?C7SENiZ9OvDZVetyafN4RsQ8MiRXlluCEmxbIcvJ67eDIGyJM9xx7Qc/CHaImI?= =?us-ascii?q?4h37VOaVOzh4gmhpeLWlhxa990Wr1+7yVtGs3VtLsCZJiMTAu34X2xDO5cWKSe?= =?us-ascii?q?Fx8lq91TqSzwze6/9ILVo6mKbGMZIswLw9moANvUnCGCL9hV/4g7WMdko+/+il?= =?us-ascii?q?8+Tnbavipp+bL4J0jRz+MrgrmsOlAOQ4NhUCUmeY9OihyLHv4Ff1T69Xjv0qkq?= =?us-ascii?q?nZq5XaJdgDpqKjHwBV1YMj5w6+DzegztsYgWEKIVNbdB6dkoTkNUvCLO33APq8?= =?us-ascii?q?mVigjStny+3eMr3kGJrNL3zDkLn7fbZ67k5R0AQ9wspB55JVF74NOu7+Wkv1tN?= =?us-ascii?q?zDCR85KxS0zv37B9V5zI8RRXiAAqqDPKzIrVCE/P8vI+qUaI8PpDn9M+Ql5+Lp?= =?us-ascii?q?jXIhhVASZ6yp3Z8OZHC8H/RmOFmZbGH3gtYBFGcKphAxQPbriF2ESz5TZmy9U7?= =?us-ascii?q?gy5jEhW8qaCtKJYaukhbjJ+CagAtceMmtPD1TJFXbza62FXe0NYWScOJkyvCYD?= =?us-ascii?q?UO3rZ4Y/1B3mnQv+0L1/NqCcrgERq5PvkvFx4/bUjQka/jgyBM2YlWiGCXx3yD?= =?us-ascii?q?BbDwQq1bxy9BQugmyI1rJ11rkBTYQKuqF5FzwiPJuZ9NRUTtD/XgWbLoWOVUqj?= =?us-ascii?q?S9SiWG1hF4pohdYTf0ZmHsm6yBvE2njyWu5Hp/mwHJUxt5nk8T30Lsd5xWzB0f?= =?us-ascii?q?B93VIiBMBGMCuvjehi9FqLXtKbowCij6+vMJ8k8mvV7m7akTiFuAdTWQs2WK6D?= =?us-ascii?q?QHNNPkY=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0B9cgDFly1dh2WUDT5lghuBLgKBPhFUM?= =?us-ascii?q?CiNF4lPGoIgiAyGTooTgXoBCAEDAQoBASMKAgEBgUuDQwEEgiAbBgY2BA0BAwE?= =?us-ascii?q?BBAEBAgECAwETAQEBCgsJCCmFQwyCKBIpAYJ1AhMLKwsBCR4FFlIjHAEEEwsFB?= =?us-ascii?q?IMOAYIOAQqtODGEMgEDBYEMgn8hgVuBMgMBizcmgVc/gRGDUIN9hikEjBASBoh?= =?us-ascii?q?IhhOPYAcCAoIZYQGFdo1Pgi1tgyWDE444lH2QCAIECwIVgWoDWYEagQGCQzQBM?= =?us-ascii?q?wk2gQqBEohrhUBAMQGBB489AQE?= X-IPAS-Result: =?us-ascii?q?A0B9cgDFly1dh2WUDT5lghuBLgKBPhFUMCiNF4lPGoIgiAy?= =?us-ascii?q?GTooTgXoBCAEDAQoBASMKAgEBgUuDQwEEgiAbBgY2BA0BAwEBBAEBAgECAwETA?= =?us-ascii?q?QEBCgsJCCmFQwyCKBIpAYJ1AhMLKwsBCR4FFlIjHAEEEwsFBIMOAYIOAQqtODG?= =?us-ascii?q?EMgEDBYEMgn8hgVuBMgMBizcmgVc/gRGDUIN9hikEjBASBohIhhOPYAcCAoIZY?= =?us-ascii?q?QGFdo1Pgi1tgyWDE444lH2QCAIECwIVgWoDWYEagQGCQzQBMwk2gQqBEohrhUB?= =?us-ascii?q?AMQGBB489AQE?= X-Spam-Status: Yes X-IronPort-AV: E=Sophos;i="5.63,497,1557180000"; d="scan'208";a="313635959" X-MGA-submission: =?us-ascii?q?MDGLiIcTbYXMFDt/a0LnaiVwJS/rU0G/1o30mZ?= =?us-ascii?q?Z0DLVqTss9m1ocYSOrRwLKD/kyaP7S9aHiWaMNTsucgePM/3GP28kCzW?= =?us-ascii?q?x7BF+I4xP7FHiIAC5uz/XG5Wi0kn5Im9O8YqcF4tvGRFeuNpEo8Ogq6X?= =?us-ascii?q?3mVXRjLgmq19R91l0gdB45aQ=3D=3D?= Received: from outmail148101.authsmtp.com ([62.13.148.101]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 16 Jul 2019 11:26:57 +0200 Received: from punt22.authsmtp.com (punt22.authsmtp.com [62.13.128.207]) by punt16.authsmtp.com. (8.15.2/8.15.2) with ESMTP id x6G9Qu3U008299 for ; Tue, 16 Jul 2019 10:26:56 +0100 (BST) (envelope-from David.Allsopp@cl.cam.ac.uk) Received: from mail-c237.authsmtp.com (mail-c237.authsmtp.com [62.13.128.237]) by punt22.authsmtp.com. (8.15.2/8.15.2) with ESMTP id x6G9QuLu015299 for ; Tue, 16 Jul 2019 10:26:56 +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 x6G9Qtpm043509 (version=TLSv1 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Tue, 16 Jul 2019 10:26:56 +0100 (BST) (envelope-from David.Allsopp@cl.cam.ac.uk) Received: from Libera ([172.16.0.123]) (authenticated bits=0) by romulus.metastack.com (8.14.2/8.14.2) with ESMTP id x6G9Qtj3011117 for ; Tue, 16 Jul 2019 10:26:55 +0100 From: "David Allsopp" To: "OCaml List" Date: Tue, 16 Jul 2019 10:26:55 +0100 Message-ID: <004901d53bb8$9c0a0020$d41e0060$@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 Content-Language: en-gb Thread-Index: AdU7tznYSyshjEugS0ObrY/BoMQCeQ== X-Scanned-By: MIMEDefang 2.65 on 172.16.0.20 X-Server-Quench: dad11d5c-a7ab-11e9-b106-8434971169dc X-AuthReport-Spam: If SPAM / abuse - report it at: http://www.authsmtp.com/abuse X-AuthRoute: OCd1ZAARAlZ5RRob BmUtCCtbTh09DhZI RxQKKE1TKxwUVhJa O0Nea15SK0E0RFdD WjcVDRYaUVtuIyYp dAhRbAxNY0pEXQNg VU4HRFBMFwR2Bhsf BBgBUBxtdksOfgl5 BAIiA3BfX0F6fAh/ RUZRWzlXMWZhPGVM TRFfJlFJcQIfdwIX a1B5SXsJYmEOYXth QV4/NCYWFjxaLGxo WQwXNhobR0pDMjMi ShQFBTg1BgU6QD8w NBwhMhZGRB9AYA0Z OF8lEVwfKVcKAxdC HkpMGCZFJl4HL/// X-Authentic-SMTP: 61633634383431.1024:706 X-AuthFastPath: 0 (Was 255) 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: Call for participation 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. http://ocaml.org/meetings/ocaml/2019/ Early bird registration deadline: July 18th, 2019 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. https://icfp19.sigplan.org/home/ocaml-2019 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. Programme --------- 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. Program Committee ----------------- David Allsopp, University of Cambridge, UK Raja Boujbel, OCamlPro, France Timothy Bourke, INRIA, France Simon Cruanes, Aesthetic Integration, USA Emilio J=E9sus Gallego Arias, MINES ParisTech, France Thomas Gazagnaire, Tarides, France=20 Ivan Gotovchits, CMU, USA=20 Hannes Mehnert, robur.io, Germany=20 Igor Pikovets, Ahrefs, Singapore=20 Thomas Refis, Jane Street Europe, UK=20 KC Sivaramakrishan, IIT Madras, India Questions and contact --------------------- Please send any questions to the chair: David Allsopp