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 […]
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. […]
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 […]
Pierre-Antoine Rault (Coast) soutiendra sa thèse intitulée "Access control mechanisms for collaborative applications with no central authority" le 12 décembre à 15h en salle A008. Résumé Dans un groupe dynamique d'utilisateurs qui collaborent, les droits d'accès doivent souvent être différenciés à l'aide d'une politique de sécurité. Pour obtenir une disponibilité et une fiabilité élevées, les […]
Léo Valque (Gamble) soutiendra sa thèse intitulée "Arrondi de maillage en 3D" le 13 décembre à 9h en salle C005. Résumé La plupart des algorithmes qui traitent des objets polygonaux en 3D utilisent des coordonnées où la précision est fixée pour les données d’entrée et de sortie. Cependant, les opérations géométriques produisent souvent des coordonnées […]
