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 aussi accessible en distanciel. Résumé : Le principe de la récurrence noethérienne est un des plus généraux principes du raisonnement formel. Dans le cadre du…
Voir les détails »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. La soutenance sera probablement en anglais. Elle aura lieu mardi prochain, 21 septembre, à 14h en salle de conférences au 2e étage de l’IECL Nancy et…
Voir les détails »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 systems are however exposed to a large variety of security attacks, that are also gaining in sophistication and coordination. In that context, the objective of…
Voir les détails »Romain Serizel (Multispeech) will defend his HDR on Tuesday, 16th March at 2pm in room A008. His presentation is entitled "Contributions to speech processing and ambient sound analysis". Abstract: Contributions to speech processing and ambient sound analysis We are constantly surrounded by sounds that we continuously exploit to adapt our actions to situations we are facing. Some of the sounds like speech can have a particular structure from which we can infer some information, explicit or not. Within the last…
Voir les détails »Marc Pouget (Gamble) soutiendra son Habilitation à Diriger des Recherches le vendredi 24 juin à 14h en salle A008, avec une présentation intitulée "Bivariate systems & topology of plane curves: algebraic and numerical methods". Abstract: The work presented in this thesis belongs to the domain of non-linear computational geometry in low dimension. More precisely it focuses on solving bivariate systems and computing the topology of curves in the plane. When the input is given by polynomials, the natural tools come from computer…
Voir les détails »
