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 B1B035D6 for ; Wed, 3 Apr 2019 10:38:05 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,304,1549926000"; d="scan'208";a="376999948" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 03 Apr 2019 12:37:50 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 5EEE982687; Wed, 3 Apr 2019 12:37:50 +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 DCB06822B9 for ; Wed, 3 Apr 2019 12:37:39 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=oliver@first.in-berlin.de; spf=None smtp.mailfrom=oliver@first.in-berlin.de; spf=None smtp.helo=postmaster@einhorn-mail.in-berlin.de IronPort-PHdr: =?us-ascii?q?9a23=3AVMXnQBPe7ia/Jblushol6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0I/79rarrMEGX3/hxlliBBdydt6sdzbKN+Pi8ESxYuNDd6ShEKMQNHzY+yu?= =?us-ascii?q?wu1zQ6B8CEDUCpZNXLVAcdWPp4aVl+4nugOlJUEsutL3fbo3m18CJAUk6nbVk9?= =?us-ascii?q?Kev6AJPdgNqq3O6u5ZLTfx9IhD2gar9uMRm6twrcutQLjYd4Nqo8xBTFrmdHdu?= =?us-ascii?q?9LwW9kOU+fkwzz68ut4JJv6Thct+4k+8VdTaj0YqM0QKBCAj87KW41/srrtRfC?= =?us-ascii?q?TQuL+HQRV3gdnwRLDQbY8hz0R4/9vSTmuOVz3imaJtD2QqsvWTu+9adrSQTnhz?= =?us-ascii?q?kBOjUk7WzYkM1wjKZcoBK8uxxyxpPfbY+JOPZieK7WYMgXTnRdUMlPSyNBA5u8?= =?us-ascii?q?b4oRAOoHIeZYtJT2q18XoRejGQWgGObjxzlVjXH0wKI6yfwsHw/G0gI+AtwAs3?= =?us-ascii?q?rUo9rpO6gPXu66zqfHwC7fb/5Vwzrx9JTEfwojrPyKQLl+cdDRyU4qFw7dl1uQ?= =?us-ascii?q?rY3lPy2L2eQXrmOW8vBvVeSyhGE5rwF6vz+ixsAoionImIIa1ErE+D53wIY0P9?= =?us-ascii?q?24U1J7bcSlEJtWri2VLJV5QtkmQ2FpviY20KAJtoCicSUM1Z8pyRnfa/mdfIiJ?= =?us-ascii?q?5BLuTOGRLitii3JgfLKznRGy8VKvyuHkTcm00VlKrjJBktbWsHABzRvT6tKISv?= =?us-ascii?q?dl/keh3iqP2BzJ6uFcO0w7ia3bK5snz7UtlZQTqVzOEjHrlEj0lqOaa0Ep9+qy?= =?us-ascii?q?5+nkfrnqvIGQO5NyhwrjKKohgNa/Dv49MgUWX2iU5+C81Lr78ELnQbVKiP02kq?= =?us-ascii?q?7DsJDcPMgbo7S2Aw5R0oo56ha/CS6q388GknkdKFJFeRSHg5L0NF7QOPz4DPG/?= =?us-ascii?q?jEqwkDpz2fzKI7/sDo/QInXHkrrtZ7Vw51JGxAYt0dxT/5dUBasAIPL3VE/xrt?= =?us-ascii?q?vYDhohPgyzx+bnCct92Z0EWW+UDK+ZMbnSsUSU5u41IumMYpYZty3jJPg/4/7u?= =?us-ascii?q?jHk5lUUAcqa3xZcXcmy3Hux6I0WFZnrhmssOHn0Pvgo6VeDqjFyCUSVPZ3upRK?= =?us-ascii?q?I95jQ7CJq8AovZR4CthqaB3CahEZFMaGBGEAPELXC9W4yaWvtEQSaWOch5inRQ?= =?us-ascii?q?ebG/SoNn/BWqrwji05JsKqzf8yhevJmlydsjtMPJkhRn0jh1EcmHm0uESW15mi?= =?us-ascii?q?tcQDs3wq1liUJ80Eyfl6l+xvZVD9hS4bVFX1FpZtbn0+VmBoWqCUr6ddCTRQPj?= =?us-ascii?q?G43+WGBjfpcK29YLJn1FNZCnhxHH0TCtBuVNxbKKHocotKPamnL8PcJ8zTDK2f?= =?us-ascii?q?t51gV0co50LWSjw5VH2U3LHYeTyxeXlryxaeId2mvH+X2HzGzIsEwKCFctA5WA?= =?us-ascii?q?ZmgWYw7tlfq85k7GSOXxW7kmNAtG08jHL6JLbpvoixBMSe3nOdKYb2/jw2o=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AXBABBjKRcexRQxdlfBg6CCQKCd4EDJ?= =?us-ascii?q?4QOiHuKHoorhneJRIF7DgEBI4FUgnUCTAEEhHMaBgYxCA0BAQMBAQkBAwEBARM?= =?us-ascii?q?BAQkNCgcpIwxCARABgVQSKQGCZwYdBg8BRhALGgIFIQICD0gGCgkUB4MIgXkLr?= =?us-ascii?q?R+BL4QxAQMFgQyEZYELJAGEXYYvJheBf4ERghRQLj6DfSAHAQEQgxiCVwOKUox?= =?us-ascii?q?sjT9gCYEpgSmFJ4trDBpqgRtdgnCCRIMvK4hRkV6KHIMsAgQCBAUCFYFOAXKBG?= =?us-ascii?q?jMaCBwUO4IENAEzCYI3gziFFIUEPT0DMAGDfYl4DxeCJwEB?= X-IPAS-Result: =?us-ascii?q?A0AXBABBjKRcexRQxdlfBg6CCQKCd4EDJ4QOiHuKHoorhne?= =?us-ascii?q?JRIF7DgEBI4FUgnUCTAEEhHMaBgYxCA0BAQMBAQkBAwEBARMBAQkNCgcpIwxCA?= =?us-ascii?q?RABgVQSKQGCZwYdBg8BRhALGgIFIQICD0gGCgkUB4MIgXkLrR+BL4QxAQMFgQy?= =?us-ascii?q?EZYELJAGEXYYvJheBf4ERghRQLj6DfSAHAQEQgxiCVwOKUoxsjT9gCYEpgSmFJ?= =?us-ascii?q?4trDBpqgRtdgnCCRIMvK4hRkV6KHIMsAgQCBAUCFYFOAXKBGjMaCBwUO4IENAE?= =?us-ascii?q?zCYI3gziFFIUEPT0DMAGDfYl4DxeCJwEB?= X-IronPort-AV: E=Sophos;i="5.60,304,1549926000"; d="scan'208";a="301657411" X-MGA-submission: =?us-ascii?q?MDFpQJ54sc6Ffxo6qf+yThAQjTH/8tmSFV5uZp?= =?us-ascii?q?o+/wwqjgb68uNwYHcfTMo7YSbN2QzlwfQGORlix+8X7fL1wMr6csfqlj?= =?us-ascii?q?V0cv6Essq3PLiWZGOo3Pqh14UR30ZUcdPEwwy8BP6m4PRAfbYn05CpQ0?= =?us-ascii?q?uGtxGTYCgvKJNtRmuzvoqYeQ=3D=3D?= Received: from einhorn-mail.in-berlin.de ([217.197.80.20]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 03 Apr 2019 12:37:38 +0200 X-Envelope-From: oliver@first.in-berlin.de Received: from authenticated.user (localhost [127.0.0.1]) by einhorn.in-berlin.de with ESMTPSA id x33AbYvZ032509 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Wed, 3 Apr 2019 12:37:34 +0200 Date: Wed, 3 Apr 2019 12:37:34 +0200 From: Oliver Bandel To: David Allsopp Cc: OCaml List Message-ID: <20190403103733.t3bvpfml5bu5ezda@first.in-berlin.de> References: <000001d4ea06$7e70c4d0$7b524e70$@cl.cam.ac.uk> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <000001d4ea06$7e70c4d0$7b524e70$@cl.cam.ac.uk> User-Agent: NeoMutt/20180716 Subject: Re: [Caml-list] OCaml Users and Developers Workshop 2019: Call for presentations Reply-To: Oliver Bandel X-Loop: caml-list@inria.fr X-Sequence: 17455 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: Hello David, Berlin as location is great... good choice. :-) The first link in your mail is not working so far. Will it be available soon? Best regards, Oliver Quoting David Allsopp (snt: 2019-04-03 12:17 +0200 CEST) (rcv: 2019-04-03 12:18 +0200 CEST): > 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ésus 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 >