Just to inform you that the current website to submit papers is unavailable:
dinosaure@turbine:~$ wget https://types-hotcrp.paris.inria.fr/ocaml26/
--2026-06-25 18:49:55-- https://types-hotcrp.paris.inria.fr/ocaml26/
Resolving types-hotcrp.paris.inria.fr (types-hotcrp.paris.inria.fr)... 128.93.101.130
Connecting to types-hotcrp.paris.inria.fr (types-hotcrp.paris.inria.fr)|128.93.101.130|:443...
It will be nice to have the website back before the deadline.