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 104A85D6 for ; Wed, 3 Apr 2019 10:50:08 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,304,1549926000"; d="scan'208";a="377002351" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 03 Apr 2019 12:50:06 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id CC1AF8268B; Wed, 3 Apr 2019 12:50:06 +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 C7BB1822B9 for ; Wed, 3 Apr 2019 12:49:56 +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@outmail148108.authsmtp.net IronPort-PHdr: =?us-ascii?q?9a23=3AWxP+6hVXD70QJVR8nPz6gXRSC5nV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYbRyPt8tkgFKBZ4jH8fUM07OQ7/m5HzRbqs7c+DBaKdoQDkdD0Z?= =?us-ascii?q?1X1yUbQ+e9QXXhK/DrayFoVO9jb3RCu0+BDE5OBczlbEfTqHDhpRQbGxH4KBYn?= =?us-ascii?q?br+tQt2agMu4zf299IPOaAtUmjW9falyLBKrpgnNq8Uam4RvJrssxhfTvndFde?= =?us-ascii?q?tayX9oKFmOmxrw+tq88IRs/ihNp/4t7dJMXbn/c68lUbFWETMqPnwv6sb2rxfD?= =?us-ascii?q?VwyP5nUdUmUSjBVFBhXO4Q/5UJnsrCb0r/Jx1yaGM8L4S7A0Qimi4LxwSBD0ki?= =?us-ascii?q?cHNiU2/3/Rh8dtka9UuhOhpxh4w47JfIGYMed1c63Bcd8GQ2dKQ91cXDJdDIyi?= =?us-ascii?q?c4QPDvIBPedGoIn7u1sOtga1CQ21CO/y1jNEmnr60Ksn2OojDA7GxhQtEdIQvn?= =?us-ascii?q?Tartr7KakcX+O6w6bUwjvNaO9W1Czh6IjRfRAtve+AUa5yfMfX1EIhFxnFjlKV?= =?us-ascii?q?qYH9MT+b2P4Cs3aa7+V9SOmil2onqwVqojio3scskofFjZ8Sx17K7yp53oc1Ks?= =?us-ascii?q?CiRENnZd6kFIBQtyaCN4tuWc4tX2VotDwmxbIcvJ63ZjIFx4g9yx7CaPyKao6F?= =?us-ascii?q?6Q/tWuaWJDd3nnNleLSniha17Uev0Oj8Vs2u3FZNtCpFncHAtmsM1xzc8siHTu?= =?us-ascii?q?Fy/kG71TaIzQDT5flIIU81larHK54h36U/moAPvkTEGy/6gEX2jKiKdko44Oio?= =?us-ascii?q?8/7rbanhpp+ZMYJ/lwLwMrw2l8G+H+g0KBUCUmaB9eih27Du/lf1TKhWgvA1iq?= =?us-ascii?q?XUsY7WKd4Vq6KkGQNY0IQu5wyhAzqn1tkTgGMJI0hfeB2diojkI1HOL+78Dfe4?= =?us-ascii?q?m1mslyprx+zDPrL7A5XNKmXPnbjicLpg90JRyxA/wspC55JICrEBO/fzWlPptN?= =?us-ascii?q?DCCB82LRC0z/7mCNV7yIweRXqCD66HPK/IrFOF6PgjL/SDaYIWojrxNuQp6v32?= =?us-ascii?q?gX88g1AdfK2p3ZUNaHC/G/RrO0uXbmDygtcADGgGpBYzTOjuiF2ZVj5Tf26yUr?= =?us-ascii?q?kg6TE/Eo6pEZ3MRoW3jLObwCi3BIBWZmNeBlCWDXjob5mEW+sLaC+KPsBuiDkE?= =?us-ascii?q?Vby4R48l1BGurxP6xqF8LuvU/y0YrYjs2MJ05+3VjxEy9CZ7A96T02GXHClImT?= =?us-ascii?q?ZCCBgy3b5yuwRXw1GP3Kw3ybQMEthS+f5Tegk7L4XAie18Ttr/QAbAeJGFRQD1?= =?us-ascii?q?bM+hBGR7YtsvwtNGSkJ5ANK6llqLiwajHb4Z0ZWPAIcz6rr01Hy3LM94jX/Nkr?= =?us-ascii?q?Qi2Qp1CvBTPHGr0/YsvzPYAJTExgDAz/7zJPYsmRXV/WLG9lKg+URRUQp+S6LA?= =?us-ascii?q?BCxNbU+Qpt38oErJCaKtW+x+bllxjPWaI64PUeXHyE1cTa6/at/aJWm4niG5Dl?= =?us-ascii?q?CVxeHUNde4SyAmxCzYTXM8vUUT8HKBb1hsATq9pmvfCGUyRQu3MwXl7PV+s3an?= =?us-ascii?q?Vgkywh3YN0A=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CHAACQjqRch2yUDT5fBh4BBgcGgVQGC?= =?us-ascii?q?wGCZxGBAyeEDoh7ih6CJxODJoRLhkKLdAENAQEjCYFLgnUCTAEEhHMaBgYzBg0?= =?us-ascii?q?BAQMBAQkBAwEBARMBAQEIDQkIKSMMgigSKQGCZgEBAQQIAhMGBSsLARoMAQMCC?= =?us-ascii?q?Q0EBAEBAwImAgIZIxMIAQEECgkLBQQHgwcBgXkBCq0dfjGEMQEDBYN9IYFTgQs?= =?us-ascii?q?kAYRdhi8mgVc/gRGCFFAuPoJhAoEaIAcBARCDGIJXA4pSgjWKN40/YAcCAoJQA?= =?us-ascii?q?YUmjBGCBV2CcIJEg1qIUZBFgRmKHIMsAgQLAhWBY16BGoEBP4IENAEzCTaBZYN?= =?us-ascii?q?UhRSFQEAxAYEGjG8PF4InAQE?= X-IPAS-Result: =?us-ascii?q?A0CHAACQjqRch2yUDT5fBh4BBgcGgVQGCwGCZxGBAyeEDoh?= =?us-ascii?q?7ih6CJxODJoRLhkKLdAENAQEjCYFLgnUCTAEEhHMaBgYzBg0BAQMBAQkBAwEBA?= =?us-ascii?q?RMBAQEIDQkIKSMMgigSKQGCZgEBAQQIAhMGBSsLARoMAQMCCQ0EBAEBAwImAgI?= =?us-ascii?q?ZIxMIAQEECgkLBQQHgwcBgXkBCq0dfjGEMQEDBYN9IYFTgQskAYRdhi8mgVc/g?= =?us-ascii?q?RGCFFAuPoJhAoEaIAcBARCDGIJXA4pSgjWKN40/YAcCAoJQAYUmjBGCBV2CcIJ?= =?us-ascii?q?Eg1qIUZBFgRmKHIMsAgQLAhWBY16BGoEBP4IENAEzCTaBZYNUhRSFQEAxAYEGj?= =?us-ascii?q?G8PF4InAQE?= X-IronPort-AV: E=Sophos;i="5.60,304,1549926000"; d="scan'208";a="301659556" X-MGA-submission: =?us-ascii?q?MDEnUyuOtiMd6lmM12ZoQlBnyDnDeOYbLyrwCf?= =?us-ascii?q?EAuH00+7AFmhr3s897S+NGV1gw2+01WFHg4pFaPCRV4vfDvt/BfskJPa?= =?us-ascii?q?h729is/vW50W/76HQUI7LdsrwtvCZPtuklrC8GU0U2R+AevOizKNfJnu?= =?us-ascii?q?8NRjAlS5MbDUOBkhTKQsKdwA=3D=3D?= Received: from outmail148108.authsmtp.net ([62.13.148.108]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 03 Apr 2019 12:49:54 +0200 Received: from punt22.authsmtp.com (punt22.authsmtp.com [62.13.128.207]) by punt15.authsmtp.com. (8.15.2/8.15.2) with ESMTP id x33AnrNM041809 for ; Wed, 3 Apr 2019 11:49:53 +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 punt22.authsmtp.com. (8.15.2/8.15.2) with ESMTP id x33AnrB9099109; Wed, 3 Apr 2019 11:49:53 +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 x33AnpIp059056 (version=TLSv1 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Wed, 3 Apr 2019 11:49:51 +0100 (BST) (envelope-from David.Allsopp@cl.cam.ac.uk) Received: from Libera ([172.16.0.102]) (authenticated bits=0) by romulus.metastack.com (8.14.2/8.14.2) with ESMTP id x33Ano6J013960; Wed, 3 Apr 2019 11:49:50 +0100 From: "David Allsopp" To: "'Oliver Bandel'" Cc: "OCaml List" References: <000001d4ea06$7e70c4d0$7b524e70$@cl.cam.ac.uk> <20190403103733.t3bvpfml5bu5ezda@first.in-berlin.de> In-Reply-To: <20190403103733.t3bvpfml5bu5ezda@first.in-berlin.de> Date: Wed, 3 Apr 2019 11:49:50 +0100 Message-ID: <000101d4ea0a$f6b88f50$e429adf0$@cl.cam.ac.uk> MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable X-Mailer: Microsoft Outlook 16.0 Thread-Index: AdTp/kBPsJ+qIvSWRqq8om6qwf/+OQAAp1UAAAKEjOA= Content-Language: en-gb X-Scanned-By: MIMEDefang 2.65 on 172.16.0.20 X-Server-Quench: 3594c1a6-55fe-11e9-a01d-84349711df28 X-AuthReport-Spam: If SPAM / abuse - report it at: http://www.authsmtp.com/abuse X-AuthRoute: OCd1ZAARAlZ5RRob BmUtCCtbTh09DhZI RxQKKE1TKxwUVhJU L0JGL0JXPR1GBEcB AHl6GxZLUl1wUHN0 agBVZA9YYARIXRtp UVZORUxQEhpqBAMA SFYdUWgsN3wGeHt5 ZUNkEHFaVUJ8O0V4 S0oHFDwAeGJlPjUC UUENfh4FcAIeYxdB aVR2U3IMNTMFbjQC Ml17DBs4ODEaLCVO XjRFCnkbREJDIyUx XQtKFDMjVWEIWSg3 KAQrMEVUI0ELMV4y NkNpAwpBYk1aIQRa GwlDBzURP0MMXCct EQpGXEkYC1UF 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] OCaml Users and Developers Workshop 2019: Call for presentations Reply-To: "David Allsopp" X-Loop: caml-list@inria.fr X-Sequence: 17456 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: Hi Oliver, https://github.com/ocaml/ocaml.org/pull/1053, so you can read the = Markdown sources for now! All best, David > -----Original Message----- > From: Oliver Bandel > Sent: 03 April 2019 11:38 > To: David Allsopp > Cc: OCaml List > Subject: Re: [Caml-list] OCaml Users and Developers Workshop 2019: = Call > for presentations >=20 > Hello David, >=20 > Berlin as location is great... good choice. :-) The first link in your > mail is not working so far. > Will it be available soon? >=20 >=20 > Best regards, > Oliver >=20 >=20 > 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=C3=A9sus 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 > >