Les Rencontres Arithmétiques du GdR Informatique Mathématique (RAIM) abordent les problèmes liés à l’arithmétique et se rapportant aux thématiques du GT Arith du GdR IM : arithmétique des ordinateurs, validation numérique et preuve formelle, calcul scientifique, cryptographie… Ces rencontres auront lieu au LORIA du lundi 6 novembre 14h au mercredi 8 novembre à midi. Plus d'informations sur le site de la conférence
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 »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 of augmented reality headsets such as Apple Vision Pro has further motivated interest in this research field. To synthesize binaural spatial audio that can recreate…
Voir les détails »Le prochain colloquium du Loria aura lieu le mercredi 15 novembre à 13h30 dans l'amphithéâtre. Nous aurons le plaisir d'accueillir Yves Lepage, Professeur à l'Université Waseda. Analogie et données de langue Historiquement, la notion technique d'analogie (A est à B ce que C est à D) est immédiatement passée des mathématiques (nombres naturels) à l'étude de la forme des mots et à l'étude de leur sens. Elle apparaît implicitement en linguistique comparative, puis explicitement à la naissance de la linguistique…
Voir les détails »
