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