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