Loading Events

Past Events › HDR

Events Search and Views Navigation

Event Views Navigation

June 2021

Soutenance HDR : Sorin Stratulat (Mosel-Veridis)

29 June 2021 @ 9:00 am - 11:00 am
C005

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…

Find out more »

September 2021

Soutenance HDR : Valentin Feray

21 September 2021 @ 14:00 pm - 17:00 pm
IECL

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…

Find out more »

March 2022

HDR – Rémi Badonnel (Resist)

9 March 2022 @ 14:00 pm - 16:00 pm

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…

Find out more »

HDR – Romain Serizel (Multispeech)

16 March 2022 @ 14:00 pm - 17:00 pm

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…

Find out more »

June 2022

Soutenance HDR : Marc Pouget (Gamble)

24 June 2022 @ 14:00 pm - 17:00 pm
A008

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…

Find out more »
+ Export Events

Logo d'Inria