Dylan Marinho (Veridis) will defend his thesis, entitled "Theoretical and algorithmic contributions to the analysis of safety and security properties in timed systems under uncertainty", on Tuesday, October 3 at 10am in room A008. Abstract: Real-time systems can be used in a wide range of applications, such as transport, telecommunications and industry. However, accidents can happen, and it is necessary to have confidence in these systems in order to avoid them. It is therefore necessary to formally prove that their…
Voir les détails »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 compact metrizable space is said to have computable type if any semicomputable homeomorphic copy of that space is actually computable. This study builds upon the…
Voir les détails »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 des documents. Le liage des données est la tâche de découverte des liens d'identité entre les ensembles de données RDF (Resource Description Framework) sur le…
Voir les détails »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 l'industrie pour vérifier des systèmes concurrents et distribués. On s'intéresse en particulier à la preuve interactive de théorèmes TLA+, qui peut être réalisée avec l'outil…
Voir les détails »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. This has potential benefits for disadvantaged end-users (e.g. non-native speakers, children, the reading impaired), while also showing promise as a preprocessing step for downstream NLP…
Voir les détails »
