[MLton] [CFP] ML'23: Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family Workshop

--===============0806618369721401197==
Content-Type: multipart/alternative; boundary="000000000000cdb35205f81e5b72"

--000000000000cdb35205f81e5b72
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family Workshop
September 8, 2023 (Friday) Seattle, WA, USA (day after main ICFP)

Call for presentations: https://icfp23.sigplan.org/home/mlworkshop-2023

ML Family Workshop is an established informal workshop aiming to
recognize the entire extended ML family and to provide the forum to
present and discuss common issues: all aspects of the design,
semantics, theory, application, implementation, and teaching of the
members of the ML family. We also encourage presentations from related
languages (such as Haskell, Scala, Rust, Nemerle, Links, Koka, F*,
Eff, ATS, etc), to promote the exchange of ideas and experience.  The
ML family workshop will be held in close coordination with the OCaml
Users and Developers Workshop.

We plan the workshop to an be in-person event with remote participation
(streamed live).  Speakers are generally expected to present in person
(we will work to make remote presentations possible).

We solicit proposals for contributed talks, in PDF format, with a
short summary at the beginning and the indication of the submission
category: Research Presentations, Experience Reports, Demos, and
Informed Positions. The point of the submission should be clear from
its first two pages (PC members are not obligated to read any
further.) We particularly encourage talks about works in progress,
presentations of negative results (things that were expected to but
did not quite work out) and informed positions.

* Deadline for talk proposals: ** Thursday June 1, 2023 **
* Notification of acceptance:  ** Thursday July 6, 2023 **
* Workshop:                    ** Friday September 8, 2023 **


Program Committee

Lars Bergstrom                  Google, USA
Martin Elsman                   University of Copenhagen, Denmark
Matthew Fluet                   Rochester Institute of Technology, USA
Jacques Garrigue                Nagoya University, Japan
Oleg Kiselyov                   Tohoku University, Japan (Chair)
Julia Lawall                    Inria-Paris, France
Andrey Mokhov                   Jane Street, UK
Beno=C3=AEt Montagu                  Inria-Rennes, France
Guillaume Munch-Maccagnoni      Inria, France
Matija Pretnar                  University of Ljubljana, Slovenia
Andreas Rossberg                Germany
Gabriel Scherer                 Inria-Saclay, France

--000000000000cdb35205f81e5b72
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div style=3D"font-family:arial,sans-serif;font-size:large=
" class=3D"gmail_default">Higher-order, Typed, Inferred, Strict: ACM SIGPLA=
N ML Family Workshop<br>September 8, 2023 (Friday) Seattle, WA, USA (day af=
ter main ICFP)<br><br>Call for presentations: <a href=3D"https://icfp23.sig=
plan.org/home/mlworkshop-2023">https://icfp23.sigplan.org/home/mlworkshop-2=
023</a><br><br>ML Family Workshop is an established informal workshop aimin=
g 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>semant=
ics, 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.=C2=A0 The<br>ML family wor=
kshop will be held in close coordination with the OCaml<br>Users and Develo=
pers Workshop.<br><br>We plan the workshop to an be in-person event with re=
mote participation<br>(streamed live).=C2=A0 Speakers are generally expecte=
d to present in person<br>(we will work to make remote presentations possib=
le).<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<b=
r>category: Research Presentations, Experience Reports, Demos, and<br>Infor=
med Positions. The point of the submission should be clear from<br>its firs=
t two pages (PC members are not obligated to read any<br>further.) We parti=
cularly encourage talks about works in progress,<br>presentations of negati=
ve results (things that were expected to but<br>did not quite work out) and=
 informed positions.<br><br>* Deadline for talk proposals: ** Thursday June=
 1, 2023 **<br>* Notification of acceptance: =C2=A0** Thursday July 6, 2023=
 **<br>* Workshop: =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =
=C2=A0 =C2=A0** Friday September 8, 2023 **<br><br><br>Program Committee<br=
><br>Lars Bergstrom =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0=
 =C2=A0Google, USA<br>Martin Elsman =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=
=A0 =C2=A0 =C2=A0 =C2=A0 University of Copenhagen, Denmark<br>Matthew Fluet=
 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 Rochester I=
nstitute of Technology, USA<br>Jacques Garrigue =C2=A0 =C2=A0 =C2=A0 =C2=A0=
 =C2=A0 =C2=A0 =C2=A0 =C2=A0Nagoya University, Japan<br>Oleg Kiselyov =C2=
=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 Tohoku Universi=
ty, Japan (Chair)<br>Julia Lawall =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0=
 =C2=A0 =C2=A0 =C2=A0 =C2=A0Inria-Paris, France<br>Andrey Mokhov =C2=A0 =C2=
=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 Jane Street, UK<br>Ben=
o=C3=AEt Montagu =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =
=C2=A0Inria-Rennes, France<br>Guillaume Munch-Maccagnoni =C2=A0 =C2=A0 =C2=
=A0Inria, France<br>Matija Pretnar =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=
=A0 =C2=A0 =C2=A0 =C2=A0University of Ljubljana, Slovenia<br>Andreas Rossbe=
rg =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0Germany<br>Gabrie=
l Scherer =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 Inria-Sac=
lay, France</div><div class=3D"gmail_default" style=3D"font-family:arial,sa=
ns-serif;font-size:large"><br></div></div>

--000000000000cdb35205f81e5b72--


--===============0806618369721401197==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline


--===============0806618369721401197==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
MLton-devel mailing list
[email protected]; [email protected]
https://lists.sourceforge.net/lists/listinfo/mlton-devel

--===============0806618369721401197==--