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