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

[[seminaires:sms:index|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//
\\


[[seminaires:sms:index|La syntaxe rencontre la sémantique]]\\
Jeudi 3 novembre 2022, 14 heures, salle 1007\\
**Loic Peyrot**  //Repetition soutenance de these//
\\


[[seminaires:sms:index|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//
\\


[[seminaires:sms:index|La syntaxe rencontre la sémantique]]\\
Mercredi 19 octobre 2022, 14 heures, salle 1007\\
**Adrienne Lancelot**  //Open Call-by-Value and Open Similarity//
\\