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

{{page>.:indexheader}}

\\ ==== Next talk ====
[[en:seminaires:pps:index|Proofs, programs and systems]]\\
Thursday May 22, 2025, 10:30AM, Salle 3052 & online ([[https://u-paris.zoom.us/j/84381797685?pwd=WG1ZSnhnYi81MnhsTFB6S2krM0E2Zz09|Zoom link]])\\
**Noam Zeilberger**  //To be announced.//
\\


\\ ==== Previous talks ====
\\ === Year 2025 ===

{{page>.:pps2025}}

\\ === 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}}