Résultats de recherche

Résumé La logique des catégories supérieures (ou encore des ∞-catégories) est une variation de la théorie des types qui est homotopique par nature et dans laquelle la notion de catégorie est le concept primitif –   celui que l'on ne définit jamais   ! Une …

Résumé Dans cet exposé, nous discuterons de l’état actuel de la formalisation de la théorie des nombres moderne dans mathlib, la bibliothèque mathématique de Lean. Nous mettrons en avant les avancées récentes, les principaux défis qui ont été relevés, …

La vidéo sera prochainement disponible. Résumé Des recherches médicales mettent en évidence un accroissement des cancers pédiatriques dans de nombreux pays. Si certains suggèrent que cet accroissement est lié à l’amélioration du suivi des enfants et du …

Résumé La preuve assistée par ordinateur séduit un public de plus en plus large. Jusque-là surreprésentée dans le domaine de l'informatique où elle était née, elle a commencé à susciter chez les mathématiciens un engouement certain. Néanmoins, cet appel …

La vidéo sera prochainement disponible. Résumé Les accidents du travail représentent un enjeu majeur de santé publique qui touche principalement les ouvriers et employés peu qualifiés. Leur ampleur reste sous-estimée alors même que les conditions de …

Résumé Comme c'est le cas dans la littérature, l'ajout d'un concept mathématique à un corpus de bibliothèques formelles donne typiquement lieu à plusieurs variantes de définitions, le plus souvent équivalentes mais pas toujours. Malheureusement, la …

Résumé Je ferai le point sur un travail de formalisation de la théorie des puissances divisées que je mène avec María-Inés de Frutos Fernández. Découvert par Cartan dans un contexte de topologie algébrique, cet outil algébrique a été développé dans les …

Résumé Discussion sur les relations culturelles, commerciales et politiques entre le Levant et la Mésopotamie à l’époque des archives d’Ebla (avec l’Anatolie et l’Égypte en arrière-plan). Examen de la question du centre et de la périphérie. Résumé des …

Résumé Le processus décisionnel piloté par l’IA est souvent évalué à l’aune du jugement humain individuel – les algorithmes sont-ils plus rapides, plus justes ou moins biaisés que les humains ? Dans cet exposé, je remets en question ce cadre, en soutenant …

Résumé Il s’agira de réfléchir à l’opacité des modèles d’IA et à la manière dont les approches dites « explicables » (XAI), souvent post-hoc, pourraient être améliorées en déplaçant l’attention de l’explication causale vers l’explication par des …

Résumé L’explicabilité des intelligences artificielles (IA) est souvent présentée comme essentielle pour l’adoption de ces systèmes par les médecins. Toutefois, son approche habituelle présente deux limites : d’une part, l’absence d’ancrage dans des …

Résumé Les applications récentes d’IA générative musicale peuvent désormais générer des morceaux de différents genres musicaux avec des niveaux d’expressivité inattendus. Une critique ancienne et courante de la musique générée par algorithme découle de …

Résumé Les IA génératives proposent aujourd’hui des productions textuelles, musicales ou picturales de teneur « artistique », dont les internautes comme les artistes professionnels font usage. Mais au-delà du nouvel outil qui s’offre ici, avec ses …

Résumé Que change l’IA à l'esthétique ? Cette communication s’intéressera aux conséquences des pratiques artistiques augmentées par l’IA sur notre rapport à l’art et sur sa philosophie, en les replaçant dans l’histoire de l’art moderne et de ses débats. …

Résumé La conférence portera sur le milieu d'origine de Julius Oppert, ses modèles convertis ou non et son arrivée en France ou comment un professeur d'allemand de province devient le fondateur d'une nouvelle discipline. Elle tentera de montrer les enjeux …

Résumé Les structures syntaxiques sont des objets complexes. Évidemment, il n’y a pas de limite supérieure à la longueur d’une phrase (on ne peut pas identifier «   la phrase la plus longue du français   »), mais ce n’est pas une simple question de …

Résumé Les questions épistémologiques classiques gravitant autour des notions de confiance, de dépendance et d’expertise dans l’acquisition de connaissances prennent aujourd’hui une nouvelle tournure avec l'émergence de ce que l’on appelle parfois des …

Résumé Après avoir présenté ce que j’appelle le cadre des « limites de la raison » et situé l’IA au-delà de la limite supérieure de la raison humaine, j’examinerai si les sorties verbales des systèmes d’IA peuvent être considérées comme une forme de …

Résumé Il est depuis longtemps admis que la langue des signes (i) utilise les mêmes structures logiques que la langue orale (en faisant parfois apparaître ses composantes abstraites), et, en même temps (ii) fait un usage plus systématique de l'iconicité. …

Résumé Les IAs sont de plus en plus impliquées dans les processus de traitement de l’information à partir desquels nous élaborons nos croyances. Dans ces conditions, il est légitime de se demander dans quelles circonstances il est légitime de considérer …

Résumé Partant de l’idée qu’un glissement épistémologique depuis l’identification des causes vers des espaces de données massives saturées de corrélations fortes caractérise aussi bien la plupart des algorithmes qui enserrent notre vie – tels que les …