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.
The official Call for Papers accessed on the
PROOFS 2020 is being organised by
Télécom Paris. For any further
information regarding the workshop, please contact
the general chair: