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 C1EF72E03 for ; Thu, 13 May 2021 01:20:09 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.82,295,1613430000"; d="scan'208,217";a="508022955" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 13 May 2021 03:20:06 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 6E60CE0043; Thu, 13 May 2021 03:20:06 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 33BB3E003C for ; Thu, 13 May 2021 03:19:59 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=frederic.bour@lakaban.net; spf=Pass smtp.mailfrom=frederic.bour@lakaban.net; spf=Pass smtp.helo=postmaster@out2-smtp.messagingengine.com IronPort-PHdr: =?us-ascii?q?A9a23=3Ar8TDfRIrsOW5z7Wx9NmcuPxmWUAX0o4c3iYr45Y?= =?us-ascii?q?qw4hDbr6kt8y7ehCGtLM30QWCDNuTwskHotKei7rnV20E7MTJm1E5W7sIaSU4j?= =?us-ascii?q?94LlRcrGs+PBB6zBvfraysnAJYKDwc9rDm0PkdPBcnxeUDZrGGs4j4OABX/Mhd?= =?us-ascii?q?+KvjoFoLIgMm7yuS/94fNbwhImjaxbrd/IRSrpgjNq8cahpdvJLwswRXTuHtIf?= =?us-ascii?q?OpWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+VrxYES8pM3sp683xtBn?= =?us-ascii?q?MVhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs5Xymp4aV2Rx/yk?= =?us-ascii?q?CoJMDA2/27UhMJ+jKxVvg+vqABkzoHOfI2YLuBzc7nHcN4YQ2dKQ8ZfVzZGAoO?= =?us-ascii?q?5d4YBD/ABOvxFoI7nvVsOrAexChGxCePo1z9InGL90Ko00+Q7Dw7JwRIvH8gPs?= =?us-ascii?q?HvIttn6L6ASUf2vzKTTyTXMdfBW1i3m54fSdBAtu/eMUqxsccfIz0QkCgzKgEm?= =?us-ascii?q?Kp4P/IzOVyvoCs3Kd7+d4VeyiiW4ppgBvrjWz28ohhYfEi4wUx13A6Sl0wIc4K?= =?us-ascii?q?NO8RUNmfNOqEIdduiCaOYZoXM8vX31ktDs6xLACpZK3YS4Hw4kpyR7YbvyIaYm?= =?us-ascii?q?I4hT7WeaKIDd4i2pleLaliBa060Sgzff8Vsas3FZKqSpFjsXDtmoV1xDJ9seHT?= =?us-ascii?q?f598l+m2TmTzQ/T7+VELVozlarBJJ4sxKM7mJkLsUnbHyL7mV/6gLKLekk54OS?= =?us-ascii?q?l5P7rbqvnq5KaKoR5lAX+Mrk1msyjH+s4KBUAX2ma+OuizLDv4Uv0S6hQgPIsi?= =?us-ascii?q?KnWqpXaKNwbpqGnBw9V1Z4u6xGiDze6ztgUhGIHLFdZeBKflYTpPk/BIOvjDfi?= =?us-ascii?q?ljFSskTFrx//YMb3nDZXNL37Dn6n7cblh7E5czRI/zdFZ551KFrEMOPP+V07ru?= =?us-ascii?q?NDFExM1Lha4zun9BNlj144SQWePDbWYMKPWv1+I/OUvI+yUaY8bojbyNeUq6OD?= =?us-ascii?q?0jX84hVARZ7Km3ZwKaHCiBflmJ1+WYXn2jdgaC2gKuBAyTOr0h12eSTJTfWq9X?= =?us-ascii?q?7og5jEnD4KrFZvMSZqogLyFxSu7GpxWZntaCl2XCnfpd4CEW+8WZy6II89hlCY?= =?us-ascii?q?EVbm7RIM72xGurlyy970yJePR/mgctIn//Nlz/eza0x8ophJuCMHI/XsMQ+Bun?= =?us-ascii?q?2g/bTgrxugrr1ZwxlqZ0KM+iftFD/RX7vBAWA48c5jR07opWJjJRgvdc4LRGx6?= =?us-ascii?q?dSdK8DGRpJjrU69sHYE93EtPkiB3fjXLC6149kKGXXtkv977EmX38PN10xHfA2?= =?us-ascii?q?6QngFggT41EMmj038aXGCDXDo3AmUyf0aCnafZFtBM=3D?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3AxRImFaBlAISmfajlHenJ55DYdb4zR+YMi2TD?= =?us-ascii?q?sHoadfU1SKClfq+V88jzuSWUtN9zYhwdcK67Scq9qBrnnPYf3WB7B9mftWfd2F?= =?us-ascii?q?eVEA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0B2BADSfZxghxoEb0JUBoYCVgEBODGEC?= =?us-ascii?q?T6JBIhRCCWdBgMLAQMBDTAMBAEBhE+BdgIeBgEENBMCBBUBAQUBAQECAQMDBAE?= =?us-ascii?q?TAQEBAQ0LCQgpGoVQDYI4IoN9EQYdAQE4GEQCLjsdB4JWAYMHD4x+nAmBMoEBg?= =?us-ascii?q?gYBAQaBQAWBA4QkfwmBOocHgW9XhBYngimBFScMA4Mqg3MHIBk9gmqCY4J1ShU?= =?us-ascii?q?xIgcmQTEPCQpTAw4tkHuNaZszgRUHgxiKAJMzBQ0ig1iBQYRshGWGH5AroTeSf?= =?us-ascii?q?AgCE3mECoFrYoEaTS5zgVRnCUcXAg5VAYdKhhiDV4RZO4VYMgECLzgCBgEJAQE?= =?us-ascii?q?DCYpJgkcBAQ?= X-IPAS-Result: =?us-ascii?q?A0B2BADSfZxghxoEb0JUBoYCVgEBODGECT6JBIhRCCWdBgM?= =?us-ascii?q?LAQMBDTAMBAEBhE+BdgIeBgEENBMCBBUBAQUBAQECAQMDBAETAQEBAQ0LCQgpG?= =?us-ascii?q?oVQDYI4IoN9EQYdAQE4GEQCLjsdB4JWAYMHD4x+nAmBMoEBggYBAQaBQAWBA4Q?= =?us-ascii?q?kfwmBOocHgW9XhBYngimBFScMA4Mqg3MHIBk9gmqCY4J1ShUxIgcmQTEPCQpTA?= =?us-ascii?q?w4tkHuNaZszgRUHgxiKAJMzBQ0ig1iBQYRshGWGH5AroTeSfAgCE3mECoFrYoE?= =?us-ascii?q?aTS5zgVRnCUcXAg5VAYdKhhiDV4RZO4VYMgECLzgCBgEJAQEDCYpJgkcBAQ?= X-IronPort-AV: E=Sophos;i="5.82,295,1613430000"; d="scan'208,217";a="508022791" X-MGA-submission: =?us-ascii?q?MDGmqnBDeQPzmb9yo2UvWkYB6maamxYxlV02x8?= =?us-ascii?q?A/W6Kbpw8IgLxHym4PoisA1fd+/0NqpBeTn4NwW3a02VdKFgEvwyai2O?= =?us-ascii?q?0+zlh7TBBARZHij1W4Oba52LnZGo6sLW0QSaOACM0euaUOBDUxMf/+DQ?= =?us-ascii?q?yqKr6lJWSE9uV0KHsV0yoShQ=3D=3D?= Received: from out2-smtp.messagingengine.com ([66.111.4.26]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 13 May 2021 03:19:58 +0200 Received: from compute4.internal (compute4.nyi.internal [10.202.2.44]) by mailout.nyi.internal (Postfix) with ESMTP id AE3975C0170 for ; Wed, 12 May 2021 21:19:56 -0400 (EDT) Received: from imap21 ([10.202.2.71]) by compute4.internal (MEProxy); Wed, 12 May 2021 21:19:56 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=lakaban.net; h= mime-version:message-id:date:from:to:subject:content-type; s= fm1; bh=+XSlspkYQDpNVipRnFcMrM6DJgEpuBCiw7xck9L9lvA=; b=xHFhpoky kNRG1S8EVQwlcCUrqM+yiJSLO8sSpXtTOeqJIz/23HkpF6Bje7j9aQSqodBnp4ug Sja3zhSpCwzk94mJPX2BP1dy+Ueh+SD7mktQkJDjX7nJybLgdjsOeb7UNnVi3Ekz FV6wqYp6BL7asqSTxnYyLrdME1fKjaaJOlKrOrTnzqesivGv8Yd54yFQ4MdgmV1n gv+gc2HcyG3+vZUTLcY075Ms02LX/z3mas+19Yo2kWjbnBrJh+P0dm26PZCyvV7g 3xl++3VeD1Ns0DRXJq8ipF6fquuDxE+qNk1kPmYyr23Gk75E3DBsElnt+S/lNrXh tyIqGLwaPS5iCg== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=content-type:date:from:message-id :mime-version:subject:to:x-me-proxy:x-me-proxy:x-me-sender :x-me-sender:x-sasl-enc; s=fm2; bh=+XSlspkYQDpNVipRnFcMrM6DJgEpu BCiw7xck9L9lvA=; b=nteP5Ot//QLflXXaT27/1PoD+jircKfh4aSGfP8yO7N87 cN1iT2iHOqwy8+jZQGR9V4YMDuMj3UQ01nAingPJMLmxuovG5SaQ7Edlcu6Xkqgb x57Ji4W+tMRvWwgkiR+Tw65baz8uG4+pp7D04pWZ9PnnRSQWqefovpe8t5ksNvqK v0793UXuIWKU2mL+dfGFVjYiOaWW5WJEkAuVrXqF8qkglN/HbYlMIQjMtKPPmT6a YkfGxtLDrMJC5XSUoyRKTPNNpaw26wq3uGOyMV+PCWv7k03DUXlvZPcgJ7lAbLg0 3S03a09X5gyUHoLuyXFBqq2ujRXTkM/at5VgNup7g== X-ME-Sender: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgeduledrvdehfedggeduucetufdoteggodetrfdotf fvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdfqfgfvpdfurfetoffkrfgpnffqhgen uceurghilhhouhhtmecufedttdenucenucfjughrpefofgggkfffhffvufgtsegrtderre erreejnecuhfhrohhmpefhrhorugorrhhitggpuehouhhruceofhhrvgguvghrihgtrdgs ohhurheslhgrkhgrsggrnhdrnhgvtheqnecuggftrfgrthhtvghrnhephfejhfeivdetue egfeefieeltdehieefleeuuefhteeihfevvdettdduhfeltddunecuffhomhgrihhnpehs ihhgphhlrghnrdhorhhgpdhhohhttghrphdrtghomhdpohgtrghmlhdrohhrghenucevlh hushhtvghrufhiiigvpedtnecurfgrrhgrmhepmhgrihhlfhhrohhmpehfrhgvuggvrhhi tgdrsghouhhrsehlrghkrggsrghnrdhnvght X-ME-Proxy: Received: by mailuser.nyi.internal (Postfix, from userid 501) id 4E4AF51C0060; Wed, 12 May 2021 21:19:56 -0400 (EDT) X-Mailer: MessagingEngine.com Webmail Interface User-Agent: Cyrus-JMAP/3.5.0-alpha0-448-gae190416c7-fm-20210505.004-gae190416 Mime-Version: 1.0 Message-Id: <6106d13c-5811-415f-83b5-4c73604cfcb7@www.fastmail.com> Date: Thu, 13 May 2021 10:19:35 +0900 From: =?UTF-8?Q?Fr=C3=A9d=C3=A9ric_Bour?= To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=d411fdb860e44b2ba3a05125ba1c813b Subject: [Caml-list] OCaml Users and Developers Workshop 2021: second call for presentations Reply-To: =?UTF-8?Q?Fr=C3=A9d=C3=A9ric_Bour?= X-Loop: caml-list@inria.fr X-Sequence: 18489 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: --d411fdb860e44b2ba3a05125ba1c813b Content-Type: text/plain;charset=utf-8 Content-Transfer-Encoding: quoted-printable It is my pleasure to invite submissions to the OCaml Users and Developer= s Workshop 2021, which is again co-located with ICFP and will be held vi= rtually this year. The OCaml Users and Developers Workshop brings together industrial users= of OCaml with academics and hackers who are working on extending the la= nguage, type system, and tools. Previous editions have been co-located w= ith ICFP 2012 in Copenhagen, ICFP 2013 in Boston, ICFP 2014 in Gothenbur= g, ICFP 2015 in Vancouver, ICFP 2016 in Nara, ICFP 2017 in Oxford, ICFP = 2018 in St Louis, ICFP 2019 in Berlin, and was virtual for ICFP 2020, fo= llowing the OCaml Meetings in Paris in 2010 and 2011. Please note that the deadline for abstract submission is set on May 20, = a week from now. Don't wait to start preparing your submission :-). ## Important Links - workshop site: https://icfp21.sigplan.org/home/ocaml-2021 - submission site: https://ocaml2021.hotcrp.com ## Important dates * Thursday 20th May (any time zone): Abstract submission deadline * Friday 18th July: Author notification * Friday 27th August: OCaml Workshop ## Scope Presentations and discussions focus on the OCaml programming language an= d its community. We aim to solicit talks on all aspects related to impro= ving the use or development of the language and its programming environm= ent, 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 Presentations will be held in the online format. Each presentation compr= ise a prerecorded presentation and an interactive live Q&A session after= the talk. Each talk will be re-translated three times in different time= zones. Session chairs and volunteers will assist the authors in prepari= ng and casting the presentation. Each presentation will be made availabl= e through the ocaml.org website. ## Submission To submit a presentation, please register a description of the talk (abo= ut 2 pages long) at https://ocaml2021.hotcrp.com/ providing a clear stat= ement of what will be provided by the presentation: the problems that ar= e addressed, the solutions or methods that are proposed. LaTeX-produced PDFs are a common and welcome submission format. For acce= ssibility purposes, we ask PDF submitters to also provide the sources of= their submission in a textual format, such as .tex sources. Reviewers m= ay read either the submitted PDF or the text version. ## Camera ready presentations A pre-recorded versions of accepted presentation shall be provided befor= e August, 13th. Volunteers will provide technical assistance to authors = as well as provide necessary feedback and ensure that all videos match o= ur quality standards. ## ML family workshop The ML family workshop, held on the previous day, deals with general iss= ues of the ML-style programming and type systems, focuses on more resear= ch-oriented work that is less specific to a language in particular. Ther= e is an overlap between the two workshops, and we have occasionally tran= sferred presentations from one to the other in the past. Authors who fee= l their submission fits both workshops are encouraged to mention it at s= ubmission time and/or contact the Program Chairs. ## Program Commitee Fr=C3=A9d=C3=A9ric Bour, Tarides, France Cristina Rosu, Janestreet, UK Hakjoo Oh, Korea University, Korea Hugo Heuzard, Janestreet, UK Jeffrey A. Scofield, Formalsim, USA Jonathan Protzenko, MSR, USA Joris Giovanangeli, Ahrefs, Singapore Jun Furuse, Dailambda, Japan Kihong Heo, KAIST, Korea Kate Deplaix, OCaml Labs, UK Mehdi Bouaziz, Nomadic Labs, France Simon Castellan, INRIA, France Ryohei Tokuda, Idein, Japan Vaivaswatha Nagaraj, Zilliqa, India Youyou Cong, Tokyo Institute of Technology, Japan --d411fdb860e44b2ba3a05125ba1c813b Content-Type: text/html;charset=utf-8 Content-Transfer-Encoding: quoted-printable
It is my pleasu= re to invite submissions to the OCaml Users and Developers Workshop 2021= , which is again co-located with ICFP and will be held virtually this ye= ar.

