AGLR Jean-Baptiste Midez - Une étude combinatoire du lambda-calcul avec ressources uniforme - 15/12/2014 - 11h00 - 13h00Michele Alberti - On operational properties of quantitative extensions of lambda-calculus - 05/12/2014 - 10h30 - 12h00Marc Bagnol - On the resolution semiring (sur le semi anneau de résolution) - 04/12/2014 - 9h30 - 11h00Florian Caullery - Polynômes sur les corps finis pour la cryptographie - 28/05/2014 - 10h00 - 12h00Myriam Quatrini - La Ludique: de la logique mathématique au langage naturel - 23/05/2014 - 14h00 - 16h00 < 1 2 3