HDR

Évènements

Recherche et navigation de vues Évènements

Navigation de vues Évènement

Aujourd’hui

  • HDR defense – Claudia Ignat (Coast)

    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 […]

  • Soutenance HDR : Sorin Stratulat (Mosel-Veridis)

    C005 Loria

    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 […]