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 B9C655D4 for ; Thu, 2 May 2019 10:39:52 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,421,1549926000"; d="scan'208";a="381345932" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 02 May 2019 12:39:51 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 9CD80822B9; Thu, 2 May 2019 12:39:51 +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 DA63B822B9 for ; Thu, 2 May 2019 12:39:49 +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@outmail148113.authsmtp.com IronPort-PHdr: =?us-ascii?q?9a23=3AHFZXcBRNXTESMGRsXDGc1nMUbNpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa6zZRyN2/xhgRfzUJnB7Loc0qyK6vmmBz1Lus7JmUtBWaQEbwUCh8?= =?us-ascii?q?QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6?= =?us-ascii?q?OPn+FJLMgMSrzeCy/IDYbxlViDanbr5+MQi6oR/Qu8QSjodvJLo9wQbVr3VVfO?= =?us-ascii?q?hb2XlmLk+JkRbm4cew8p9j8yBOtP8k6sVNT6b0cbkmQLJBFDgpPHw768PttRnY?= =?us-ascii?q?UAuA/WAcXXkMkhpJGAfK8hf3VYrsvyTgt+p93C6aPdDqTb0xRD+v4btnRAPuhS?= =?us-ascii?q?waLDMy7n3ZhdJsg6JauBKhpgJww4jIYIGOKfFyerrRcc4GSWZdW8pcUTFKDIGh?= =?us-ascii?q?YIsVF+cPPfhWr4f/qFUToxWwBgajC//gxDFPmn/7xrE60/0uEQ3awgAsA88CvX?= =?us-ascii?q?LJp9v1LqcSVuW1wbHGwTvNdfxWxzb955XVeR09pfGMWalwcc3JyUk3GQ/Ok1Kd?= =?us-ascii?q?p4L/MDOL1+QCrnKX4vZkVeKrkG4nrBlxoiC0y8gwjonFnJ4axUrB9Slj2ok6Oc?= =?us-ascii?q?e0SFN4YdO9FpZbqi+UN4xzQsw4QmFovj43yroatpGheSgKzI4rxxnFa/yIa4SI?= =?us-ascii?q?+RPjVOmJITd8nn1lfqizhxGo8Uiv0uH8Vs600EpWoSpfitnArGwC1xvW6sWBV/?= =?us-ascii?q?Bz/V+h1C6O2gzN8O1IPE45mbDGJ5MuwbM8jIcfvVnNEyPumUj6krWae0s59uSy?= =?us-ascii?q?6enqYK/qqoGdOoJylwrwKL4hmtalDuQ9KgUOX3aU+eC71LD7+k35XalKjvgsna?= =?us-ascii?q?nYtJDWOMsWq62kDwNI3Isv8QywDyq60NQYhnkHKU5FeAqdg4f1PFHOJej0Dfa5?= =?us-ascii?q?g1uyjDdm3/HLMqP7DpnQIHXPiqrtcLl+5kJG1QY/0N5S64pRCr4bIfLzXkHxtM?= =?us-ascii?q?bfDh88KwG6zfzoCMt81owDQ26CHquZMKfJsV+P/uIvO/KBa5MRuDrnN/cq/fvu?= =?us-ascii?q?gWUjllABZ6WpwJgXZGiiHvt6O0WZfWbsgtAZHGgWpAU+SejqhESGUT5SfHayQ7?= =?us-ascii?q?kx5io7CYKjFYfMXJqhgL2H3CehH51ZfHpKCl6WESSgS4LREdAnYSeWautgiSBO?= =?us-ascii?q?HeyqQoolkBWvrxPSyrx9L+OS9DdO5rz5090grcHaixA+vRVwC9+ay3nHBzVYl3?= =?us-ascii?q?0JS3kf2KRkplRl4lyHl6NxhrpRHppO5KUaAU8BKZfAwrkiWJjJUQXbc4LMEQ7+?= =?us-ascii?q?G4j0MXQKVts0huQ2TQN9FtGl1ECR2De2BrYUk+XXVMVtqeTVwmTxPMNh0zDN06?= =?us-ascii?q?xz1wB6EPsKDnWvg+tEzyaWH5TAyhnLnKLsfq0ZmifGsnqAnzLX7RNoFTVoWKCA?= =?us-ascii?q?ZkgxI07frND3/ETHFuP8ArBhOQJEj8eJbLZJOIXk?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DBDADxx8pch3GUDT5fBoIZgSiBPxGBB?= =?us-ascii?q?CiNC4oBGoINEYd5hkSLfQENAQEjCoFLgnUCTAEEhWIbBgY0EwEDAQEEAQECAQE?= =?us-ascii?q?BARMBAQEKCwkIKSMMQgEOAYFWEikBgmYBAQEECAITCysLAQkdAQMCCQ0EBAEBL?= =?us-ascii?q?xkjEwgBAQQKCQsFBAeDBwGCDgEKrhgxhDIBAwWBDIJ2IYFWgTACAQGLJCaBVz+?= =?us-ascii?q?BEYJkLj6DfSAZhXAEiw+HdIVFjXRlBwICgglWAYVBjEOCDmGCeYJfg2uJCZJfi?= =?us-ascii?q?mSDMwIECwIVgWZdgRqBAT+CBDQBMwk2VwGBEoNVhRSFQD8BMQGBB4QZjGWCUgE?= =?us-ascii?q?B?= X-IPAS-Result: =?us-ascii?q?A0DBDADxx8pch3GUDT5fBoIZgSiBPxGBBCiNC4oBGoINEYd?= =?us-ascii?q?5hkSLfQENAQEjCoFLgnUCTAEEhWIbBgY0EwEDAQEEAQECAQEBARMBAQEKCwkIK?= =?us-ascii?q?SMMQgEOAYFWEikBgmYBAQEECAITCysLAQkdAQMCCQ0EBAEBLxkjEwgBAQQKCQs?= =?us-ascii?q?FBAeDBwGCDgEKrhgxhDIBAwWBDIJ2IYFWgTACAQGLJCaBVz+BEYJkLj6DfSAZh?= =?us-ascii?q?XAEiw+HdIVFjXRlBwICgglWAYVBjEOCDmGCeYJfg2uJCZJfimSDMwIECwIVgWZ?= =?us-ascii?q?dgRqBAT+CBDQBMwk2VwGBEoNVhRSFQD8BMQGBB4QZjGWCUgEB?= X-IronPort-AV: E=Sophos;i="5.60,421,1549926000"; d="scan'208";a="304635962" X-MGA-submission: =?us-ascii?q?MDFP/ZHOLKtlFsDwD2JYskkA4AhnINc+oedEcF?= =?us-ascii?q?1dz1rrp2kYMiX9DrTI9oQtVBys9RjPoGGhtStJGil+XPkizZFDgslpu2?= =?us-ascii?q?zArL7DEttOFPoO8yMa4cS/hgJODzBSqbZuIGvZ16IzzvBX0/ZOfDlgZp?= =?us-ascii?q?0SVJUbVxFivMlg3JakRl+n0A=3D=3D?= Received: from outmail148113.authsmtp.com ([62.13.148.113]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 02 May 2019 12:39:48 +0200 Received: from mail-c233.authsmtp.com (mail-c233.authsmtp.com [62.13.128.233]) by punt15.authsmtp.com. (8.15.2/8.15.2) with ESMTP id x42AdkoK061597 for ; Thu, 2 May 2019 11:39:46 +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 x42AdjXD099035 (version=TLSv1 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Thu, 2 May 2019 11:39:46 +0100 (BST) (envelope-from David.Allsopp@cl.cam.ac.uk) Received: from Libera ([172.16.0.103]) (authenticated bits=0) by romulus.metastack.com (8.14.2/8.14.2) with ESMTP id x42AdjqN018162 for ; Thu, 2 May 2019 11:39:45 +0100 From: "David Allsopp" To: "OCaml List" References: <000001d4ea06$7e70c4d0$7b524e70$@cl.cam.ac.uk> In-Reply-To: <000001d4ea06$7e70c4d0$7b524e70$@cl.cam.ac.uk> Date: Thu, 2 May 2019 11:39:45 +0100 Message-ID: <000701d500d3$5bec9b30$13c5d190$@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: AdTp/kBPsJ+qIvSWRqq8om6qwf/+OQWxFPvQ Content-Language: en-gb X-Scanned-By: MIMEDefang 2.65 on 172.16.0.20 X-Server-Quench: 9ab0636d-6cc6-11e9-a01e-84349711df28 X-AuthReport-Spam: If SPAM / abuse - report it at: http://www.authsmtp.com/abuse X-AuthRoute: OCd1ZAARAlZ5RRob BmUtCCtbTh09DhZI RxQKKE1TKxwUVhJa O0Nea15SK0E0RFdD WjcVDRYaUF9uJDI8 dAhRbAxNY0tEXAxg VE4HRFBMFwR2Bhsf BBgBUBxtdksOfHwB MRwKKnBSVUR5cAh4 SkdXW2RXN2dma2ZL TUYLJAVJcQIfdwIU alEqSXsJYmEOYXth EwFpbyYLEGcXGw9c RwVIKVMJXXNDORU1 QhRKIC4iB1ZNTiM/ ZzArNFMYG14cKF56 Dlw7WkkYNAdaUFUH ThMFKyZdIxEPQDBj FRlXRkMYDDRBQCBa GXUA X-Authentic-SMTP: 61633634383431.1021: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: RE: [Caml-list] OCaml Users and Developers Workshop 2019: Call for presentations Reply-To: "David Allsopp" X-Loop: caml-list@inria.fr X-Sequence: 17531 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 reminder that the deadline for talk proposals is in just over a = fortnight! 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. 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. https://icfp19.sigplan.org/home/ocaml-2019 David (on behalf of the PC) > -----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 >=20 > 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. >=20 > http://ocaml.org/meetings/ocaml/2019/ >=20 > Talk proposal submission deadline: May 17th, 2019 >=20 >=20 > (Please redistribute widely.) >=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 > Scope > ----- >=20 > 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): >=20 > - compiler developments, new backends, runtime and architectures >=20 > - practical type system improvements, such as GADTs, first-class > modules, generic programming, or dependent types >=20 > - new library or application releases, and their design rationales >=20 > - tools and infrastructure services, and their enhancements >=20 > - prominent industrial or experimental uses of OCaml, or deployments > in unusual situations. >=20 > Presentations > ------------- >=20 > 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. >=20 > 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. >=20 > Submission > ---------- >=20 > To submit a presentation, please register a description of the talk = (about > 2 pages long) at >=20 > https://ocaml2019.hotcrp.com/ >=20 > providing a clear statement of what will be provided by the > presentation: the problems that are addressed, the solutions or = methods > that are proposed. >=20 > 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. >=20 > Important dates > --------------- >=20 > Friday 17th May (any time zone) Abstract submission deadline > Sunday 30th June Author notification > Friday 23rd August OCaml Workshop >=20 > ML family workshop > ------------------ >=20 > 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. >=20 > Program Committee > ----------------- >=20 > 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 >=20 > Questions and contact > --------------------- >=20 > Please send any questions to the chair: > David Allsopp