Djamel Eddine Amir (Mocqua) will defend his thesis, entitled "Computability of Topological Spaces", on Friday, October 6 at 2pm in room C005. Abstract: The main objective of this thesis is to examine the concept of "computable type" and enhance our overall understanding of this notion, as well as provide techniques for verifying or disproving this property. A […]
Nacira Abbas (Orpailleur) soutiendra sa thèse intitulée "Analyse formelle de concepts pour la découverte de clés de liage dans le web des données", le 13 octobre à 14 h en salle A008. Résumé : Le Web des données est un espace de données global qui peut être considéré comme une couche supplémentaire au-dessus du Web […]
Rosalie Defourné (Mosel-VeriDis) soutiendra sa thèse intitulée "Encodages de la théorie des ensembles de TLA+ pour la preuve automatique", le 7 novembre à 14h en salle C005. Résumé : Cette thèse porte sur TLA+, un langage de spécification fondé sur la logique temporelle et la théorie des ensembles non typée. TLA+ est principalement utilisé dans […]
Liam Cripwell (Synalp) will defend his thesis, entitled "Controllable and document-level text simplification", on Friday, November 10th at 3 p.m. am in room A008. Abstract : Text simplification is a task that involves rewriting a text to make it easier to read and understand for a wider audience, while still expressing the same core meaning. […]
Prerak Srivastava (Multispeech) will defend his thesis, entitled "Realism in Virtually Supervised Learning for Acoustic Room Characterization and Sound Source Localization", on Monday, November 13th at 10 am in room A008. Abstract : Audio Augmented Reality aims to integrate virtual audio content into the user’s acoustic environment, creating an immersive audio experience. The commercial availability […]
