[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]We are happy to invite submissions to the ML Family Workshop 2023
(with apologies for cross-posting):
Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family Workshop
Co-located with ICFP <https://icfp23.sigplan.org/>
Date: September 8, 2023 (Friday)
Location: Seattle, WA, USA (day after main ICFP)
ML (originally, “Meta Language”) is a family of programming languages
that includes dialects known as Standard ML, OCaml, and F#, among
others. The development of these languages has inspired a large amount
of computer science research, both practical and theoretical.
The 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 be an 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.
See the full call for presentations
<https://icfp23.sigplan.org/home/mlworkshop-2023#Call-for-Presentations>
for submission instructions.
* 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ît Montagu, Inria Rennes, France
* Guillaume Munch-Maccagnoni, Inria Rennes, France
* Matija Pretnar, University of Ljubljana, Slovenia
* Andreas Rossberg, Germany
* Gabriel Scherer, Inria Saclay, France
