<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
We are happy to invite submissions to the ML Family Workshop 2023<br>
(with apologies for cross-posting):<br>
<br>
<br>
Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family
Workshop<br>
<br>
Co-located with ICFP <a class="moz-txt-link-rfc2396E" href="https://urldefense.com/v3/__https://icfp23.sigplan.org/__;!!IBzWLUs!QDWNy20G6W3urqDpZwpLJzlHDBqOs99GcXV_Q9wTzcUNpqe0eZgFtLNisaLcEVJd3VezMU-1FqT_QvzXswCqXdLNnmPQAC32aH4a0nJnUeA$"><https://icfp23.sigplan.org/></a><br>
Date: September 8, 2023 (Friday)<br>
Location: Seattle, WA, USA (day after main ICFP)<br>
<br>
ML (originally, “Meta Language”) is a family of programming
languages<br>
that includes dialects known as Standard ML, OCaml, and F#, among<br>
others. The development of these languages has inspired a large
amount<br>
of computer science research, both practical and theoretical.<br>
<br>
The ML Family Workshop is an established informal workshop aiming to<br>
recognize the entire extended ML family and to provide the forum to<br>
present and discuss common issues: all aspects of the design,<br>
semantics, theory, application, implementation, and teaching of the<br>
members of the ML family. We also encourage presentations from
related<br>
languages (such as Haskell, Scala, Rust, Nemerle, Links, Koka, F*,<br>
Eff, ATS, etc), to promote the exchange of ideas and experience. The<br>
ML family workshop will be held in close coordination with the OCaml<br>
Users and Developers Workshop.<br>
<br>
We plan the workshop to be an in-person event with remote<br>
participation (streamed live). Speakers are generally expected to<br>
present in person (we will work to make remote presentations<br>
possible).<br>
<br>
We solicit proposals for contributed talks, in PDF format, with a<br>
short summary at the beginning and the indication of the submission<br>
category: Research Presentations, Experience Reports, Demos, and<br>
Informed Positions. The point of the submission should be clear from<br>
its first two pages (PC members are not obligated to read any<br>
further.) We particularly encourage talks about works in progress,<br>
presentations of negative results (things that were expected to but<br>
did not quite work out) and informed positions.<br>
<br>
See the full call for presentations<br>
<a class="moz-txt-link-rfc2396E" href="https://urldefense.com/v3/__https://icfp23.sigplan.org/home/mlworkshop-2023*Call-for-Presentations__;Iw!!IBzWLUs!QDWNy20G6W3urqDpZwpLJzlHDBqOs99GcXV_Q9wTzcUNpqe0eZgFtLNisaLcEVJd3VezMU-1FqT_QvzXswCqXdLNnmPQAC32aH4a4iizw7A$"><https://icfp23.sigplan.org/home/mlworkshop-2023#Call-for-Presentations></a><br>
for submission instructions.<br>
<br>
* Deadline for talk proposals: Thursday, June 1, 2023<br>
* Notification of acceptance: Thursday, July 6, 2023<br>
* Workshop: Friday, September 8, 2023<br>
<br>
<br>
Program Committee<br>
<br>
* Lars Bergstrom, Google, USA<br>
* Martin Elsman, University of Copenhagen, Denmark<br>
* Matthew Fluet, Rochester Institute of Technology, USA<br>
* Jacques Garrigue, Nagoya University, Japan<br>
* Oleg Kiselyov, Tohoku University, Japan (Chair)<br>
* Julia Lawall, Inria Paris, France<br>
* Andrey Mokhov, Jane Street, UK<br>
* Benoît Montagu, Inria Rennes, France<br>
* Guillaume Munch-Maccagnoni, Inria Rennes, France<br>
* Matija Pretnar, University of Ljubljana, Slovenia<br>
* Andreas Rossberg, Germany<br>
* Gabriel Scherer, Inria Saclay, France<br>
<br>
<br>
<br>
</body>
</html>