[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
# Call for Talk Proposals @ OCaml Workshop 2026
## Important Information
* **Location:** Paris (co-located with
FPW 2026
(https://urldefense.com/v3/__https://www.irif.fr/*scherer/events/fpw-2026/announce.html__;fg!!IBzWLUs!QyHniAgpnXqsEDpYp7ZtomI-bdThkEf6_gUgOBZE-qz78_tRLQuB14WM9Usj5953jxesrAsmb_31OtXqKXFqGkp65ZDFM0UFB1U6Sr8j$
))
* **Date:** August 27th (**Subject to change!** Possible alternative:
August 31st)
* **Submission deadline:** July 1st, AoE
* **Speaker notification:** July 27th
* **Submission website:**
https://urldefense.com/v3/__https://types-hotcrp.paris.inria.fr/ocaml26/__;!!IBzWLUs!QyHniAgpnXqsEDpYp7ZtomI-bdThkEf6_gUgOBZE-qz78_tRLQuB14WM9Usj5953jxesrAsmb_31OtXqKXFqGkp65ZDFM0UFB4CBa6q7$
## 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:
* 2025:
https://urldefense.com/v3/__https://ocaml.org/conferences/ocaml-workshop-2025__;!!IBzWLUs!QyHniAgpnXqsEDpYp7ZtomI-bdThkEf6_gUgOBZE-qz78_tRLQuB14WM9Usj5953jxesrAsmb_31OtXqKXFqGkp65ZDFM0UFB8ezmWJz$
* 2024:
https://urldefense.com/v3/__https://ocaml.org/conferences/ocaml-workshop-2024__;!!IBzWLUs!QyHniAgpnXqsEDpYp7ZtomI-bdThkEf6_gUgOBZE-qz78_tRLQuB14WM9Usj5953jxesrAsmb_31OtXqKXFqGkp65ZDFM0UFB-6nRrI0$
* 2023:
https://urldefense.com/v3/__https://ocaml.org/conferences/ocaml-workshop-2023__;!!IBzWLUs!QyHniAgpnXqsEDpYp7ZtomI-bdThkEf6_gUgOBZE-qz78_tRLQuB14WM9Usj5953jxesrAsmb_31OtXqKXFqGkp65ZDFM0UFB-gLVR5G$
* 2022:
https://urldefense.com/v3/__https://ocaml.org/conferences/ocaml-workshop-2022__;!!IBzWLUs!QyHniAgpnXqsEDpYp7ZtomI-bdThkEf6_gUgOBZE-qz78_tRLQuB14WM9Usj5953jxesrAsmb_31OtXqKXFqGkp65ZDFM0UFB8Cxl_h8$
* 2021:
https://urldefense.com/v3/__https://ocaml.org/conferences/ocaml-workshop-2021__;!!IBzWLUs!QyHniAgpnXqsEDpYp7ZtomI-bdThkEf6_gUgOBZE-qz78_tRLQuB14WM9Usj5953jxesrAsmb_31OtXqKXFqGkp65ZDFM0UFBzyKtWdd$
## 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://urldefense.com/v3/__https://types-hotcrp.paris.inria.fr/ocaml26/__;!!IBzWLUs!QyHniAgpnXqsEDpYp7ZtomI-bdThkEf6_gUgOBZE-qz78_tRLQuB14WM9Usj5953jxesrAsmb_31OtXqKXFqGkp65ZDFM0UFB4CBa6q7$
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://urldefense.com/v3/__https://icfp25.sigplan.org/home/ocaml-2025*event-overview__;Iw!!IBzWLUs!QyHniAgpnXqsEDpYp7ZtomI-bdThkEf6_gUgOBZE-qz78_tRLQuB14WM9Usj5953jxesrAsmb_31OtXqKXFqGkp65ZDFM0UFB1iIgchv$
### 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
(https://urldefense.com/v3/__https://www.irif.fr/*scherer/events/fpw-2026/announce.html__;fg!!IBzWLUs!QyHniAgpnXqsEDpYp7ZtomI-bdThkEf6_gUgOBZE-qz78_tRLQuB14WM9Usj5953jxesrAsmb_31OtXqKXFqGkp65ZDFM0UFB1U6Sr8j$
),
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
(https://urldefense.com/v3/__https://icfp26.sigplan.org/home/mlfamilyworkshop-2026*About__;Iw!!IBzWLUs!QyHniAgpnXqsEDpYp7ZtomI-bdThkEf6_gUgOBZE-qz78_tRLQuB14WM9Usj5953jxesrAsmb_31OtXqKXFqGkp65ZDFM0UFB7PSL46w$
)
is also co-located with FPW 2026 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)
