La syntaxe rencontre la sémantique Jeudi 15 décembre 2022, 14 heures, salle 1007 Victor Arrial Quantitative Inhabitation for Different Lambda Calculi in a Unifying Framework La syntaxe rencontre la sémantique Jeudi 3 novembre 2022, 14 heures, salle 1007 Loic Peyrot Repetition soutenance de these La syntaxe rencontre la sémantique Vendredi 28 octobre 2022, 14 heures, salle 1007 Pablo Barenbaum Proof Terms for Higher-Order Rewriting and Their Equivalence La syntaxe rencontre la sémantique Mercredi 19 octobre 2022, 14 heures, salle 1007 Adrienne Lancelot Open Call-by-Value and Open Similarity