{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreie4ndcueb5wvgnzkcozcgakt564hdixqrr3az357ob6ogz6xexp4a",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mmbqu2yrqfh2"
  },
  "path": "/t/call-for-presentations-ml-family-workshop-2026/14134#post_1",
  "publishedAt": "2026-05-20T09:15:18.000Z",
  "site": "https://discourse.haskell.org",
  "tags": [
    "icfp26.sigplan.org",
    "ML Family Workshop 2026 - ICFP 2026",
    "ml2026.hotcrp.com",
    "ML2026"
  ],
  "textContent": "# Higher-order, Typed, Inferred, Strict: ML Family Workshop 2026\n\n**August 28, 2026**\n\n**Indianapolis (Co-located with ICFP’26) + Paris (Co-located with FW’26)**\n\n**Website:**\n\nicfp26.sigplan.org\n\n### ML Family Workshop 2026 - ICFP 2026\n\nML is a large family of programming languages that includes Standard ML, OCaml, F#, CakeML, SML#, Manticore, MetaOCaml, JoCaml, Alice ML, Dependent ML, Flow Caml, Reason ML, Flix, MaPLe, and many others. All ML languages, besides a great deal of...\n\n**Submission Link:**\n\nml2026.hotcrp.com\n\n### ML2026\n\n**Submission Deadline:**\n\nJune 24, 2026, AoE\n\n## Call for Presentations\n\nML (originally, “Meta Language”) is a family of programming languages\nthat includes dialects known as Standard ML, OCaml, and F#, among\nothers. The development of these languages has inspired a large amount\nof computer science research, both practical and theoretical.\n\nThe ML 2026 workshop will continue the informal approach followed\nsince 2010. Presentations are selected by the program committee from\nsubmitted proposals. There are no published proceedings, so\ncontributions may be submitted for publication elsewhere. The main\ncriterion is promoting and informing the development of the entire\nextended ML family and delivering a lively workshop atmosphere. We\nparticularly encourage talks about works in progress, presentations of\nnegative results (things that were expected to but did not quite work\nout) and informed positions.\n\nEach presentation should take 20-25 minutes. The exact time will be\ndecided based on scheduling constraints.\n\n**Note** : this year, the workshop will take place across two events: (1) co-located\nwith ICFP’26, and (2) co-located with FW’26. We will have a single Program\nCommittee to review submissions. Presenters can choose either event to\nattend in-person. We also encourage remote participation, and plan to\nfacilitate remote presentations.\n\nICFP website: `https://icfp26.sigplan.org/`\nFW’26 website: `https://www.irif.fr/~scherer/events/fpw-2026/announce.html`\n\n## Scope\n\nWe seek presentations on topics including (but not limited to):\n\n  * Language design: abstraction, higher forms of polymorphism,\nconcurrency and parallelism, distribution and mobility, staging,\nextensions for semi-structured data, generic programming,\nobject systems, etc.\n\n  * Implementation: compilers, interpreters, type checkers, partial\nevaluators, runtime systems, garbage collectors, foreign function\ninterfaces, etc.\n\n  * Type systems: inference, effects, modules, contracts, specifications\nand assertions, dynamic typing, error reporting, etc.\n\n  * Applications: case studies, experience reports, pearls, etc.\n\n  * Environments: libraries, tools, editors, debuggers, cross-language\ninteroperability, functional data structures, etc.\n\n  * Semantics of ML-family languages: operational and denotational\nsemantics, program equivalence, parametricity, mechanization, etc.\n\n\n\n\nWe specifically encourage reporting what did not meet expectations or\nwhat, despite all efforts, did not work to satisfaction.\n\nFour kinds of submissions are solicited: Research Presentations,\nExperience Reports, Demos, and Informed Positions.\n\n  * Research Presentations: Research presentations should describe new\nideas, experimental results, or significant advances in ML-related\nprojects. We especially encourage presentations that describe work\nin progress, that outline a future research agenda, or that\nencourage lively discussion. These presentations should be\nstructured in a way which can be, at least in part, of interest to\n(advanced) users.\n\n  * Experience Reports: Users are invited to submit Experience Reports\nabout their use of ML and related languages. These presentations do\nnot need to contain original research but they should tell an\ninteresting story to researchers or other advanced users, such as an\ninnovative or unexpected use of advanced features or a description\nof the challenges they are facing or attempting to solve.\n\n  * Demos: Live demonstrations or short tutorials should show new\ndevelopments, interesting prototypes, or work in progress, in the\nform of tools, libraries, or applications built on or related to ML\nand related languages. (You will need to provide all the hardware\nand software required for your demo; the workshop organizers are\nonly able to provide a projector.)\n\n  * Informed Positions: A justified argument for or against a language\nfeature. The argument must be substantiated, either theoretically\n(e.g., by a demonstration of (un)soundness, an inference algorithm,\na complexity analysis), empirically or by substantial experience.\nPersonal experience is accepted as justification so long as it is\nextensive and illustrated with concrete examples.\n\n\n\n\n## Submission details\n\nSubmissions must be in the PDF format and have a short summary\n(abstract) at the beginning. Submissions in the categories of\nExperience Reports, Demos, or Informed Positions should indicate so in\nthe title or subtitle. The point of the submission should be clear\nfrom its two first pages (PC members are not obligated to read any\nfurther.)\n\nSubmissions must be uploaded to the workshop submission website before\nthe submission deadline.\n\nOnly the short summary/abstract of accepted submissions will be\npublished on the conference website. After acceptance, authors will\nhave the opportunity to attach or link to that summary any relevant\nmaterial (such as the updated submission, slides, etc.)\n\n****Submission Website**** : `https://ml2026.hotcrp.com/`\n\n****Workshop Website**** : `https://icfp26.sigplan.org/home/mlfamilyworkshop-2026`\n\n## Dates and Deadlines\n\n****Submission Deadline**** : Wednesday, June 24 AoE\n\n****Initial Author Notification**** (most cases): Thursday, July 23\n\n****Final Author Notification**** (if needed): Thursday, July 30\n\n****Workshop Date**** : Friday, August 28\n\n## Program Committee\n\n  * Benoît Montagu (Inria, France)\n  * Gabriel Scherer (Inria, France)\n  * Sam Westrick (New York University, United States)\n  * Clément Blaudeau (Inria, France)\n  * Richard A. Eisenberg (Jane Street, United States)\n  * Kavon Farvardin (Apple, United States)\n  * Kiran Gopinathan (Basis, United States)\n  * Magnus Madsen (Aarhus University, Denmark)\n  * Alexandre Moine (New York University, United States)\n  * Dominic Orchard (University of Cambridge; University of Kent, United Kingdom)\n  * Lionel Parreaux (HKUST (The Hong Kong University of Science and Technology), Hong Kong SAR China)\n  * Gabriel Radanne (Inria, France)\n  * Takafumi Saikawa (Nagoya University, Japan)\n  * Milla Valnet (Sorbonne Université, France)\n  * Michael Vollmer (University of Kent, United Kingdom)\n  * Ningning Xie (University of Toronto, Canada)\n  * Yizhou Zhang (University of Waterloo, Canada)\n\n\n\n## Past Iterations\n\n2025: `https://conf.researchr.org/home/icfp-splash-2025/mlsymposium-2025`\n\n2024: `https://icfp24.sigplan.org/home/mlworkshop-2024`\n\n2023: `https://icfp23.sigplan.org/home/mlworkshop-2023`\n\n2022: `https://icfp22.sigplan.org/home/mlfamilyworkshop-2022`\n\n2021: `https://icfp21.sigplan.org/home/mlfamilyworkshop-2021`\n\nMore info: `https://www.mlworkshop.org/home`\n\n## Coordination with the OCaml Users and Developers Workshop\n\nThe OCaml workshop is seen as more practical and is dedicated in\nsignificant part to OCaml community building and the development of\nthe OCaml system. In contrast, the ML family workshop is not focused\non any language in particular, is more research-oriented, and deals\nwith general issues of ML-style programming and type systems. There\nis some overlap, which we are keen to explore in various ways. The\nauthors who feel their submission fits both workshops are encouraged\nto mention it at submission time or contact the program chairs.",
  "title": "Call for Presentations: ML Family Workshop 2026"
}