The next formal methods seminar will take place on April 1st at 13:00 in room A008. Speaker: Kostia Chardonnet Title: Infinite Algebraic Proofs Lors du séminaire du département du 7 janvier, Alejandro a montré comment étendre le fragment multiplicatif-additif de la logique linéaire intuitionniste au cas quantique. En particulier, il a montré comment représenter, à […]
Le séminaire "Apprentissage continu et détection d’anomalies : vers des systèmes fiables en environnements ouverts", proposé par Son Vu, Maître de conférences à l'ENSEA et chercheur au laboratoire ETIS, aura lieu au Loria, le 2 avril à 14h, en salle C103. Résumé: Bien que les modèles profonds aient connu un succès remarquable dans diverses applications, […]
The seminar "Unveiling Mixture of Experts for Multi-Sensor Fusion and Multi-Task Learning", by Zongwei Wu, will take place on Friday, April 4, at 2 p.m., in room C103, at the Loria. Abstract: Building toward a foundation visual model for real-world perception requires processing diverse sensor inputs while simultaneously handling multiple tasks. Achieving this demands efficient […]
CAIPI est un séminaire de mathématiques sur la théorie des Codes correcteurs, la cryptogrAphie, la géométrie arIthmétique, et leurs aspects comPutationnels, dans un format Itinérant. La prochaine édition, "Endomorphismes et invariants de variétés abéliennes", aura lieu les 7 et 8 avril au Loria. Trois exposés sont proposés par : Annamaria Iezzi Laboratoire Jean Kuntzmann, Université […]
Le prochain séminaire de l'équipe ABC, intitulé Isotropic Kernel Machine, aura lieu le 11 avril à 11h, en salle Alice & Bob. L'exposant, Nicolas Wicker, est Professeur de mathématiques à l'Université de Lille et membre du laboratoire Paul Painlevé. Abstract: A new kernel machine for multi-class pattern recognition is introduced: the isotropic kernel machine. It […]
