From: Sudha Parimala <sudharg247@gmail.com>
To: caml-list@inria.fr
Subject: [Caml-list] [CFP][FPW '26] Call for Talk Proposals at OCaml Workshop 2026
Date: Mon, 1 Jun 2026 16:42:56 +0200 [thread overview]
Message-ID: <CAD+j_CKC85Mt_NLL+n0L-LsQD8GOQkay3B-t-tT+SdcG918LHw@mail.gmail.com> (raw)
[-- Attachment #1: Type: text/plain, Size: 6377 bytes --]
==============================================================================
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
<https://www.irif.fr/~scherer/events/fpw-2026/announce.html>)
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
[-- Attachment #2: Type: text/html, Size: 7326 bytes --]
reply other threads:[~2026-06-01 14:43 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=CAD+j_CKC85Mt_NLL+n0L-LsQD8GOQkay3B-t-tT+SdcG918LHw@mail.gmail.com \
--to=sudharg247@gmail.com \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox