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 383435D5 for ; Mon, 20 May 2019 08:37:04 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,491,1549926000"; d="scan'208";a="383869253" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 20 May 2019 10:37:02 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 75413826CE; Mon, 20 May 2019 10:37:02 +0200 (CEST) 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 E9AF48247D for ; Mon, 20 May 2019 10:36:53 +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@outmail149056.authsmtp.com IronPort-PHdr: =?us-ascii?q?9a23=3Aq/yZQhe+zfRhoovXVAaWDpCclGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxcW7Zx7h7PlgxGXEQZ/co6odzbaP6ua5ATxLuc3JmUtBWaQEbwUCh8?= =?us-ascii?q?QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6?= =?us-ascii?q?OPn+FJLMgMSrzeCy/IDYbxlViDanbr5+MQi6oR/MusUKgoZuJbo9xxXUqXZUZu?= =?us-ascii?q?pawn9lK0iOlBjm/Mew+5Bj8yVUu/0/8sNLTLv3caclQ7FGFToqK2866tHluhnF?= =?us-ascii?q?VguP+2ATUn4KnRpSAgjK9w/1U5HsuSbnrOV92S2aPcrrTbAoXDmp8qlmRAP0hC?= =?us-ascii?q?oBKjU063/chNBug61HoRKhvx1/zJDSYIGJL/p1Y6fRccoHSWZdQspdUipMCZ6+?= =?us-ascii?q?YYQSFeoMJeZWoZfgqVUArhWxChWjCuzoxD9UnXL2wbQ60+s9HQ3YwAAsAtQDu2?= =?us-ascii?q?nUotXvM6cSVPi4wKfGwzrZcfNW2Cry45XUfxAlpfGMRrVwcdLJyUUhCgjIiVue?= =?us-ascii?q?ppb7PzOUy+sBqXSW7+5kVeK0jG4nsxlxryOzyccokIXGmpgaylXe+Spj3Ik5P8?= =?us-ascii?q?C4SE1ibNOiDZBeuSaaN45sTcMjRWFloCE6xaEctp6+eCgG0pMnxwTQa/CfaIiI?= =?us-ascii?q?4x3jVP6VIThignJpYrW/hwy98US4yu38UdW030pQripdiNXDqncN1xnV58OaSf?= =?us-ascii?q?V95l+s1DeR2wzJ9+1JL1o4mbfUJpMl2LI9lpsevVzCEyPogkn7grKael8m9+Wq?= =?us-ascii?q?8ejrfLTrq5mBPIFukA7+KL4hmsmnDOQ4LAcOW2+b9Py71L3+4U35Ra9Fjvwykq?= =?us-ascii?q?XEv53XIdgXq664DgNPyIkj9gq/Dze90NQdgXkHNEhJdw6Aj4jsI13OIfb4Aumj?= =?us-ascii?q?g1m0kTpn2erKMqDvD5nXM3TOn7Pscax95kNd0AYzyMpQ55NQCrEPOvLzXUrxuc?= =?us-ascii?q?TWABAjLQy0wvvoBM9h24MaXWKPGaiZMLvKsVKT+u0vJ/OAa5MPtzb4MfQq/eLh?= =?us-ascii?q?gWUkmV8eZaWpx4cYaGikHvR6JEWUeWbjjc0EEWcOpwY+SO3qiEaeUTNIfHazX6?= =?us-ascii?q?c85ikhB468DIfDQJqtgL2b0yuhEJ1WfDMONlfZW1DDfoCAE9MNcz7YaptqmzkA?= =?us-ascii?q?ELygUJMJ1Be0tQa8xaAxfcTO/ShN/77qytl5r8TXkQo17SQ+R5Cx2n+MQyddmm?= =?us-ascii?q?cTQCcu9Kt750d0zxGK2u5lgKoLRpRo+/pVX1JiZtbnxOtgBoW3A1qZJ4bbeBOd?= =?us-ascii?q?WtyjRAoJYJc0yt4KbVx6Hoz+3BvHmSGjBvkcnPqWB85sq/6O7z3KP894jk3++u?= =?us-ascii?q?w5lVB/HplEMSutj6s5/gOVGo2byxzExZbvTrwV2Wv2zEnGzWeKuxsIAgltTaDM?= =?us-ascii?q?XHRGOhqO8Iq/717eT6SrFaxhOQxEm5aP?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CYDgBZZuJchziVDT5fBoIZgSiBPxFUM?= =?us-ascii?q?CiNDol2gicRh3uGRYt/AQgBAwEKAQEjCgIBAYFLgnUCTAEEgWYbBgY0EwEDAQE?= =?us-ascii?q?EAQECAQEDARMBAQEKCwkIKSMMQhYBgU8SKQGCZgEBBAkCEwsrCwEJFgcBBQkNB?= =?us-ascii?q?AQBAUgjEwkBBAoJCwUEB4MHAYF7EwEKpXQxhDMBAwWBDIJsIYFXgTICAQGLKSa?= =?us-ascii?q?BVz+BEYJkLj6DfSAZDoViBIswiBCFW44YZQcCAoINXAGFUYxpgh1ngwaCaIN6i?= =?us-ascii?q?TOTP4sXgzcCBAsCFYFmXoEagQE/ggQ0ATMJNlcBgRIdgziFFIVAQDEBgQeLCEi?= =?us-ascii?q?CUgEB?= X-IPAS-Result: =?us-ascii?q?A0CYDgBZZuJchziVDT5fBoIZgSiBPxFUMCiNDol2gicRh3u?= =?us-ascii?q?GRYt/AQgBAwEKAQEjCgIBAYFLgnUCTAEEgWYbBgY0EwEDAQEEAQECAQEDARMBA?= =?us-ascii?q?QEKCwkIKSMMQhYBgU8SKQGCZgEBBAkCEwsrCwEJFgcBBQkNBAQBAUgjEwkBBAo?= =?us-ascii?q?JCwUEB4MHAYF7EwEKpXQxhDMBAwWBDIJsIYFXgTICAQGLKSaBVz+BEYJkLj6Df?= =?us-ascii?q?SAZDoViBIswiBCFW44YZQcCAoINXAGFUYxpgh1ngwaCaIN6iTOTP4sXgzcCBAs?= =?us-ascii?q?CFYFmXoEagQE/ggQ0ATMJNlcBgRIdgziFFIVAQDEBgQeLCEiCUgEB?= X-IronPort-AV: E=Sophos;i="5.60,491,1549926000"; d="scan'208";a="306564093" X-MGA-submission: =?us-ascii?q?MDEUJHJpPL2kbrSlY12as7uRZVqq51wYXHcPKa?= =?us-ascii?q?3oi+EzyDYZzPGxoFQ7oABSr5ofY1cbYxmNDNShaQ0+8BU/XW6FypjGCu?= =?us-ascii?q?8VpfBt/GBeUk/JmxpKyb74RI2JaEnfNWGoVavQIW0Ht7ru+HSP1ldaYo?= =?us-ascii?q?64lL9h5HJ+mjlIMaXOIa8sTw=3D=3D?= Received: from outmail149056.authsmtp.com ([62.13.149.56]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 20 May 2019 10:36:52 +0200 Received: from punt20.authsmtp.com (punt20.authsmtp.com [62.13.128.164]) by punt18.authsmtp.com. (8.15.2/8.15.2) with ESMTP id x4K8aoQo025216 for ; Mon, 20 May 2019 09:36:50 +0100 (BST) (envelope-from David.Allsopp@cl.cam.ac.uk) Received: from mail-c233.authsmtp.com (mail-c233.authsmtp.com [62.13.128.233]) by punt20.authsmtp.com. (8.15.2/8.15.2) with ESMTP id x4K8aoeY014757 for ; Mon, 20 May 2019 09:36:50 +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 x4K8anaY097578 (version=TLSv1 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Mon, 20 May 2019 09:36:49 +0100 (BST) (envelope-from David.Allsopp@cl.cam.ac.uk) Received: from Libera ([172.16.0.124]) (authenticated bits=0) by romulus.metastack.com (8.14.2/8.14.2) with ESMTP id x4K8am51013545 for ; Mon, 20 May 2019 09:36:49 +0100 From: "David Allsopp" To: "OCaml List" Date: Mon, 20 May 2019 09:36:48 +0100 Message-ID: <000a01d50ee7$2a8ff790$7fafe6b0$@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: AdUO5ma78BbxLrSRRlWgedMcHHATow== Content-Language: en-gb X-Scanned-By: MIMEDefang 2.65 on 172.16.0.20 X-Server-Quench: 6955ddd2-7ada-11e9-a01e-84349711df28 X-AuthReport-Spam: If SPAM / abuse - report it at: http://www.authsmtp.com/abuse X-AuthRoute: OCd1ZAARAlZ5RRob BmUtCCtbTh09DhZI RxQKKE1TKxwUVhJa O0Nea15SK0E0RFdD WjcVDRYaUl1uJDI8 dAhRbAxNYkNEXANg VUgHRFBMFwR2Bhsf BBgBUBxtdksOfAV4 NBgzN3BSW0F9fQh7 S09UW2sPYGI0PDQd TUcJI1JJcQIfdwIU alEqSXsJYmEOYXth EwFpbyYLMGcXBClc TgUMK19abFYXEzgn RhcEVH0INkQAQ20O NBE8MRYVGkpZHkgs PF8mQV8CKFctDRdd BEFKGGcDfwBQFWIA BAdeFUAZCnVFWypH Dxs0KwNJBTpJMgAA X-Authentic-SMTP: 61633634383431.1021:706 X-AuthFastPath: 0 (Was 255) X-AuthVirus-Status: No virus detected - but ensure you scan with your own anti-virus system. Subject: Re: [Caml-list] Deadline Extension! OCaml Users and Developers Workshop 2019: Call for presentations Reply-To: "David Allsopp" X-Loop: caml-list@inria.fr X-Sequence: 17557 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've had a good number of submissions, but there was at least one = muddle-up with the timezones and a few more would be welcome. We've extended the submission deadline to this **Friday 24th May** AoE (which is, for example, Sat 25th May 14.00 if you're on Central European Summer Time!). - If you were thinking of submitting, but didn't manage in time - = please do. - If you're in any doubt as to whether your talk suggestion is in the = scope of the meeting - as long as it's about or in OCaml (or Reason), then it probably is. - If you have any questions at all - feel free to contact me directly! A reminder of the submission link: https://ocaml2019.hotcrp.com/ David=20 > -----Original Message----- > From: caml-list-request@inria.fr On = Behalf Of > David Allsopp > Sent: 02 May 2019 11:40 > To: OCaml List > Subject: RE: [Caml-list] OCaml Users and Developers Workshop 2019: = Call > for presentations >=20 > A reminder that the deadline for talk proposals is in just over a > fortnight! >=20 > All proposals welcome - previous talks have included internship and > experience reports, across the entire range of the language, from = exotic > new hardware backends to language features and tooling advances. >=20 > If you have any doubts about the scope of the talks, do get in touch > directly. > Additionally, if travel to the conference may be an issue, there is a > budget available > - again, please get in touch. >=20 > https://icfp19.sigplan.org/home/ocaml-2019 >=20 >=20 > David (on behalf of the PC) >=20 > > -----Original Message----- > > From: caml-list-request@inria.fr On > > Behalf Of David Allsopp > > Sent: 03 April 2019 11:18 > > To: OCaml List > > Subject: [Caml-list] OCaml Users and Developers Workshop 2019: Call > > for presentations > > > > It is my pleasure to invite submissions to 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/ > > > > Talk proposal submission deadline: May 17th, 2019 > > > > > > (Please redistribute widely.) > > > > 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 > > > > Scope > > ----- > > > > Presentations and discussions focus on the OCaml programming = language > > and its community. We aim to solicit talks on all aspects related to > > improving the use or development of the language and its programming > > environment, including, for example (but not limited to): > > > > - compiler developments, new backends, runtime and architectures > > > > - practical type system improvements, such as GADTs, first-class > > modules, generic programming, or dependent types > > > > - new library or application releases, and their design rationales > > > > - tools and infrastructure services, and their enhancements > > > > - prominent industrial or experimental uses of OCaml, or deployments > > in unusual situations. > > > > Presentations > > ------------- > > > > The workshop is an informal meeting with no formal proceedings. The > > presentation material will be available online from the workshop > homepage. > > The presentations may be recorded and made available at a later = date. > > > > The main presentation format is a workshop talk, traditionally = around > > 20 minutes in length, plus question time, but we also have a poster > > session during the workshop -- this allows to present more diverse > > work, and gives time for discussion. The program committee will = decide > > which presentations should be delivered as posters or talks. > > > > Submission > > ---------- > > > > To submit a presentation, please register a description of the talk > > (about > > 2 pages long) at > > > > https://ocaml2019.hotcrp.com/ > > > > providing a clear statement of what will be provided by the > > presentation: the problems that are addressed, the solutions or > > methods that are proposed. > > > > LaTeX-produced PDFs are a common and welcome submission format. For > > accessibility purposes, we ask PDF submitters to also provide the > > sources of their submission in a textual format, such as .tex = sources. > > Reviewers may read either the submitted PDF or the text version. > > > > Important dates > > --------------- > > > > Friday 17th May (any time zone) Abstract submission deadline > > Sunday 30th June Author notification > > Friday 23rd August OCaml Workshop > > > > ML family workshop > > ------------------ > > > > The ML family workshop, held on the previous day, deals with general > > issues of the ML-style programming and type systems, focuses on more > > research-oriented work that is less specific to a language in > particular. > > There is an overlap between the two workshops, and we have > > occasionally transferred presentations from one to the other in the > > past. Authors who feel their submission fits both workshops are > > encouraged to mention it at submission time and/or contact the = Program > Chairs. > > > > 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 Ivan Gotovchits, CMU, USA Hannes > > Mehnert, robur.io, Germany Igor Pikovets, Ahrefs, Singapore Thomas > > Refis, Jane Street Europe, UK KC Sivaramakrishan, IIT Madras, India > > > > Questions and contact > > --------------------- > > > > Please send any questions to the chair: > > David Allsopp >=20