<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div class=""><b class=""><font face="Menlo" class=""><br class=""></font></b></div><div class=""><b class=""><font face="Menlo" class=""> Higher-order, Typed, Inferred, Strict:</font></b></div><div class=""><b class=""><font face="Menlo" class=""> ML Family Workshop 2025</font></b></div><div class=""><b class=""><font face="Menlo" class=""> October 16, 2025, Singapore</font></b></div><div class=""><b class=""><font face="Menlo" class=""> (Co-located with ICFP/SPLASH)</font></b></div><div class=""><font face="Menlo" class=""><br class=""></font></div><div class=""><font face="Menlo" class=""> <b class="">Website:</b></font></div><div class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><font face="Menlo" class=""> <a href="https://urldefense.com/v3/__https://conf.researchr.org/home/icfp-splash-2025/mlsymposium-2025__;!!IBzWLUs!VOmScKOiPQy29hWdBZEtCL-U23TdFp6wsuAIjeS1xwRpGUwM8u8XG7lKnJ6srFlEF_bnvC1Ah3jdKIWcXyeD-XHFzllvawg$" class="">https://conf.researchr.org/home/icfp-splash-2025/mlsymposium-2025</a></font></span></div><div class=""><b class=""><font face="Menlo" class=""><br class=""></font></b></div><div class=""><b class=""><font face="Menlo" class=""> Submission Link:</font></b></div><div class=""><font face="Menlo" class=""><b class=""> </b><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><a href="https://urldefense.com/v3/__https://ml2025.hotcrp.com/__;!!IBzWLUs!VOmScKOiPQy29hWdBZEtCL-U23TdFp6wsuAIjeS1xwRpGUwM8u8XG7lKnJ6srFlEF_bnvC1Ah3jdKIWcXyeD-XHFXEq-cbs$" class="">https://ml2025.hotcrp.com/</a></span></font></div><div class=""><font face="Menlo" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><br class=""></span></font></div><div class=""><font face="Menlo" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""> <b class="">Submission Deadline:</b></span></font></div><div class=""><font face="Menlo" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""> June 19, 2025, AoE</span></font></div><div class=""><font face="Menlo" class=""><br class=""></font></div><div class=""><b class=""><font size="4" face="Menlo" class=""><br class=""></font></b></div><div class=""><b class=""><font size="4" face="Menlo" class="">## Call for Presentations</font></b></div><div class=""><font face="Menlo" class=""><br class=""></font></div><div class=""><font face="Menlo" class="">ML (originally, "Meta Language") is a family of programming languages</font></div><div class=""><font face="Menlo" class="">that includes dialects known as Standard ML, OCaml, and F#, among</font></div><div class=""><font face="Menlo" class="">others. The development of these languages has inspired a large amount</font></div><div class=""><font face="Menlo" class="">of computer science research, both practical and theoretical.</font></div><div class=""><font face="Menlo" class=""><br class=""></font></div><div class=""><font face="Menlo" class="">The ML 2025 workshop will continue the informal approach followed</font></div><div class=""><font face="Menlo" class="">since 2010. Presentations are selected by the program committee from</font></div><div class=""><font face="Menlo" class="">submitted proposals. There are no published proceedings, so</font></div><div class=""><font face="Menlo" class="">contributions may be submitted for publication elsewhere. The main</font></div><div class=""><font face="Menlo" class="">criterion is promoting and informing the development of the entire</font></div><div class=""><font face="Menlo" class="">extended ML family and delivering a lively workshop atmosphere. We</font></div><div class=""><font face="Menlo" class="">particularly encourage talks about works in progress, presentations of</font></div><div class=""><font face="Menlo" class="">negative results (things that were expected to but did not quite work</font></div><div class=""><font face="Menlo" class="">out) and informed positions.</font></div><div class=""><font face="Menlo" class=""><br class=""></font></div><div class=""><font face="Menlo" class="">Each presentation should take 20-25 minutes. The exact time will be</font></div><div class=""><font face="Menlo" class="">decided based on scheduling constraints.</font></div><div class=""><font face="Menlo" class=""><br class=""></font></div><div class=""><font face="Menlo" class="">We plan the workshop to an be in-person event with remote</font></div><div class=""><font face="Menlo" class="">participation (streamed live). We hope that speakers are able to</font></div><div class=""><font face="Menlo" class="">present in person. If a speaker is unable to attend, they may</font></div><div class=""><font face="Menlo" class="">instead present remotely.</font></div><div class=""><font face="Menlo" class=""><br class=""></font></div><div class=""><font face="Menlo" class="">The 2025 ML Family Workshop is co-located with ICFP/SPLASH 2025</font></div><div class=""><font face="Menlo" class="">and will take place on <b class="">**October 16, 2025**</b> in Singapore.</font></div><div class=""><font face="Menlo" class=""><br class=""></font></div><div class=""><b class=""><font size="4" face="Menlo" class="">## Scope</font></b></div><div class=""><font face="Menlo" class=""><br class=""></font></div><div class=""><font face="Menlo" class="">We seek presentations on topics including (but not limited to):</font></div><div class=""><font face="Menlo" class=""><br class=""></font></div><div class=""><font face="Menlo" class=""> * Language design: abstraction, higher forms of polymorphism,</font></div><div class=""><font face="Menlo" class=""> concurrency and parallelism, distribution and mobility, staging,</font></div><div class=""><font face="Menlo" class=""> extensions for semi-structured data, generic programming,</font></div><div class=""><font face="Menlo" class=""> object systems, etc.</font></div><div class=""><font face="Menlo" class=""><br class=""></font></div><div class=""><font face="Menlo" class=""> * Implementation: compilers, interpreters, type checkers, partial</font></div><div class=""><font face="Menlo" class=""> evaluators, runtime systems, garbage collectors, foreign function</font></div><div class=""><font face="Menlo" class=""> interfaces, etc.</font></div><div class=""><font face="Menlo" class=""><br class=""></font></div><div class=""><font face="Menlo" class=""> * Type systems: inference, effects, modules, contracts, specifications</font></div><div class=""><font face="Menlo" class=""> and assertions, dynamic typing, error reporting, etc.</font></div><div class=""><font face="Menlo" class=""><br class=""></font></div><div class=""><font face="Menlo" class=""> * Applications: case studies, experience reports, pearls, etc.</font></div><div class=""><font face="Menlo" class=""><br class=""></font></div><div class=""><font face="Menlo" class=""> * Environments: libraries, tools, editors, debuggers, cross-language</font></div><div class=""><font face="Menlo" class=""> interoperability, functional data structures, etc.</font></div><div class=""><font face="Menlo" class=""><br class=""></font></div><div class=""><font face="Menlo" class=""> * Semantics of ML-family languages: operational and denotational</font></div><div class=""><font face="Menlo" class=""> semantics, program equivalence, parametricity, mechanization, etc.</font></div><div class=""><font face="Menlo" class=""><br class=""></font></div><div class=""><font face="Menlo" class="">We specifically encourage reporting what did not meet expectations or</font></div><div class=""><font face="Menlo" class="">what, despite all efforts, did not work to satisfaction.</font></div><div class=""><font face="Menlo" class=""><br class=""></font></div><div class=""><font face="Menlo" class="">Four kinds of submissions are solicited: Research Presentations,</font></div><div class=""><font face="Menlo" class="">Experience Reports, Demos, and Informed Positions.</font></div><div class=""><font face="Menlo" class=""><br class=""></font></div><div class=""><font face="Menlo" class=""> * Research Presentations: Research presentations should describe new</font></div><div class=""><font face="Menlo" class=""> ideas, experimental results, or significant advances in ML-related</font></div><div class=""><font face="Menlo" class=""> projects. We especially encourage presentations that describe work</font></div><div class=""><font face="Menlo" class=""> in progress, that outline a future research agenda, or that</font></div><div class=""><font face="Menlo" class=""> encourage lively discussion. These presentations should be</font></div><div class=""><font face="Menlo" class=""> structured in a way which can be, at least in part, of interest to</font></div><div class=""><font face="Menlo" class=""> (advanced) users.</font></div><div class=""><font face="Menlo" class=""><br class=""></font></div><div class=""><font face="Menlo" class=""> * Experience Reports: Users are invited to submit Experience Reports</font></div><div class=""><font face="Menlo" class=""> about their use of ML and related languages. These presentations do</font></div><div class=""><font face="Menlo" class=""> not need to contain original research but they should tell an</font></div><div class=""><font face="Menlo" class=""> interesting story to researchers or other advanced users, such as an</font></div><div class=""><font face="Menlo" class=""> innovative or unexpected use of advanced features or a description</font></div><div class=""><font face="Menlo" class=""> of the challenges they are facing or attempting to solve.</font></div><div class=""><font face="Menlo" class=""><br class=""></font></div><div class=""><font face="Menlo" class=""> * Demos: Live demonstrations or short tutorials should show new</font></div><div class=""><font face="Menlo" class=""> developments, interesting prototypes, or work in progress, in the</font></div><div class=""><font face="Menlo" class=""> form of tools, libraries, or applications built on or related to ML</font></div><div class=""><font face="Menlo" class=""> and related languages. (You will need to provide all the hardware</font></div><div class=""><font face="Menlo" class=""> and software required for your demo; the workshop organizers are</font></div><div class=""><font face="Menlo" class=""> only able to provide a projector.)</font></div><div class=""><font face="Menlo" class=""><br class=""></font></div><div class=""><font face="Menlo" class=""> * Informed Positions: A justified argument for or against a language</font></div><div class=""><font face="Menlo" class=""> feature. The argument must be substantiated, either theoretically</font></div><div class=""><font face="Menlo" class=""> (e.g., by a demonstration of (un)soundness, an inference algorithm,</font></div><div class=""><font face="Menlo" class=""> a complexity analysis), empirically or by substantial experience.</font></div><div class=""><font face="Menlo" class=""> Personal experience is accepted as justification so long as it is</font></div><div class=""><font face="Menlo" class=""> extensive and illustrated with concrete examples.</font></div><div class=""><font face="Menlo" class=""><br class=""></font></div><div class=""><font face="Menlo" class=""><br class=""></font></div><div class=""><b class=""><font size="4" face="Menlo" class="">## Submission details</font></b></div><div class=""><font face="Menlo" class=""><br class=""></font></div><div class=""><font face="Menlo" class="">Submissions must be in the PDF format and have a short summary</font></div><div class=""><font face="Menlo" class="">(abstract) at the beginning. Submissions in the categories of</font></div><div class=""><font face="Menlo" class="">Experience Reports, Demos, or Informed Positions should indicate so in</font></div><div class=""><font face="Menlo" class="">the title or subtitle. The point of the submission should be clear</font></div><div class=""><font face="Menlo" class="">from its two first pages (PC members are not obligated to read any</font></div><div class=""><font face="Menlo" class="">further.)</font></div><div class=""><font face="Menlo" class=""><br class=""></font></div><div class=""><font face="Menlo" class="">Submissions must be uploaded to the workshop submission website before</font></div><div class=""><font face="Menlo" class="">the submission deadline.</font></div><div class=""><font face="Menlo" class=""><br class=""></font></div><div class=""><font face="Menlo" class="">Only the short summary/abstract of accepted submissions will be</font></div><div class=""><font face="Menlo" class="">published on the conference website. After acceptance, authors will</font></div><div class=""><font face="Menlo" class="">have the opportunity to attach or link to that summary any relevant</font></div><div class=""><font face="Menlo" class="">material (such as the updated submission, slides, etc.)</font></div><div class=""><font face="Menlo" class=""><br class=""></font></div><div class=""><font face="Menlo" class=""><b class="">**Submission Website**</b>:</font></div><div class=""><font face="Menlo" class=""><a href="https://urldefense.com/v3/__https://ml2025.hotcrp.com/__;!!IBzWLUs!VOmScKOiPQy29hWdBZEtCL-U23TdFp6wsuAIjeS1xwRpGUwM8u8XG7lKnJ6srFlEF_bnvC1Ah3jdKIWcXyeD-XHFXEq-cbs$" class="">https://ml2025.hotcrp.com/</a></font></div><div class=""><font face="Menlo" class=""><br class=""></font></div><div class=""><font face="Menlo" class=""><b class="">**Workshop Website**</b>:</font></div><div class=""><font face="Menlo" class=""><a href="https://urldefense.com/v3/__https://conf.researchr.org/home/icfp-splash-2025/mlsymposium-2025__;!!IBzWLUs!VOmScKOiPQy29hWdBZEtCL-U23TdFp6wsuAIjeS1xwRpGUwM8u8XG7lKnJ6srFlEF_bnvC1Ah3jdKIWcXyeD-XHFzllvawg$" class="">https://conf.researchr.org/home/icfp-splash-2025/mlsymposium-2025</a></font></div><div class=""><font face="Menlo" class=""><br class=""></font></div><div class=""><font face="Menlo" class=""><br class=""></font></div><div class=""><b class=""><font size="4" face="Menlo" class="">## Dates and Deadlines</font></b></div><div class=""><font face="Menlo" class=""><br class=""></font></div><div class=""><font face="Menlo" class=""><b class="">**Submission Deadline**</b>:</font></div><div class=""><font face="Menlo" class="">Thursday, June 19 AoE</font></div><div class=""><font face="Menlo" class=""><br class=""></font></div><div class=""><font face="Menlo" class=""><b class="">**Initial Author Notification**</b> (most cases):</font></div><div class=""><font face="Menlo" class="">Thursday, July 31</font></div><div class=""><font face="Menlo" class=""><br class=""></font></div><div class=""><font face="Menlo" class=""><b class="">**Final Author Notification**</b> (if needed):</font></div><div class=""><font face="Menlo" class="">Thursday, Aug 7</font></div><div class=""><font face="Menlo" class=""><br class=""></font></div><div class=""><font face="Menlo" class=""><b class="">**Workshop Date**</b>:</font></div><div class=""><font face="Menlo" class="">Thursday, Oct 16</font></div><div class=""><font face="Menlo" class=""><br class=""></font></div><div class=""><font face="Menlo" class=""><br class=""></font></div><div class=""><b style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: Menlo;" class=""><font size="4" class="">## Program Committee</font></b></div><div class=""><font face="Menlo" class=""><br class=""></font></div><div class=""><font face="Menlo" class=""><div class=""> * Sam Westrick (New York University, USA) (Chair)</div><div class=""> * Michael D. Adams (National University of Singapore, Singapore)</div><div class=""> * Jonathan Brachthäuser (University of Tübingen, Germany)</div><div class=""> * Chris Casinghino (Jane Street, USA)</div><div class=""> * Arthur Charguéraud (INRIA, France)</div><div class=""> * Kiran Gopinathan (University of Illinois Urbana-Champaign, USA)</div><div class=""> * Mirai Ikebuchi (Kyoto University, Japan)</div><div class=""> * Keigo Imai (DeNA Co., Ltd., Japan)</div><div class=""> * Anton Lorenzen (University of Edinburgh, UK)</div><div class=""> * Cyrus Omar (University of Michigan, USA)</div><div class=""> * Zoe Paraskevopoulou (National Technical University of Athens, Greece)</div><div class=""> * Filip Sieczkowski (Heriot-Watt University, UK)</div><div class=""> * Yong Kiam Tan (A*STAR Institute for Infocomm Research, Singapore)</div><div class=""> * Yuting Wang (Shanghai Jiao Tong University, China)</div></font></div><div class=""><font face="Menlo" class=""><br class=""></font></div><div class=""><font face="Menlo" size="4" class=""><b class="">## Past Iterations</b></font></div><div class=""><font face="Menlo" class=""><br class=""></font></div><div class=""><font face="Menlo" class="">2024: <a href="https://urldefense.com/v3/__https://icfp24.sigplan.org/home/mlworkshop-2024__;!!IBzWLUs!VOmScKOiPQy29hWdBZEtCL-U23TdFp6wsuAIjeS1xwRpGUwM8u8XG7lKnJ6srFlEF_bnvC1Ah3jdKIWcXyeD-XHF94N9hn8$" class="">https://icfp24.sigplan.org/home/mlworkshop-2024</a></font></div><div class=""><font face="Menlo" class="">2023: <a href="https://urldefense.com/v3/__https://icfp23.sigplan.org/home/mlworkshop-2023__;!!IBzWLUs!VOmScKOiPQy29hWdBZEtCL-U23TdFp6wsuAIjeS1xwRpGUwM8u8XG7lKnJ6srFlEF_bnvC1Ah3jdKIWcXyeD-XHFIqUIJEk$" class="">https://icfp23.sigplan.org/home/mlworkshop-2023</a></font></div><div class=""><font face="Menlo" class="">2022: <a href="https://urldefense.com/v3/__https://icfp22.sigplan.org/home/mlfamilyworkshop-2022__;!!IBzWLUs!VOmScKOiPQy29hWdBZEtCL-U23TdFp6wsuAIjeS1xwRpGUwM8u8XG7lKnJ6srFlEF_bnvC1Ah3jdKIWcXyeD-XHFkom5Joc$" class="">https://icfp22.sigplan.org/home/mlfamilyworkshop-2022</a></font></div><div class=""><font face="Menlo" class="">2021: <a href="https://urldefense.com/v3/__https://icfp21.sigplan.org/home/mlfamilyworkshop-2021__;!!IBzWLUs!VOmScKOiPQy29hWdBZEtCL-U23TdFp6wsuAIjeS1xwRpGUwM8u8XG7lKnJ6srFlEF_bnvC1Ah3jdKIWcXyeD-XHF7b_Cr2Y$" class="">https://icfp21.sigplan.org/home/mlfamilyworkshop-2021</a></font></div><div class=""><font face="Menlo" class=""><br class=""></font></div><div class=""><font face="Menlo" class="">More info: <a href="https://urldefense.com/v3/__https://www.mlworkshop.org/home__;!!IBzWLUs!VOmScKOiPQy29hWdBZEtCL-U23TdFp6wsuAIjeS1xwRpGUwM8u8XG7lKnJ6srFlEF_bnvC1Ah3jdKIWcXyeD-XHFuGvvR90$" class="">https://www.mlworkshop.org/home</a></font></div><div class=""><font face="Menlo" class=""><br class=""></font></div><div class=""><b class=""><font size="4" face="Menlo" class="">## Coordination with the OCaml Users and Developers Workshop</font></b></div><div class=""><font face="Menlo" class=""><br class=""></font></div><div class=""><font face="Menlo" class="">The OCaml workshop is seen as more practical and is dedicated in</font></div><div class=""><font face="Menlo" class="">significant part to OCaml community building and the development of</font></div><div class=""><font face="Menlo" class="">the OCaml system. In contrast, the ML family workshop is not focused</font></div><div class=""><font face="Menlo" class="">on any language in particular, is more research-oriented, and deals</font></div><div class=""><font face="Menlo" class="">with general issues of ML-style programming and type systems. There</font></div><div class=""><font face="Menlo" class="">is some overlap, which we are keen to explore in various ways. The</font></div><div class=""><font face="Menlo" class="">authors who feel their submission fits both workshops are encouraged</font></div><div class=""><font face="Menlo" class="">to mention it at submission time or contact the program chairs.</font></div><div class=""><font face="Menlo" class=""><b class=""><br class=""></b></font></div><div class=""><font face="Menlo" class=""><b class=""><br class=""></b></font></div><div class=""><font face="Menlo" class=""><br class=""></font></div></body></html>