============================================================================== CALL FOR TALKS - OCaml Workshop 2026 ============================================================================== Hi all! This year's OCaml workshop will take place in Paris. We are happy to invite submissions to the workshop. ------------------------------------------------------------------------------ Important Information ------------------------------------------------------------------------------ Location: Paris (co-located with FPW 2026 ) Date: August 27th (Subject to change! Possible alternative: August 31st) Submission deadline: July 1st, AoE Speaker notification: July 27th Submission website: https://types-hotcrp.paris.inria.fr/ocaml26/ ------------------------------------------------------------------------------ Scope ------------------------------------------------------------------------------ The OCaml Workshop welcomes a broad audience of OCaml users ranging from enthusiasts who are discovering the magic of OCaml to wizards well-proficient in the casting of unsafe spells. Their common denominator is their passion for OCaml and the desire to learn more, connect with fellow OCamlers, and collectively find ways to improve the language. We invite talk proposals just as broad: anything OCaml related is welcome! The topics are not limited to the following, but, to give an idea, examples from previous years include: OCaml editing tools, verified OCaml artefacts, interoperability between OCaml and other languages, the OCaml code of conduct, compiler optimisations, OS portability, OCaml testing frameworks, packages for concurrency in OCaml, etc. The full catalogue from previous editions can be accessed through the links below: 2025: https://ocaml.org/conferences/ocaml-workshop-2025 2024: https://ocaml.org/conferences/ocaml-workshop-2024 2023: https://ocaml.org/conferences/ocaml-workshop-2023 2022: https://ocaml.org/conferences/ocaml-workshop-2022 2021: https://ocaml.org/conferences/ocaml-workshop-2021 ------------------------------------------------------------------------------ Format ------------------------------------------------------------------------------ In addition to the Standard Talk format of 20 minutes, we allow the following formats: Demo. 30 minutes tutorial-style demonstration of a tool. Informed Position. 20 minutes presentation on topics in the design space of OCaml (such as, but not limited to, the inclusion or removal of a feature). Experience Report. 20 minutes report on the use of OCaml or a tool. ------------------------------------------------------------------------------ Submission ------------------------------------------------------------------------------ The submission website is available at: https://types-hotcrp.paris.inria.fr/ocaml26/ Please submit a description of the talk (typically two to three pages long; it could also be less or more): the problems that are addressed and the solutions or methods that are proposed. If you believe the delivery itself is a unique feature of the talk, please feel free to also include a description of how you plan to deliver the talk. LaTeX-produced PDFs are common but not required. Last year's accepted presentations are available online: https://icfp25.sigplan.org/home/ocaml-2025#event-overview ------------------------------------------------------------------------------ Evaluation Criteria ------------------------------------------------------------------------------ We will evaluate submissions according to: Relevance for the OCaml community Rigor and soundness Novelty Clarity Potential to deliver an engaging and informative presentation ------------------------------------------------------------------------------ Recommendations on LLM Usage ------------------------------------------------------------------------------ Proposals largely written by LLMs are not acceptable and will be desk-rejected. The use of LLMs to correct grammar and enhance style is perfectly fine (especially if English is not your first language), but their use to produce material directly is dangerous and unprofessional, and undermines both authorship and reviewer effort. ------------------------------------------------------------------------------ Location Information ------------------------------------------------------------------------------ This edition of the Caml Workshop will be located in Paris as part of Functional Programming Workshops (FPW) 2026, alongside other workshops and events taking place at the end of August. This is a departure from the usual habit of having the OCaml Workshop co-located with ICFP. Because some FPW'26 events are bi-located with ICFP, the events will take place at roughly the same dates. ------------------------------------------------------------------------------ Co-ordination with ML Workshop ------------------------------------------------------------------------------ The ML Family Workshop is also co-located with FW '26 this year and may be of interest to attendees. While the OCaml Workshop focuses on developments in the OCaml ecosystem, the ML Workshop is language- agnostic and more research oriented. Authors whose submissions fit both venues are welcome to indicate this at submission time or reach out to the program chairs. ------------------------------------------------------------------------------ Program Committee ------------------------------------------------------------------------------ Clément Allain Pedro Carrott Simon Cruanes Marko Doko Patrick Ferris Jean-Christophe Filliâtre Sadiq Jaffer Robbert Krebbers Vincent Laviron Tim McGilchrist António Monteiro Carine Morel Andreas Rossberg Vimala Soundarapandian Jérôme Vouillon John Whitington Paulo de Vilhena (Chair) Sudha Parimala (Chair) ------------------------------------------------------------------------------ We look forward to reading your submissions! Please get in touch with us if you have any questions. Best regards, Paulo De Vilhena Sudha Parimala