The final program is available.
The registration is open.
Deadline extension until August 9
Paper submission is open.
The call for papers has been published.
The new website for PROOFS 2021 is going online.
Paper submission is closed. Please come back next year!
PROOFS 2020 is being organised by
Télécom Paris. For any further
information regarding the workshop, please contact
the general chair: