Le 30 novembre prochain, le Procès du robot s’installe à la Maison des Fêtes et de la Culture à Blainville-sur-l’Eau, dans le cadre d’une manifestation plus large autour des sciences du numérique, co-organisée par la ludothèque Le Repaire des Castors de Blainville, le centre Inria de l’Université de Lorraine et le Loria. Une après-midi récréative et ludique, à partager entre amis, collègues ou en famille. Nous vous y attendons nombreux ! Un programme riche et surprenant vous est proposé par…
Voir les détails »Huiyuan Kelvin Han (Synalp) will defend his thesis, entitled “Generating and answering questions across text and knowledge graphs", on Monday, December 2nd at 2:30 p.m., in room A008. Abstract: Question generation (QG) is the task of automatically producing a question given some information source containing the answer. It is a subtask within natural language generation (NLG) but is also closely associated with question answering (QA), which is a counterpoint to QG. While QG is concerned with generating the linguistic expression…
Voir les détails »Le prochain séminaire du D2 aura lieu le 3 décembre à 13h00 en salle A008. Orateur : Thibault Gauthier Titre : The Automation of Mathematics in Practice Abstract: This presentation provides an overview of automated systems actively used in proving mathematical theorems, focusing on the practical successes achieved by SAT solvers, first-order theorem provers, and interactive theorem provers. Additionally, we present our progress towards improving automation in areas that are usually considered challenging for proof automation, such as conjecture generation…
Voir les détails »Yoann Coudert--Osmont (Pixel) soutiendra sa thèse intitulée "Champs de repères 2,5D pour la génération de maillages hexaédriques" le 3 decembre à 14h en salle C005. Résumé Un maillage hexaédrique est une représentation discrète d'un volume sous forme d'un ensemble de cellules hexaédriques (polyèdres à six faces quadrangulaires). Les maillages hexaédriques sont la représentation privilégiée de certaines simulations numériques, mais sont malheureusement difficiles à générer de façon entièrement automatique. Des interventions humaines, parfois longues, sont souvent nécessaires pour leur création. L’automatisation…
Voir les détails »Haetham Al Aswad (Caramba) soutiendra sa thèse intitulée "Le problème du logarithme discret dans les extensions de corps finis" le 4 décembre à 14h en salle A008. Résumé Cette thèse étudie le problème du logarithme discret dans les corps finis, l’un des deux problèmes de théorie des nombres aux fondations de la cryptographie à clef publique utilisée de nos jours. En particulier, nous proposons plusieurs algorithmes pour la résolution de ce problème dans le cas des corps finis non premiers,…
Voir les détails »
