~~NOCACHE~~
/* DO NOT EDIT THIS FILE             */

[[en:seminaires:sms:index|Syntax Meets Semantics]]\\
Thursday December 15, 2022, 2PM, salle 1007\\
**Victor Arrial**  //Quantitative Inhabitation for Different Lambda Calculi in a Unifying Framework//
\\


[[en:seminaires:sms:index|Syntax Meets Semantics]]\\
Thursday November 3, 2022, 2PM, salle 1007\\
**Loic Peyrot**  //Repetition soutenance de these//
\\


[[en:seminaires:sms:index|Syntax Meets Semantics]]\\
Friday October 28, 2022, 2PM, salle 1007\\
**Pablo Barenbaum**  //Proof Terms for Higher-Order Rewriting and Their Equivalence//
\\


[[en:seminaires:sms:index|Syntax Meets Semantics]]\\
Wednesday October 19, 2022, 2PM, salle 1007\\
**Adrienne Lancelot**  //Open Call-by-Value and Open Similarity//
\\