Partager Facebook LinkedIn Bluesky Threads Copier le lien Résultats de recherche Rechercher 24048 résultats Filtres Type de contenu Type de contenu (-) Enseignements (24021) Actualité (1749) Personne (1389) Éditions (362) Chaire (360) Page (231) (-) Recherche (27) Bibliothèque (14) Chaire annuelle (12) Prix (6) Filtres actifs Enseignements Recherche Événement Riccardo Brasca Progrès récents dans la formalisation de la théorie des nombres Colloque 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, … 02 juin 2025 15:30 à 16:15 Événement Philippe Lefranc Massacres, trophées et fêtes de victoire dans le néolithique européen Colloque 04 juin 2025 16:40 à 17:10 Événement Cyrille Imbert Fiabilité, fiabilisme, et problème de la généralité : perspective à partir de l’IA et des machines épistémiques Colloque 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 … 27 mai 2025 15:00 à 15:55 Événement Alain Beyneix L’enfant et la mort dans l’Occident néolithique Colloque 04 juin 2025 15:55 à 16:25 Événement Pierre-Marie Pédrot Pour s'asseoir sur les fondations Colloque 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 … 02 juin 2025 14:00 à 14:45 Événement Philippe Huneman Profiler et générer : l’empire des statistiques Colloque 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 … 27 mai 2025 14:00 à 14:55 Événement Bruno Boulestin Les sépultures multiples des chasseurs-cueilleurs européens : éléments de compréhension Colloque 04 juin 2025 14:30 à 14:50 Événement Jacques Jaubert Art pariétal, fréquentations humaines et pratiques funéraires gravettiennes dans la grotte de Cussac Colloque 04 juin 2025 14:00 à 14:30 Événement Assia Mahboubi Preuves formelles mutatis mutandis Colloque 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 … 02 juin 2025 11:00 à 11:45 Événement Pascal Ludwig & Hélie Bazin L’interprétation des IA connexionnistes Colloque Résumé Les productions, notamment linguistiques, de certaines intelligences artificielles se rapprochent de plus en plus des productions humaines. Dans ce contexte, il semble souvent pertinent d’attribuer des états intentionnels à ces programmes. … 27 mai 2025 11:00 à 11:55 Événement Pauline Raymond Cannibalisme néandertalien Colloque 04 juin 2025 11:50 à 12:20 Événement Antoine Chambert-Loir Sur la formalisation des puissances divisées Colloque 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 … 02 juin 2025 10:05 à 10:45 Événement Denis Bonnay Faut-il réfléchir avant de parler ? Ou les implications philosophiques du Chain of Thought Colloque Résumé Les derniers progrès en date de l’IA générative reposent sur une technique appelée « Chain of Thought » (CoT), qui consiste à faire en sorte que la machine « réfléchisse » avant de répondre. Il s’agit initialement d’une stratégie utilisée dans les … 27 mai 2025 10:00 à 10:55 Événement Bruno Maureille Sépultures et gestes funéraires dans le Paléolithique moyen Colloque 04 juin 2025 11:20 à 11:50 Événement Nohemi Sala The Roots of Funerary Behavior in the Middle Pleistocene Colloque 04 juin 2025 10:50 à 11:20 Événement Daniel Andler Discuter avec un LLM ? Colloque Résumé Les grands modèles de langage (LLM) semblent capables de soutenir une discussion sur toutes sortes de sujets. Devant ce constat, trois réactions sont possibles. On peut attribuer aux LLM une forme d’intelligence, qui inclut une certaine … 27 mai 2025 09:00 à 09:55 Cycle Enhancers Sequences and Gene Regulation Denis Duboule, chaire Évolution du développement et des génomes Colloque © Raquel Rouco … 11 avr 2025 Événement Julien d’Huy La mort est-elle une fin ? Ce que la mythologie comparée nous apprend des premières croyances de l’humanité Colloque 04 juin 2025 09:45 à 10:15 Événement Loïc Le Quellec Peut-on reconstituer les mythes des sociétés paléolithiques ? Colloque 04 juin 2025 09:15 à 09:45 Événement Nathalie Bajos Remarques conclusives Colloque Documents et médias Regarder la vidéo doublée en anglais … 26 juin 2025 18:15 à 18:30 Événement Seth Holmes Enviro-Anthropo-Genesis: The Co-production and Destruction of Bodies of People, Land and Water Colloque Cette vidéo est proposée dans une version doublée en français. La version originale en anglais est également accessible ci-dessous. Documents et médias Regarder la vidéo en anglais (version originale) Session 3 : Interroger la structuration sociale des … 26 juin 2025 17:00 à 18:00 Événement Greta Bauer A New Framework for Understanding Social Privilege and Health Colloque Cette vidéo est proposée dans une version doublée en français. La version originale en anglais est également accessible ci-dessous. Documents et médias Regarder la vidéo en anglais (version originale) Télécharger le support Session 3 : Interroger la … 26 juin 2025 16:00 à 17:00 Cycle Topological Quantum Matter with Atoms and Photons Jean Dalibard, chaire Atomes et rayonnement Colloque 11 avr 2025 Événement Michelle Kelly-Irving Socio-Structural Processes Underlying the Production of Health Inequalities over the Life Course: Theoretical Tools and Empirical Evidence Colloque Cette vidéo est proposée dans une version doublée en français. La version originale en anglais est également accessible ci-dessous. Documents et médias Regarder la vidéo en anglais (version originale) Télécharger le support Session 2 : Saisir … 26 juin 2025 14:30 à 15:30 Pagination Première page « Premier Page précédente ‹‹ … Page 39 Page 40 Page 41 Page 42 Page 43 Page 44 Page 45 Page 46 Page 47 … Page suivante ›› Dernière page Dernier »
Événement Riccardo Brasca Progrès récents dans la formalisation de la théorie des nombres Colloque 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, … 02 juin 2025 15:30 à 16:15
Événement Philippe Lefranc Massacres, trophées et fêtes de victoire dans le néolithique européen Colloque 04 juin 2025 16:40 à 17:10
Événement Cyrille Imbert Fiabilité, fiabilisme, et problème de la généralité : perspective à partir de l’IA et des machines épistémiques Colloque 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 … 27 mai 2025 15:00 à 15:55
Événement Alain Beyneix L’enfant et la mort dans l’Occident néolithique Colloque 04 juin 2025 15:55 à 16:25
Événement Pierre-Marie Pédrot Pour s'asseoir sur les fondations Colloque 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 … 02 juin 2025 14:00 à 14:45
Événement Philippe Huneman Profiler et générer : l’empire des statistiques Colloque 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 … 27 mai 2025 14:00 à 14:55
Événement Bruno Boulestin Les sépultures multiples des chasseurs-cueilleurs européens : éléments de compréhension Colloque 04 juin 2025 14:30 à 14:50
Événement Jacques Jaubert Art pariétal, fréquentations humaines et pratiques funéraires gravettiennes dans la grotte de Cussac Colloque 04 juin 2025 14:00 à 14:30
Événement Assia Mahboubi Preuves formelles mutatis mutandis Colloque 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 … 02 juin 2025 11:00 à 11:45
Événement Pascal Ludwig & Hélie Bazin L’interprétation des IA connexionnistes Colloque Résumé Les productions, notamment linguistiques, de certaines intelligences artificielles se rapprochent de plus en plus des productions humaines. Dans ce contexte, il semble souvent pertinent d’attribuer des états intentionnels à ces programmes. … 27 mai 2025 11:00 à 11:55
Événement Antoine Chambert-Loir Sur la formalisation des puissances divisées Colloque 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 … 02 juin 2025 10:05 à 10:45
Événement Denis Bonnay Faut-il réfléchir avant de parler ? Ou les implications philosophiques du Chain of Thought Colloque Résumé Les derniers progrès en date de l’IA générative reposent sur une technique appelée « Chain of Thought » (CoT), qui consiste à faire en sorte que la machine « réfléchisse » avant de répondre. Il s’agit initialement d’une stratégie utilisée dans les … 27 mai 2025 10:00 à 10:55
Événement Bruno Maureille Sépultures et gestes funéraires dans le Paléolithique moyen Colloque 04 juin 2025 11:20 à 11:50
Événement Nohemi Sala The Roots of Funerary Behavior in the Middle Pleistocene Colloque 04 juin 2025 10:50 à 11:20
Événement Daniel Andler Discuter avec un LLM ? Colloque Résumé Les grands modèles de langage (LLM) semblent capables de soutenir une discussion sur toutes sortes de sujets. Devant ce constat, trois réactions sont possibles. On peut attribuer aux LLM une forme d’intelligence, qui inclut une certaine … 27 mai 2025 09:00 à 09:55
Cycle Enhancers Sequences and Gene Regulation Denis Duboule, chaire Évolution du développement et des génomes Colloque © Raquel Rouco … 11 avr 2025
Événement Julien d’Huy La mort est-elle une fin ? Ce que la mythologie comparée nous apprend des premières croyances de l’humanité Colloque 04 juin 2025 09:45 à 10:15
Événement Loïc Le Quellec Peut-on reconstituer les mythes des sociétés paléolithiques ? Colloque 04 juin 2025 09:15 à 09:45
Événement Nathalie Bajos Remarques conclusives Colloque Documents et médias Regarder la vidéo doublée en anglais … 26 juin 2025 18:15 à 18:30
Événement Seth Holmes Enviro-Anthropo-Genesis: The Co-production and Destruction of Bodies of People, Land and Water Colloque Cette vidéo est proposée dans une version doublée en français. La version originale en anglais est également accessible ci-dessous. Documents et médias Regarder la vidéo en anglais (version originale) Session 3 : Interroger la structuration sociale des … 26 juin 2025 17:00 à 18:00
Événement Greta Bauer A New Framework for Understanding Social Privilege and Health Colloque Cette vidéo est proposée dans une version doublée en français. La version originale en anglais est également accessible ci-dessous. Documents et médias Regarder la vidéo en anglais (version originale) Télécharger le support Session 3 : Interroger la … 26 juin 2025 16:00 à 17:00
Cycle Topological Quantum Matter with Atoms and Photons Jean Dalibard, chaire Atomes et rayonnement Colloque 11 avr 2025
Événement Michelle Kelly-Irving Socio-Structural Processes Underlying the Production of Health Inequalities over the Life Course: Theoretical Tools and Empirical Evidence Colloque Cette vidéo est proposée dans une version doublée en français. La version originale en anglais est également accessible ci-dessous. Documents et médias Regarder la vidéo en anglais (version originale) Télécharger le support Session 2 : Saisir … 26 juin 2025 14:30 à 15:30
