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 […]
35 évènements found.
Évènements
Calendrier de Évènements
|
lundi
|
mardi
|
mercredi
|
jeudi
|
vendredi
|
samedi
|
dimanche
|
|---|---|---|---|---|---|---|
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
1 évènement, |
2 évènements,
-
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 […] |
1 évènement, |
0 évènement,
|
1 évènement,
-
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. […] |
0 évènement,
|
0 évènement,
|
1 évènement,
-
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 […] |
0 évènement,
|
1 évènement,
-
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 […] |
0 évènement,
|
2 évènements,
-
Speaker: Chloé Clavel (Centre Inria de Paris, équipe-projet ALMAnaCH) Abstract: A single lack of social tact on the part of a conversational system (chatbot, voice assistant, social robot) can cause the user's trust and engagement with the interaction to drop. This lack of social intelligence affects the willingness of a large audience to view conversational […]
-
Juliette Faille (Synalp) soutiendra sa thèse intitulée "Génération de texte en langue naturelle à partir de données : évaluation et explicabilité", le 17 novembre à 14h en salle C005. Résumé : Les modèles de génération de langage naturel (NLG) ont récemment atteint de très hautes performances. Les textes qu'ils produisent sont généralement corrects sur le […] |
0 évènement,
|
0 évènement,
|
1 évènement,Le GdR LIFT organise deux journées de rencontres autour des thèmes de LIFT. L’objectif de ces journées est de favoriser les interactions entre linguistique informatique, linguistique formelle et linguistique de terrain, afin de favoriser le développement de recherches en linguistique qui tirent le meilleur parti des nouvelles technologies. En plus d’orateur.trice.s invité.e.s, ces journées incluent des moments d’échanges […] |
2 évènements,
-
Programme 10h00-10h15 : ACCUEIL ET PRÉSENTATION DE LA JOURNÉE 10h15-11h00 : MANUEL REBUSCHI, McF en philosophie, UL ; MAXIME AMBLARD, PR en informatique UL ; MICHEL MUSIOL, PR en psychologie UL 11h00-11h45 : MATHIEU D’AQUIN, PR en informatique, UL 11h45-12h30 : CHRISTOPHE ECKES , McF en histoire des mathématiques, UL 12h30-14h00 : BUFFET 14h00-14h45 : […] |
0 évènement,
|
0 évènement,
|
1 évènement,
-
Membre de Calligramme dès sa création, puis de Sémagramme, notre collègue Guy Perrier est décédé le 18 juin 2023. Ses travaux l’ont mené de la logique au traitement automatique des langues naturelles. Après sa thèse, intitulée « De la construction de preuves à la programmation parallèle en logique linéaire », soutenue en 1995, il est recruté comme […] |
0 évènement,
|
0 évènement,
|
1 évènement,The workshop "Analogies: From learning to explainability", with Zied Bouraoui, will take place on 27-28 November at the Université d’Artois in Arras and in hybrid mode. This workshop aims to bring together AI researchers at the crossroads of machine learning, natural language processing, knowledge presentation, and reasoning, who are interested in the various applications of […] |
0 évènement,
|
0 évènement,
|
1 évènement,
-
Yoann Fleytoux (Larsen) soutiendra sa thèse intitulée "Exploiter les préférences humaines pour guider la préhension robotique", le 1er décembre à 9h30 en salle C005. Résumé : Cette thèse aborde le défi de la préhension d'objets aux prises difficiles par des robots manipulateurs en combinant l'apprentissage automatique, l'utilisation de capteurs tactiles et l'expertise humaine. Dans certaines […] |
0 évènement,
|
0 évènement,
|
