Claudia Ignat (Coast team) will defend her HDR (Habilitation à Diriger des Recherches), entitled "Large-scale trustworthy distributed collaborative systems" on Friday April 23 at 3pm. The defense will be held in English. Short abstract: Most existing collaborative systems rely on a central authority and place personal information in the hands of a single large corporation which is a perceived […]
Sorin Stratulat, Maître de conférences dans l'équipe Mosel-Veridis, soutiendra son HDR : intitulée : "Noetherian Induction for Computer-Assisted First-Order Reasoning/Récurrence noethérienne pour le raisonnement de premier ordre et assisté par l'ordinateur". Celle-ci se déroulera en anglais le mardi 29 juin à partir de 9h00 en salle C005 du Loria. Le nombre de places étant limité, elle sera […]
Valentin Feray, chargé de recherche CNRS, soutiendra son Habilitation à Diriger des Recherches intitulée : « On random combinatorial structures: partitions, permutations and asymptotic normality ». Celle-ci se déroulera en anglais le mardi 29 juin à partir de 9h00 en salle C005 du Loria. Le nombre de places étant limité, elle sera aussi accessible en distanciel. […]
Rémi Badonnel (Resist) will defend his HDR (Habilitation à Diriger des Recherches) on Wednesday, 9th March at 2pm in room A008. His presentation is entitled "Managing Security for the Cyber-Space: From Smart Monitoring to Automated Configuration". Abstract: The Internet has become a great integration platform for building and operating complex and value-added networked systems. These […]
