Loading Events

Past Events › Soutenance

Events Search and Views Navigation

Event Views Navigation

June 2021

PhD defense: Tatiana Makhalova

23 June 2021 @ 14:00 pm - 17:00 pm
online

Tatiana Makhalova will defend his thesis, entitled: Contributions to pattern set mining: from complex datasets to significant and useful pattern sets, on Wednesday, June 23, at 2 p.m.online (in English). Abstract: We discuss different aspects of pattern mining in binary and numerical tabular datasets. The objective of pattern mining is to discover a small set of non-redundant patterns that may cover entirely a given dataset and be interpreted as useful and significant knowledge units. We focus on such issues as (i) formal definition of…

Find out more »

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 »

November 2021

Soutenance de thèse : Ilias Benjelloun (Synalp)

22 November 2021 @ 10:30 am - 12:00 pm
C005

La soutenance d'Ilias Benjelloun (Synalp), intitulée « Impact du bruit d’annotation sur l’évaluation de classifieurs », se déroulera le Lundi 22 novembre 2021 à 10h30 en salle C005. La présentation sera faite en français. Résumé : Les récents progrès de l’intelligence artificiel ont permis de construire des systèmes autonomes dans presque tous les secteurs de la société humaine. Des voitures autonomes jusqu’à la police prédictive, des domaines pouvant impliquer des conséquences critiques commencent à mettre en application cette technologie. Devant cette précipitation, des questionnements…

Find out more »

PhD Defense: Maria Boritchev

22 November 2021 @ 14:00 pm - 16:00 pm
online

Maria Boritchev will defend her thesis, conducted under the supervision of Maxime Amblard and Philippe de Groote: Dialogue Modeling in a Dynamic Framework, on Monday, November 22, at 2 p.m.online (in English).   Abstract: Formal studies of discourse raise numerous interrogations on the nature and the definition of the way consecutive sentences coherently combine with one another. Language is intrinsically dynamic: in its semantics in context (e.g. use of references) and in the interaction (e.g. connections between dialogue acts). The shift from…

Find out more »

Soutenance de thèse : Titouan Carette

23 November 2021 @ 10:00 am - 12:00 pm

Titouan Carette soutiendra sa thèse intitulée "Manier le ZX-calcul" le 23 Novembre à 10h en salle A008. Résumé Cette thèse concerne l'application de langages graphiques à l'informatique quantique. Par langages graphiques on entend l'usage de diagrammes, très similaires aux circuits, représentant des évolutions de systèmes quantiques. La thèse introduit ces langages dans le formalisme de la théorie des catégories et s'intéresse en particulier à un langage: le ZX-calcul, ainsi qu'à ses proches parents le ZW-calcul et le ZH-calcul. La notion…

Find out more »
+ Export Events

Logo d'Inria