Registration is open. Join us in Leuven or online!
The program is available.
Deadline extension until July 29.
PROOFS 2022 will finally take place as a hybrid event.
The new website for PROOFS 2022 is going online.
Paper submission is closed. Please come back next year!
PROOFS 2022 is being organised by
Télécom Paris. For any further
information regarding the workshop, please contact
the general chair: