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 […]
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 […]
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. […]
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 […]
Yann Bernard (Biscuit) will defend his thesis on Tuesday, December 7th at 2pm. His presentation will be in French and is entitled "Calcul neuromorphique pour l'exploration et la catégorisation robuste d'environnement visuel et multimodal dans les systèmes embarqués". Résumé : Tandis que la quête pour des systèmes de calcul toujours plus puissants se confronte à des […]
