AGLR

• Sarah Dijols - Autour des représentations distinguées : la conjecture d'injectivité généralisée et modèles symplectiques pour les groupes unitaires - 06/07/2018 - 14h30 - 16h00
• Matteo Acclavio - Réécriture de diagrammes : applications à la théorie des catégories et à la théorie de la démonstration - 14/12/2016 - 14h00 - 15h30
• Thomas Leventis - Lambda-théories probabilistes - 08/12/2016 - 14h00 - 16h00
• Annamaria Iezzi - Nombre de points rationnels des courbes singulières sur les corps finis - 06/07/2016 - 10h30 - 12h30
• José-Luis Gonzalez - On the unramified spherical automorphic spectrum - 21/06/2016 - 0h00
• Yih-Dar Shieh - Arithmetic Aspects of Point Counting and Frobenius Distributions - 17/12/2015 - 15h00 - 16h30
• Florent Rovetta - Étude arithmétique et algorithmique de courbes de petit genre - 04/12/2015 - 16h00 - 18h00
• Kévin Atighehchi - Contributions à l’efficacité des mécanismes cryptographiques - 21/09/2015 - 10h45 - 12h00
• Paolo Pistone - Sur les preuves et les types dans la logique du second ordre - 27/03/2015 - 0h00
• Eugenia Sironi - Types in Ludics - 15/01/2015 - 14h00 - 16h00
• Jean-Baptiste Midez - Une étude combinatoire du lambda-calcul avec ressources uniforme - 15/12/2014 - 11h00 - 13h00
• Michele Alberti - On operational properties of quantitative extensions of lambda-calculus - 05/12/2014 - 10h30 - 12h00
• Marc Bagnol - On the resolution semiring (sur le semi anneau de résolution) - 04/12/2014 - 9h30 - 11h00
• Florian Caullery - Polynômes sur les corps finis pour la cryptographie - 28/05/2014 - 10h00 - 12h00
• Myriam Quatrini - La Ludique: de la logique mathématique au langage naturel - 23/05/2014 - 14h00 - 16h00