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 CD6F45D5 for ; Sun, 18 Apr 2021 12:03:53 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.82,231,1613430000"; d="scan'208,217";a="503785894" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 18 Apr 2021 14:03:48 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id AA629E032C; Sun, 18 Apr 2021 14:03:48 +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 BC9AEE00B8 for ; Sun, 18 Apr 2021 14:03:46 +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@wout5-smtp.messagingengine.com IronPort-PHdr: =?us-ascii?q?A9a23=3AJT4dhB3yhCdtZkAtsmDOigMyDhhPgJ3EezUN459?= =?us-ascii?q?isYplN5qZl7zcNUDSrc9gkEXOFd2Cra4d2qyP4vCrBzFIyK3CmUhKSIZLWR4Bh?= =?us-ascii?q?JdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd?= =?us-ascii?q?+KPjrFY7OlcS30P2594HObwlSizexfLd/IA+roQjVtcQajopvJ6YswRbVv3VEf?= =?us-ascii?q?Phby3l1LlyJhRb84cmw/J9n8ytOvv8q6tBNX6bncakmVLJUFDspPXw7683trhn?= =?us-ascii?q?DUBCA5mAAXWUMkxpHGBbK4RfnVZrsqCT6t+592C6HPc3qSL0/RDqv47t3RBLul?= =?us-ascii?q?SwKMSMy/mPKhcxqlK9VpxyuqBN8zYDaYI+bKudwcb/GcNwAWWZMRNxcWjZbD46?= =?us-ascii?q?+aYYEEuoPPfxfr4n4v1YArQG+AhOxC+T10D9Ih2P50rUn3uQmDAHGxhErEtUAs?= =?us-ascii?q?HTOstr6KbkdUfq0zKbU1znMdPRW2Srn6IXTdhAuu/KMUqhrfsXLz0kjDQXFgUu?= =?us-ascii?q?MqYH8OT6ey+sCvXSB4eV6SeKvl3Aoqxt3ojW3xskhiInHi4MLxl3Y6Ch0z4g4K?= =?us-ascii?q?NO5RUN/fdKpEJpdui+eOoZrX84sQ31ltSc6xLAYp5K2YDQGxIknyRPbd/CLbo6?= =?us-ascii?q?F6Q/tWuaWJDd3nnNleLSnihap8EigxfX8Vs2u31ZMtCZFlcPMtn8V2xzT7ciHV?= =?us-ascii?q?udy/l252TqVyw/T7eRELVgzlaXHMZEhx7owmoAUsUTZES/7nlj9gqyOdkg8++W?= =?us-ascii?q?l5P7rbqjpq5KeLYN4lx/yP6o0lsChHOg1NBUFUnaf+eShz73j4VP2QK9XgP03k?= =?us-ascii?q?6jWrojXKdgdq6WkGQFayJwj5Ay6Dzq+0NQXg30HLFVddROJiIjpJk3OLfDhAfe?= =?us-ascii?q?khlSsjC9ry+rDPrL/GZXNNWLMkLjgfbZ75E5T1gwzzd9e55JSFL4NOu78Wkj0t?= =?us-ascii?q?NDADx85NRK7w/r/Bdh82Y4SQ3+DD6CbPa/IrFOE+OwiL/OSaIMIoDr9LuIq5//?= =?us-ascii?q?qjX83g18deqyp0IMZaHCiAPtpPluWYWDtgtgdC2sFpQ0+TPHwiFCZVT5cfXWyU?= =?us-ascii?q?Lgn6T4hDoKqF4HDSZ6xgLCZxie0AoVWZnxaClCLCXrna5+LW/IIaC6LJs9hkyc?= =?us-ascii?q?EVaS6Ro861RCusRf6xKB9IurV/C0Yr5Pj28Jv6+3djxFhvQBzWs+U1mXIS2Bvg?= =?us-ascii?q?ksJQSU31eZxux9T0FCGhIZiAvDZD91Y0NlOTx1yYZDGwuB3EdH5HAjGY82hTF+?= =?us-ascii?q?lS9+vB3c3Q85nkIxGWFp0B9j31kOL5CGtGbJAz9SjNNkP6qvZmkPJCYN9xnLBv?= =?us-ascii?q?IE+iEQ6H45UMHG+wKty7BPaCI/PnEifmKeseOIX2yufrQ+r/S+1pEhdFTVIf+D?= =?us-ascii?q?dR3l3Tk/frt3z70WESbKyW+xPGjsE8taLL+5xUvOsiFxHQPn5P9G2S2a4mG66D?= =?us-ascii?q?BDOwL6QPtOCRg=3D=3D?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3An11KGK0lMFYt2vTtxAHwrgqjBLokLtp033Aq?= =?us-ascii?q?2lEZdDV5etGV/vrDoN01zhnx4Qx9ZFgFlcqbMKeNBVPQnKQa3aArMb2vXBbrtQ?= =?us-ascii?q?KTRekI0aLZ3zbiFyfin9Qz6Y5cdcFFYuHNMQ=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A1BgCdHnxgexV7k0BUBh4BPAwCC4UJV?= =?us-ascii?q?gEBODGEBT6JBIhDLZxnAwsBAwENKAwEAQGEUIF1Ah4GAQQ0EwIRAQEFAQEBAgE?= =?us-ascii?q?DAwQBEwEBDwsKBykahVANgjgig30RBh0BATgYRAIuOx0HglYBgwcPjj2cB4Eyg?= =?us-ascii?q?QGCBAEBBoE3BYEDhCR/CYE6hwGBa4RpJ4IngRMnDAODKoNyByAZPYJqgmGCdUo?= =?us-ascii?q?VMSIHJkExDwkKUwMOLZBkqGaBFAeDD4lokxgFCx+DT4E+hGKEX4YWkB6hDpJbC?= =?us-ascii?q?AITc4QIgWtigRpNLnOBVGcJRxcCDlUBh0qJb4RZO4VLPwECLzgCBgEJAQEDCYp?= =?us-ascii?q?JgkYBAQ?= X-IPAS-Result: =?us-ascii?q?A0A1BgCdHnxgexV7k0BUBh4BPAwCC4UJVgEBODGEBT6JBIh?= =?us-ascii?q?DLZxnAwsBAwENKAwEAQGEUIF1Ah4GAQQ0EwIRAQEFAQEBAgEDAwQBEwEBDwsKB?= =?us-ascii?q?ykahVANgjgig30RBh0BATgYRAIuOx0HglYBgwcPjj2cB4EygQGCBAEBBoE3BYE?= =?us-ascii?q?DhCR/CYE6hwGBa4RpJ4IngRMnDAODKoNyByAZPYJqgmGCdUoVMSIHJkExDwkKU?= =?us-ascii?q?wMOLZBkqGaBFAeDD4lokxgFCx+DT4E+hGKEX4YWkB6hDpJbCAITc4QIgWtigRp?= =?us-ascii?q?NLnOBVGcJRxcCDlUBh0qJb4RZO4VLPwECLzgCBgEJAQEDCYpJgkYBAQ?= X-IronPort-AV: E=Sophos;i="5.82,231,1613430000"; d="scan'208,217";a="503785864" X-MGA-submission: =?us-ascii?q?MDEWWzNJD0i+RoE20c79UGYrMgcf6h8fpxVoOF?= =?us-ascii?q?AFtiQloG/T1HL6qiKZ0A0h2TrfZBrTWg4XTUYxA/yi87XgzGWKm+lKgU?= =?us-ascii?q?Oo1bQsgmhg0a0NmQTT4a+fUdAwENejf4MFUlXIUe6X5QbdFFA5B9BiTD?= =?us-ascii?q?0J0Q31I0W7HpZY7LUPblpU/g=3D=3D?= Received: from wout5-smtp.messagingengine.com ([64.147.123.21]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 18 Apr 2021 14:03:45 +0200 Received: from compute4.internal (compute4.nyi.internal [10.202.2.44]) by mailout.west.internal (Postfix) with ESMTP id EE21C1848 for ; Sun, 18 Apr 2021 08:03:41 -0400 (EDT) Received: from imap21 ([10.202.2.71]) by compute4.internal (MEProxy); Sun, 18 Apr 2021 08:03:42 -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=CdnWHmf/rtpusnvfCZwF68FsKcgmx0VNFX7WH28gFak=; b=MJwBJBi6 MBlcAZWG3wxWRV39bUMo0L7on94woXnUirwSuFtXbw0pzD2vDHoDZRN3WedDbAhc iRMva/FkmB0mW3Vg0kpg5vZz2aDR5npfPxiUHfglFic6Ol/6uUaCE2AS7t9VpEmC 2xQ+/AZYCEltYijro13CzH29Y3h66Ivs4Yp/0H3+g1fK0pSH3Bnp/4kyO1yEyBm5 yuVr4VNSog0oW26QMWxE9FtaAxz9uNdlZ2EPmXGG3B5psT4FqGFfIlOIOtmuIYg2 MH/2mD6+FtX/6ZFfQ4sz+Lo7j4i4IIHAWFuWXoy91dMwCzQhcyT4FCyOhJi3REzB +/JNIwzXtM7bVg== 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=CdnWHmf/rtpusnvfCZwF68FsKcgmx 0VNFX7WH28gFak=; b=MdbHJCkUufjpF5tCTGfwxkKLnrAHNl3hcur/NJIirJaDl RHDLnhq5soBVpo+EF0rxhxIBu7kY5be3vhw0LriDhnMjIRoQZrkQuEDq8GSuc4CM HDmDTpUWX1TtHoWHd91Xs4NiINNwRbBspn+bG1QnnnjKwgcnZ3C4N1FT6w1Yo4rs j1L2XnRVX91+ZMKnTzB7dopiOuubw2cDChT7DVIrnI/fBOo0x3BDT60qoy1ZWbWf 6kA/vSQU4ocYNEVINdSF9kIK6+NOu6qgq/EN1+gIO0UE4nKKGxbp+VPhKY/fz9Xd advMY/KNWtGgW5PDtkKb5RNOtMfaC0Iiru+0LfcsQ== X-ME-Sender: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgeduledrudelkedgkedvucetufdoteggodetrfdotf fvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdfqfgfvpdfurfetoffkrfgpnffqhgen uceurghilhhouhhtmecufedttdenucenucfjughrpefofgggkfffhffvufgtsegrtderre erreejnecuhfhrohhmpefhrhorugorrhhitggpuehouhhruceofhhrvgguvghrihgtrdgs ohhurheslhgrkhgrsggrnhdrnhgvtheqnecuggftrfgrthhtvghrnhephfejhfeivdetue egfeefieeltdehieefleeuuefhteeihfevvdettdduhfeltddunecuffhomhgrihhnpehs ihhgphhlrghnrdhorhhgpdhhohhttghrphdrtghomhdpohgtrghmlhdrohhrghenucevlh hushhtvghrufhiiigvpedtnecurfgrrhgrmhepmhgrihhlfhhrohhmpehfrhgvuggvrhhi tgdrsghouhhrsehlrghkrggsrghnrdhnvght X-ME-Proxy: Received: by mailuser.nyi.internal (Postfix, from userid 501) id 4E97451C005F; Sun, 18 Apr 2021 08:03:41 -0400 (EDT) X-Mailer: MessagingEngine.com Webmail Interface User-Agent: Cyrus-JMAP/3.5.0-alpha0-273-g8500d2492d-fm-20210323.002-g8500d249 Mime-Version: 1.0 Message-Id: Date: Sun, 18 Apr 2021 14:03:02 +0200 From: =?UTF-8?Q?Fr=C3=A9d=C3=A9ric_Bour?= To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=2c35613579624b79ae805e85ce2c308a Subject: [Caml-list] OCaml Users and Developers Workshop 2021: call for presentations Reply-To: =?UTF-8?Q?Fr=C3=A9d=C3=A9ric_Bour?= X-Loop: caml-list@inria.fr X-Sequence: 18468 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: --2c35613579624b79ae805e85ce2c308a 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. ## Important Links - workshop site: [https://icfp21.sigplan.org/home/ocaml-2021 ](https://i= cfp21.sigplan.org/home/ocaml-2021) - submission site: [https://ocaml2021.hotcrp.com ](https://ocaml2021.hot= crp.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 Medhi Bouaziz, Nomadic Labs, France Simon Castellan, INRIA, France Ryohei Tokuda, Idein, Japan Vaivaswatha Nagaraj, Zilliqa, India Youyou Cong, Tokyo Institute of Technology, Japan --2c35613579624b79ae805e85ce2c308a 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.

