Syntax Meets Semantics Thursday December 15, 2022, 2PM, salle 1007 Victor Arrial Quantitative Inhabitation for Different Lambda Calculi in a Unifying Framework Syntax Meets Semantics Thursday November 3, 2022, 2PM, salle 1007 Loic Peyrot Repetition soutenance de these Syntax Meets Semantics Friday October 28, 2022, 2PM, salle 1007 Pablo Barenbaum Proof Terms for Higher-Order Rewriting and Their Equivalence Syntax Meets Semantics Wednesday October 19, 2022, 2PM, salle 1007 Adrienne Lancelot Open Call-by-Value and Open Similarity