Rencontre, 12 janvier 2017
La rencontre aura lieu en salle B2 (4ème étage, ENS de Lyon)
Programme
-
Pierre Pradic (ENS de Lyon)Invited talk: The Logical Strength of Büchi's Decidability Theorem
-
Christophe Raffalli (Univ. Savoie Mont Blanc)Invited talk: About SubML
-
Lionel Vaux (Univ. Aix-Marseille)Invited talk: Normaliser le développement de Taylor des λ-termes
