Program
The workshop takes place on October 11-15, 2026. The venue is in the same building as CHES, but a separate registration to the CHES-affiliated event (PROOFS) is mandatory.
Contact
PROOFS 2026 is being organised by Télécom Paris. For any further information, please contact the general chair:
Design: TEMPLATED