Back to OCaml Workshop 2026
Schedule
All times are local to Paris (CEST). The workshop takes place on Monday, 24 August 2026.
| Session | Time | Activity |
|---|---|---|
| 08:45-09:00 | Opening | |
| 1 | 09:00-09:25 | A new workflow to build unikernels in OCaml |
| 09:25-09:50 | Compiling FFI-heavy OCaml to WebAssembly: An Experience Report on MOPSA | |
| 09:50-10:00 | Security-team address (by Edwin Török) | |
| 10:00-10:30 | Coffee break | |
| 2 | 10:30-10:55 | A Capability Type System for OCaml |
| 10:55-11:20 | Runtime Types at LexiFi: Experience Report | |
| 11:20-11:45 | PPXs That Reach Their Destinations | |
| 11:45-14:15 | Lunch break | |
| 3 | 14:15-14:40 | Slipshow: chill coding with OCaml |
| 14:40-15:05 | When Type Checking Goes Wrong, but Keeps Going | |
| 15:05-15:40 | Hydration break | |
| 4 | 15:40-16:00 | JSON parsing in OxCaml: fast, but not too fast |
| 16:05-16:30 | A new implementation of Short-paths | |
| 16:30-17:00 | Coffee break | |
| 5 | 17:00-17:25 | Towards a Benchmarking Service for OCaml |
| 17:25-17:50 | First Class Docs in OCaml |