Loading Events

Past Events › HDR

Events Search and Views Navigation

Event Views Navigation

April 2021

HDR defense – Claudia Ignat (Coast)

23 April 2021 @ 15:00 pm - 16:30 pm

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 privacy threat. Moreover, these systems do not scale well in terms of the number of users and their modifications. My research work aims to move away from…

Find out more »

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 »
+ Export Events

Logo d'Inria