## Important Links
=

- workshop site: [https://icfp21.sigplan.org/home/ocaml-2021 ](https://icfp21.sigp= lan.org/home/ocaml-2021)


## Important dates

* Thursday 20th May (any time zone): Abstract submissi= on deadline
* Friday 18th July: Author notification
* Friday 27th August: OCaml Workshop

## Scope

Presentations and discussions fo= cus on the OCaml programming language and its community. We aim to solic= it talks on all aspects related to improving the use or development of t= he language and its programming environment, including, for example (but= not limited to):

* compiler developments, = new backends, runtime and architectures
* practical type s= ystem improvements, such as GADTs, first-class modules, generic programm= ing, or dependent types
* new library or application relea= ses, and their design rationales
* tools and infrastructur= e 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 a= fter the talk. Each talk will be re-translated three times in different = time zones. Session chairs and volunteers will assist the authors in pre= paring and casting the presentation. Each presentation will be made avai= lable through the ocaml.org website.

## Sub= mission

To submit a presentation, please re= gister a description of the talk (about 2 pages long) at https://ocaml2021.hotcrp.com/ providing a= clear statement of what will be provided by the presentation: the probl= ems that are addressed, the solutions or methods that are proposed.
<= /div>

LaTeX-produced PDFs are a common and welcome su= bmission format. For accessibility purposes, we ask PDF submitters to al= so provide the sources of their submission in a textual format, such as = .tex sources. Reviewers may read either the submitted PDF or the text ve= rsion.

## Camera ready presentations

A pre-recorded versions of accepted presentation = shall be provided before August, 13th. Volunteers will provide technical= assistance to authors as well as provide necessary feedback and ensure = that all videos match our quality standards.

## ML family workshop

The ML family works= hop, held on the previous day, deals with general issues of the ML-style= programming and type systems, focuses on more research-oriented work th= at is less specific to a language in particular. There is an overlap bet= ween the two workshops, and we have occasionally transferred presentatio= ns 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 C= ommitee

Fr=C3=A9d=C3=A9ric Bour, Tarides, F= rance
Cristina Rosu, Janestreet, UK
Hakjoo O= h, Korea University, Korea
Hugo Heuzard, Janestreet, UK
Jeffrey A. Scofield, Formalsim, USA
Jonathan P= rotzenko, MSR, USA
Joris Giovanangeli, Ahrefs, Singapore
Jun Furuse, Dailambda, Japan
Kihong Heo, KAIS= T, Korea
Kate Deplaix, OCaml Labs, UK
Medhi = Bouaziz, Nomadic Labs, France
Simon Castellan, INRIA, Fran= ce
Ryohei Tokuda, Idein, Japan
Vaivaswatha N= agaraj, Zilliqa, India
Youyou Cong, Tokyo Institute of Tec= hnology, Japan
--2c35613579624b79ae805e85ce2c308a--