[TYPES/announce] Call for Presentations: ML Family Workshop 2026

[Benoit Montagu]

*Higher-order, Typed, Inferred, Strict:*
*      ML Family Workshop 2026*
*              August 28, 2026*
*Indianapolis (Co-located with ICFP <https://urldefense.com/v3/__https://icfp26.sigplan.org/__;!!IBzWLUs!RHkXmXU2k5VVhERZgWQlttCWacsttUhMSzuGGRVhyuLpPqe0mlDLa8DjwXWgOJfi5tRUIriu-Zk_CGy9ViYInl5qn76ycrk8sBKDuFP_$ >) + 
Paris (Co-located with FW'26 
<https://urldefense.com/v3/__https://www.irif.fr/*scherer/events/fpw-2026/announce.html__;fg!!IBzWLUs!RHkXmXU2k5VVhERZgWQlttCWacsttUhMSzuGGRVhyuLpPqe0mlDLa8DjwXWgOJfi5tRUIriu-Zk_CGy9ViYInl5qn76ycrk8sKNfslsI$ >)*

*Website:*
https://urldefense.com/v3/__https://icfp26.sigplan.org/home/mlfamilyworkshop-2026__;!!IBzWLUs!RHkXmXU2k5VVhERZgWQlttCWacsttUhMSzuGGRVhyuLpPqe0mlDLa8DjwXWgOJfi5tRUIriu-Zk_CGy9ViYInl5qn76ycrk8sCo3pU7F$ 
*
*
*         Submission Link:*
https://urldefense.com/v3/__https://ml2026.hotcrp.com/__;!!IBzWLUs!RHkXmXU2k5VVhERZgWQlttCWacsttUhMSzuGGRVhyuLpPqe0mlDLa8DjwXWgOJfi5tRUIriu-Zk_CGy9ViYInl5qn76ycrk8sPCQUPqn$ 

*Submission Deadline:*
                       June 24, 2026, AoE

*
*
*## Call for Presentations*

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 2026 workshop will continue the informal approach followed
since 2010. Presentations are selected by the program committee from
submitted proposals. There are no published proceedings, so
contributions may be submitted for publication elsewhere. The main
criterion is promoting and informing the development of the entire
extended ML family and delivering a lively workshop atmosphere. 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.

Each presentation should take 20-25 minutes. The exact time will be
decided based on scheduling constraints.

*Note*: this year, the workshop will take place across two events: (1) 
co-located
with ICFP’26, and (2) co-located with FW’26 
<https://urldefense.com/v3/__https://www.irif.fr/*scherer/events/fpw-2026/announce.html__;fg!!IBzWLUs!RHkXmXU2k5VVhERZgWQlttCWacsttUhMSzuGGRVhyuLpPqe0mlDLa8DjwXWgOJfi5tRUIriu-Zk_CGy9ViYInl5qn76ycrk8sKNfslsI$ >. We will 
have a single Program
Committee to review submissions. Presenters can choose either event to
attend in-person. We also encourage remote participation, and plan to
facilitate remote presentations.

*## Scope*

We seek presentations on topics including (but not limited to):

   * Language design: abstraction, higher forms of polymorphism,
     concurrency and parallelism, distribution and mobility, staging,
     extensions for semi-structured data, generic programming,
     object systems, etc.

   * Implementation: compilers, interpreters, type checkers, partial
     evaluators, runtime systems, garbage collectors, foreign function
     interfaces, etc.

   * Type systems: inference, effects, modules, contracts, specifications
     and assertions, dynamic typing, error reporting, etc.

   * Applications: case studies, experience reports, pearls, etc.

   * Environments: libraries, tools, editors, debuggers, cross-language
     interoperability, functional data structures, etc.

   * Semantics of ML-family languages: operational and denotational
     semantics, program equivalence, parametricity, mechanization, etc.

We specifically encourage reporting what did not meet expectations or
what, despite all efforts, did not work to satisfaction.

Four kinds of submissions are solicited: Research Presentations,
Experience Reports, Demos, and Informed Positions.

   * Research Presentations: Research presentations should describe new
     ideas, experimental results, or significant advances in ML-related
     projects. We especially encourage presentations that describe work
     in progress, that outline a future research agenda, or that
     encourage lively discussion. These presentations should be
     structured in a way which can be, at least in part, of interest to
     (advanced) users.

   * Experience Reports: Users are invited to submit Experience Reports
     about their use of ML and related languages. These presentations do
     not need to contain original research but they should tell an
     interesting story to researchers or other advanced users, such as an
     innovative or unexpected use of advanced features or a description
     of the challenges they are facing or attempting to solve.

   * Demos: Live demonstrations or short tutorials should show new
     developments, interesting prototypes, or work in progress, in the
     form of tools, libraries, or applications built on or related to ML
     and related languages. (You will need to provide all the hardware
     and software required for your demo; the workshop organizers are
     only able to provide a projector.)

   * Informed Positions: A justified argument for or against a language
     feature. The argument must be substantiated, either theoretically
     (e.g., by a demonstration of (un)soundness, an inference algorithm,
     a complexity analysis), empirically or by substantial experience.
     Personal experience is accepted as justification so long as it is
     extensive and illustrated with concrete examples.


*## Submission details*

Submissions must be in the PDF format and have a short summary
(abstract) at the beginning. Submissions in the categories of
Experience Reports, Demos, or Informed Positions should indicate so in
the title or subtitle. The point of the submission should be clear
from its two first pages (PC members are not obligated to read any
further.)

Submissions must be uploaded to the workshop submission website before
the submission deadline.

Only the short summary/abstract of accepted submissions will be
published on the conference website. After acceptance, authors will
have the opportunity to attach or link to that summary any relevant
material (such as the updated submission, slides, etc.)

***Submission Website***:
https://urldefense.com/v3/__https://ml2026.hotcrp.com/__;!!IBzWLUs!RHkXmXU2k5VVhERZgWQlttCWacsttUhMSzuGGRVhyuLpPqe0mlDLa8DjwXWgOJfi5tRUIriu-Zk_CGy9ViYInl5qn76ycrk8sPCQUPqn$ 

***Workshop Website***:
https://urldefense.com/v3/__https://icfp26.sigplan.org/home/mlfamilyworkshop-2026__;!!IBzWLUs!RHkXmXU2k5VVhERZgWQlttCWacsttUhMSzuGGRVhyuLpPqe0mlDLa8DjwXWgOJfi5tRUIriu-Zk_CGy9ViYInl5qn76ycrk8sCo3pU7F$ 


*## Dates and Deadlines*

***Submission Deadline***:
Wednesday, June 24 AoE

***Initial Author Notification*** (most cases):
Thursday, July 23

***Final Author Notification*** (if needed):
Thursday, July 30

***Workshop Date***:
Friday, August 28


*## Program Committee*

   * Benoît Montagu (Inria, France)
   * Gabriel Scherer (Inria, France)
   * Sam Westrick (New York University, United States)
   * Clément Blaudeau (Inria, France)
   * Richard A. Eisenberg (Jane Street, United States)
   * Kavon Farvardin (Apple, United States)
   * Kiran Gopinathan (Basis, United States)
   * Magnus Madsen (Aarhus University, Denmark)
   * Alexandre Moine (New York University, United States)
   * Dominic Orchard (University of Cambridge; University of Kent, 
United Kingdom)
   * Lionel Parreaux (HKUST (The Hong Kong University of Science and 
Technology), Hong Kong SAR China)
   * Gabriel Radanne (Inria, France)
   * Takafumi Saikawa (Nagoya University, Japan)
   * Milla Valnet (Sorbonne Université, France)
   * Michael Vollmer (University of Kent, United Kingdom)
   * Ningning Xie (University of Toronto, Canada)
   * Yizhou Zhang (University of Waterloo, Canada)

*## Past Iterations*

2025: https://urldefense.com/v3/__https://conf.researchr.org/home/icfp-splash-2025/mlsymposium-2025__;!!IBzWLUs!RHkXmXU2k5VVhERZgWQlttCWacsttUhMSzuGGRVhyuLpPqe0mlDLa8DjwXWgOJfi5tRUIriu-Zk_CGy9ViYInl5qn76ycrk8sFLK4IzL$ 
2024: https://urldefense.com/v3/__https://icfp24.sigplan.org/home/mlworkshop-2024__;!!IBzWLUs!RHkXmXU2k5VVhERZgWQlttCWacsttUhMSzuGGRVhyuLpPqe0mlDLa8DjwXWgOJfi5tRUIriu-Zk_CGy9ViYInl5qn76ycrk8sHflwpd8$  
<https://urldefense.com/v3/__https://icfp24.sigplan.org/home/mlworkshop-2024__;!!IBzWLUs!VOmScKOiPQy29hWdBZEtCL-U23TdFp6wsuAIjeS1xwRpGUwM8u8XG7lKnJ6srFlEF_bnvC1Ah3jdKIWcXyeD-XHF94N9hn8$>
2023: https://urldefense.com/v3/__https://icfp23.sigplan.org/home/mlworkshop-2023__;!!IBzWLUs!RHkXmXU2k5VVhERZgWQlttCWacsttUhMSzuGGRVhyuLpPqe0mlDLa8DjwXWgOJfi5tRUIriu-Zk_CGy9ViYInl5qn76ycrk8sAiqo48a$  
<https://urldefense.com/v3/__https://icfp23.sigplan.org/home/mlworkshop-2023__;!!IBzWLUs!VOmScKOiPQy29hWdBZEtCL-U23TdFp6wsuAIjeS1xwRpGUwM8u8XG7lKnJ6srFlEF_bnvC1Ah3jdKIWcXyeD-XHFIqUIJEk$>
2022: https://urldefense.com/v3/__https://icfp22.sigplan.org/home/mlfamilyworkshop-2022__;!!IBzWLUs!RHkXmXU2k5VVhERZgWQlttCWacsttUhMSzuGGRVhyuLpPqe0mlDLa8DjwXWgOJfi5tRUIriu-Zk_CGy9ViYInl5qn76ycrk8sIVkpCLq$  
<https://urldefense.com/v3/__https://icfp22.sigplan.org/home/mlfamilyworkshop-2022__;!!IBzWLUs!VOmScKOiPQy29hWdBZEtCL-U23TdFp6wsuAIjeS1xwRpGUwM8u8XG7lKnJ6srFlEF_bnvC1Ah3jdKIWcXyeD-XHFkom5Joc$>
2021: https://urldefense.com/v3/__https://icfp21.sigplan.org/home/mlfamilyworkshop-2021__;!!IBzWLUs!RHkXmXU2k5VVhERZgWQlttCWacsttUhMSzuGGRVhyuLpPqe0mlDLa8DjwXWgOJfi5tRUIriu-Zk_CGy9ViYInl5qn76ycrk8sBxQc-IT$  
<https://urldefense.com/v3/__https://icfp21.sigplan.org/home/mlfamilyworkshop-2021__;!!IBzWLUs!VOmScKOiPQy29hWdBZEtCL-U23TdFp6wsuAIjeS1xwRpGUwM8u8XG7lKnJ6srFlEF_bnvC1Ah3jdKIWcXyeD-XHF7b_Cr2Y$>

More info: https://urldefense.com/v3/__https://www.mlworkshop.org/home__;!!IBzWLUs!RHkXmXU2k5VVhERZgWQlttCWacsttUhMSzuGGRVhyuLpPqe0mlDLa8DjwXWgOJfi5tRUIriu-Zk_CGy9ViYInl5qn76ycrk8sPqdBLUt$  
<https://urldefense.com/v3/__https://www.mlworkshop.org/home__;!!IBzWLUs!VOmScKOiPQy29hWdBZEtCL-U23TdFp6wsuAIjeS1xwRpGUwM8u8XG7lKnJ6srFlEF_bnvC1Ah3jdKIWcXyeD-XHFuGvvR90$>

*## Coordination with the OCaml Users and Developers Workshop*

The OCaml workshop is seen as more practical and is dedicated in
significant part to OCaml community building and the development of
the OCaml system. In contrast, the ML family workshop is not focused
on any language in particular, is more research-oriented, and deals
with general issues of ML-style programming and type systems. There
is some overlap, which we are keen to explore in various ways. The
authors who feel their submission fits both workshops are encouraged
to mention it at submission time or contact the program chairs.
*

*

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20260520/81cebaa8/attachment-0001.htm>