Rencontres doctorant⋅es I2M-CPT

• Jean Gasnier - Schémas de partage de secrets - 29/06/2021 - 16h00 - 17h30
• Cédric de Lacroix, Giulia Manara - Quantales de Girard / Réseaux de preuve pour la réduction parallèle - 22/06/2021 - 16h00 - 17h30
• Zoé Yvon - Points de torsion sur les courbes elliptiques - 17/06/2021 - 16h00 - 17h30
• Floran Cassin - Théorie du centre guide - 08/06/2021 - 16h00 - 17h30
• Léo Hubert - Introduction à la théorie des catégories (2) - 25/05/2021 - 16h00 - 17h30
• Adam Arras - Délocalisation pour le modèle d'Anderson sur un arbre régulier - 18/05/2021 - 16h00 - 17h30
• Luigi Bernardi - Game semantics and Didactics - 11/05/2021 - 16h00 - 17h30
• Bastien Pacifico - Théorie de l'information - 20/04/2021 - 16h00 - 17h30
• Robin Fuchs - Clustering sur données mixtes - 13/04/2021 - 16h00 - 17h30
• Zoé Yvon - Le problème inverse de Galois - 06/04/2021 - 16h00 - 17h30
• Léonard Hérault - Programmation par contraintes pour la synthèse de réseaux booléens de régulation de gènes à partir de données de séquençage - 30/03/2021 - 16h00 - 17h30
• Léo Hubert - Introduction aux concepts de la théorie des catégories (1) - 23/03/2021 - 16h00 - 17h30
• Rémy Cerda - Lambda-calcul et correspondance de Curry-Howard - 16/03/2021 - 16h00 - 17h30
• Présentation du séminaire et de ses participants - 08/03/2021 - 14h00 - 16h00