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 publique utilisée de nos jours. En particulier, nous proposons plusieurs algorithmes pour la résolution de ce problème dans le cas des corps finis non premiers,…
Voir les détails »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 for the same dynamic capabilities as humans to adapt to everyday, and even challenging, environments. However, when compared with humans and animals, state-of-the-art robotic systems…
Voir les détails »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 the tradition initiated, among others, by Paul Erdős — and theoretical computer science. It is often fruitful to consider combinatorial abstractions to tackle computational geometry…
Voir les détails »Maïwenn Racouchot (Pesto) soutiendra sa thèse intitulée "Analyse formelle de sécurité de protocoles: études de cas réelles et stratégies de preuve automatisées" le 10 décembre à 14h en salle A008. Résumé Chaque jour, nous effectuons des actions en apparence bénignes : envoyer un message à un proche ou payer ses courses avec sa carte bancaire. Pourtant, ces applications mettent en jeu des données sensibles. Dans le cas des messageries ce sont notre identité et celle de nos correspondants, ainsi que le contenu…
Voir les détails »Guillaume Moroz (Gamble) soutiendra son Habilitation à Diriger des Recherches le jeudi 12 décembre à 14 heures en salle C005 du Loria. Sa présentation s'intitule Structures algébriques et approximations pour la résolution efficace de problèmes géométriques. Composition du jury : - Jean Cardinal (rapporteur), Université libre de Bruxelles - Mioara Joldes (rapportrice), Laboratoire d'analyse et d'architecture des systèmes (LAAS) de Toulouse, - Bruno Salvy (rapporteur), Laboratoire de l’Informatique du Parallélisme (LIP) de Lyon, - Stef Graillat, Sorbonne Université - Marine…
Voir les détails »
