Le prochain séminaire du D2 aura lieu le 3 décembre à 13h00 en salle A008. Orateur : Thibault Gauthier Titre : The Automation of Mathematics in Practice Abstract: This presentation provides an overview of automated systems actively used in proving mathematical theorems, focusing on the practical successes achieved by SAT solvers, first-order theorem provers, and […]
Yoann Coudert--Osmont (Pixel) soutiendra sa thèse intitulée "Champs de repères 2,5D pour la génération de maillages hexaédriques" le 3 decembre à 14h en salle C005. Résumé Un maillage hexaédrique est une représentation discrète d'un volume sous forme d'un ensemble de cellules hexaédriques (polyèdres à six faces quadrangulaires). Les maillages hexaédriques sont la représentation privilégiée de […]
Haetham Al Aswad (Caramba) soutiendra sa thèse intitulée "Le problème du logarithme discret dans les extensions de corps finis" le 4 décembre à 14h en salle A008. Résumé Cette thèse étudie le problème du logarithme discret dans les corps finis, l’un des deux problèmes de théorie des nombres aux fondations de la cryptographie à clef […]
The next D5 Seminar, "Deep Learning, Optimal Control, and Bio-Inspired Control for Dynamic Robots" will be held by Guillaume Bellegarda (EPFL) on Friday, December 6 at 1:30 p.m. in room A008. Abstract: Recent advances in machine learning, control, and robotics show promising results towards integrating autonomous systems into society. Legged robots in particular suggest potential […]
Next Loria colloquium will take place on Tuesday, 10th December at 1:30 pm in the Amphitheater. We will have the pleasure to welcome Jean Cardinal, professor at the Université Libre de Bruxelles, with a presentation (in English) entitled "Combinatorics, Geometry, and Algorithms". Abstract: Numerous interactions exist between the fields of combinatorics, discrete geometry — in […]
