Call for Talk Proposals @ OCaml Workshop 2026

Community
,
1

Hi all! This year’s OCaml workshop will take place in Paris. We are happy to invite submissions to the workshop.

image
image1280×610 199 KB

Important Information

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 cast 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:

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.

Paulo De Vilhena and Sudha Parimala

14 Likes
2

The website is now live at OCaml Workshop 2026. Please refer to it for the latest information!

The submission deadline is roughly three weeks away! Please consider submitting your work.

2 Likes
3

Thanks for organising, Sudha! I’m not sure what ‘bilocated’ means; what happens if I’m planning to attend ICFP? Is the idea to remotely present from ICFP to the Paris venue?

I haven’t been purview to the behind-the-scenes of the decision to split from ICFP, but it seems a little unfortunate for FPW to ‘compete’ with the same date rather than be offset by a week or two. I completely understand the difficulties with traveling to the US right now, of course.

4

Thanks for raising this, Anil!

To clarify, when Paulo and I took charge of organizing, the venue and dates for FPW had already been decided. This is just to state that we were not involved in these decisions at the time (perhaps @gasche and other FPW organizers could address this better). However, we learned that discussion regarding this has been happening on the TYPES mailing list, this Zulip thread, and various conference committees. As you mentioned, a major factor in this decision is the difficulty of traveling to the US.

To clarify about bi-located: For the OCaml Workshop, bi-located means we will stream the talks at ICFP (we are still discussing the details though). Do you (or anyone else) plan to attend ICFP and would like to give a talk at the OCaml workshop? If so, we can try to arrange things to allow remote presentations from ICFP, but please contact us soon.. To potentially allow this, we already moved the date to August 24 to not overlap with the main ICFP conference. Because some of the events at FPW, like the ML family workshop, are bi-located, FPW and ICFP are happening at roughly the same time.

I hope this clarifies some things. This is a first for all of us, and some details are still being fleshed out. You will hear from us on the updates - feel free to reach out with any questions in the meantime.

2 Likes
5

The initial plan was to have FPW’26 on a separate week to avoid interference, but then some workshops (ML, HOPE) decided that they really wanted to be bi-localized (to happen in the two places at the same time), and the choice of being on the same dates formed a consensus among the workshop organizers (the former chairs of OCaml & ML who participated to the discussion of where and when to organize FPW’26).

what happens if I’m planning to attend ICFP?

Then I would recommend focusing on enjoying ICFP :slight_smile:

(We will try to stream the OCaml’26 and other FPW’26 talks, and online participation will be free, so of course you are welcome to join.)

My understanding from discussions with @sabine is that Fun OCaml should also happen in Fall 2026, so if you miss the OCaml Workshop there should be other opportunities for OCaml community events.

6

Thanks for organizing this, Sudha. For the workshop, is a remote presentation possible for accepted speakers who do not have the funds to travel? I saw that for OCaml Workshop 2025, talks were able to be given remotely.