Année 2017

Jeudi 14 décembre 2017 à 10h, ENS Lyon Séminaire Chocola (TBA),
TBA

Jeudi 07 décembre 2017 à 10h Marie Kerjean (IRIF (Paris 7)),
Smooth models of linear logic

Jeudi 30 novembre 2017 à 10h Clément Jacq (IRIF (Paris 7)),
Categorical combinatorics of non-deterministic innocent strategies

Jeudi 23 novembre 2017 à 10h Giulio Manzonetto (Paris 13),
Refutation of Sallé's Longstanding Conjecture

Jeudi 09 novembre 2017 à 10h, ENS Lyon Séminaire Chocola (TBA),
TBA

Jeudi 19 octobre 2017 à 10h Aurore Alcolei (ENS Lyon),
The true concurrency of Herbrand's theorem

Jeudi 12 octobre 2017 à 10h, ENS Lyon Séminaire Chocola (TBA),
TBA

Jeudi 22 juin 2017 à 10h Tom Hirschowitz (LAMA),
Categorical combinatorics of concurrent innocent strategies

Jeudi 01 juin 2017 à 10h Karim Nour (LAMA),
Autour de la normalisation forte du lambda-calcul simplement typé

Jeudi 18 mai 2017 à 10h Damiano Mazza (LIPN (Paris 13)),
Church Meets Cook and Levin

Lundi 24 avril 2017 à 10h Anurag Pandey (MPI),
Algebraic Independence of Polynomials over Fields of Positive Characteristic

Jeudi 06 avril 2017 à 10h Flavien Breuvart (Paris 13),
Un type est-il composé de termes ou un terme composé de types?

Lundi 27 mars 2017 à 10h Manfred Madritsch (Nancy),
Systèmes dynamiques et l'équirépartition des suites

Jeudi 16 mars 2017 à 10h Lionel Nguyen Van Thé (Aix-Marseille Université),
Théorie de Ramsey structurale et dynamique topologique

Jeudi 16 février 2017 à 10h Jean-Bernard Stefani (INRIA),
TBA

Jeudi 02 février 2017 à 14h, Tarentaise 108 Anupam Das (ENS Lyon),
Monotonicity in Logic and Complexity

Jeudi 02 février 2017 à 10h Andrea Frosini (Florence),
Reconstruction of 2-convex polyominoes

Jeudi 26 janvier 2017 à 10h Lama Tarsissi (LAMA),
Second order balance property on Christoffel words

Jeudi 19 janvier 2017 à 10h Pawel Sobocinski (Southampton),
Programming recurrence relations

Séminaires de l’équipe LIMD