~~NOCACHE~~
/* DO NOT EDIT THIS FILE               */
/* THIS FILE WAS GENERATED             */
/* EDIT THE FILE "indexheader" INSTEAD */
/* OR ACCESS THE DATABASE              */

{{page>.:indexheader}}

\\ ==== Next talks ====
[[en:seminaires:pps:index|Proofs, programs and systems]]\\
Thursday May 23, 2024, 10:30AM, ENS Lyon\\
**Tba**  //Séminaire CHOCOLA//
\\


[[en:seminaires:pps:index|Proofs, programs and systems]]\\
Monday June 24, 2024, 10AM, Amphi Turing @ Sophie Germain\\
**Pps Members, All Hands On Deck !** (PPS) //Journée PPS//
<button type="link" size="xs" collapse="b4-752">{{icon>info-circle?lg&color=#777}}</button>\\
<collapse id="b4-752" collapsed="true">
<well size="sm">
We will address two typical philosophical questions:
What are we doing ?
Where are we going ?
</well>
</collapse>


[[en:seminaires:pps:index|Proofs, programs and systems]]\\
Tuesday June 25, 2024, 10AM, Amphi Turing @ Sophie Germain\\
**Pps Members, All Hands On Deck !** (PPS) //Journée PPS//
<button type="link" size="xs" collapse="b4-753">{{icon>info-circle?lg&color=#777}}</button>\\
<collapse id="b4-753" collapsed="true">
<well size="sm">
To be debated: same philosophical questions as the preceeding day.
</well>
</collapse>


[[en:seminaires:pps:index|Proofs, programs and systems]]\\
Thursday June 27, 2024, 10:30AM, ENS Lyon\\
**Tba**  //Séminaire CHOCOLA//
\\


\\ ==== Previous talks ====
\\ === Year 2024 ===

{{page>.:pps2024}}

\\ === Year 2023 ===

{{page>.:pps2023}}

\\ === Year 2022 ===

{{page>.:pps2022}}

\\ === Year 2021 ===

{{page>.:pps2021}}

\\ === Year 2020 ===

{{page>.:pps2020}}

\\ === Year 2019 ===

{{page>.:pps2019}}

\\ === Year 2018 ===

{{page>.:pps2018}}

\\ === Year 2017 ===

{{page>.:pps2017}}

\\ === Year 2016 ===

{{page>.:pps2016}}