Proofs, programs and systems
Journées PPS 2024
Journée de rentrée PPS 2023
Lambda Pros day
Journées PPS 2023
Matinée de rentrée 2022
Rentrée PPS 2021
Journées PPS 2021
Journées PPS 2020
Journées PPS 2019
Scientific Meeting in Honor of Pierre-Louis Curien
Journées PPS 2018
Journées PPS 2017