The OCaml Users and Developers Workshop= brings together industrial users of OCaml with academics and hackers wh= o are working on extending the language, type system, and tools. Previou= s editions have been co-located with ICFP 2012 in Copenhagen, ICFP 2013 = in Boston, ICFP 2014 in Gothenburg, ICFP 2015 in Vancouver, ICFP 2016 in= Nara, ICFP 2017 in Oxford, ICFP 2018 in St Louis, ICFP 2019 in Berlin, = and was virtual for ICFP 2020, following the OCaml Meetings in Paris in = 2010 and 2011.

Please note that the deadlin= e for abstract submission is set on May 20, a week from now. Don't wait = to start preparing your submission :-).

## = Important Links


- submission site: https://ocaml2021.hotcrp.com

#= # Important dates

* Thursday 20th May (any = time zone): Abstract submission deadline
* Friday 18th Jul= y: Author notification
* Friday 27th August: OCaml Worksho= p

## Scope

Pre= sentations and discussions focus on the OCaml programming language and i= ts community. We aim to solicit talks on all aspects related to improvin= g the use or development of the language and its programming environment= , including, for example (but not limited to):

<= div>* compiler developments, new backends, runtime and architectures
=
* practical type system improvements, such as GADTs, first-cl= ass modules, generic programming, or dependent types
* new= library or application releases, and their design rationales
<= div>* tools and infrastructure services, and their enhancements
* prominent industrial or experimental uses of OCaml, or deploymen= ts in unusual situations.

## Presentations<= br>

Presentations will be held in the online fo= rmat. Each presentation comprise a prerecorded presentation and an inter= active live Q&A session after the talk. Each talk will be re-transla= ted three times in different time zones. Session chairs and volunteers w= ill assist the authors in preparing and casting the presentation. Each p= resentation will be made available through the ocaml.org website.

## Submission

To sub= mit a presentation, please register a description of the talk (about 2 p= ages long) at https://ocaml2021.hotcrp.com/ providin= g a clear statement of what will be provided by the presentation: the pr= oblems 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.

## Camera ready presentations
=

A pre-recorded versions of accepted presentati= on shall be provided before August, 13th. Volunteers will provide techni= cal assistance to authors as well as provide necessary feedback and ensu= re that all videos match our quality standards.

=
## ML family workshop

The ML family wo= rkshop, held on the previous day, deals with general issues of the ML-st= yle 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 presenta= tions from one to the other in the past. Authors who feel their submissi= on fits both workshops are encouraged to mention it at submission time a= nd/or contact the Program Chairs.

## Progra= m Commitee

Fr=C3=A9d=C3=A9ric Bour, Tarides= , France
Cristina Rosu, Janestreet, UK
Hakjo= o Oh, Korea University, Korea
Hugo Heuzard, Janestreet, UK=
Jeffrey A. Scofield, Formalsim, USA
Jonatha= n Protzenko, MSR, USA
Joris Giovanangeli, Ahrefs, Singapor= e
Jun Furuse, Dailambda, Japan
Kihong Heo, K= AIST, Korea
Kate Deplaix, OCaml Labs, UK
Meh= di Bouaziz, Nomadic Labs, France
Simon Castellan, INRIA, F= rance
Ryohei Tokuda, Idein, Japan
Vaivaswath= a Nagaraj, Zilliqa, India
Youyou Cong, Tokyo Institute of = Technology, Japan
--d411fdb860e44b2ba3a05125ba1c813b--