Program Committee

OCaml Workshop 2026

Co-Chairs

• •Paulo de Vilhena

• •Sudha Parimala

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