Collège De France (sciences Et Technologies)

Xavier Leroy Collège de France Science du logiciel Année 2020-2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Résumé Comment s'assurer qu'un logiciel fait ce qu'il est censé faire ? Les méthodes classiques de vérification et de validation du logiciel, reposant sur le test, les revues et les analyses, ne suffisent pas toujours. La vérification déductive permet d'aller plus loin en établissant des propriétés vraies de toutes les exécutions possibles d'un programme, via des raisonnements formels au sein d'une logique appropriée : une logique de programmes. Le premier cours a illustré cette approche par la vérification déductive d'une fonction de recherche dichotomique dans un tableau trié, un algorithme très utilisé et souvent implémenté de manière incorrecte. Ensuite, le cours a retracé l'émergence de la vérification déductive et des logiques de programmes via trois publications fondatrices. La brève communication d'Alan Turing en 1949, intitulée « Checking a large routine », int

Stéphane Mallat Collège de France Science des données Année 2020-2021 Représentations parcimonieuses

Jean-François Joanny Matière molle et biophysique Collège de France Année 2020-2021 Mécanique et croissance des tissus Le cours de Jean-François Joanny montre comment la théorie de la matière molle en général et plus pécifiquement la théorie de la matière active permettent une description quantitative des systèmes biologiques de la cellule au tissu. Après avoir consacré un cours à la théorie hydrodynamique de la matière active, il discutera en 2020-2021 de la physique des tissus à la fois à l’échelle locale des cellules (modèles de vertex) et à l’échelle globale du tissu.

Jean-Philippe Bouchaud Collège de France Chaire Innovation Technologique Lilianne Bettencourt Année 2020-2021 Leçon inaugurale : De la physique statistique aux sciences sociales : les défis de la pluridisciplinarité

Jean-François Joanny Matière molle et biophysique Collège de France Année 2020-2021 Mécanique et croissance des tissus Le cours de Jean-François Joanny montre comment la théorie de la matière molle en général et plus pécifiquement la théorie de la matière active permettent une description quantitative des systèmes biologiques de la cellule au tissu. Après avoir consacré un cours à la théorie hydrodynamique de la matière active, il discutera en 2020-2021 de la physique des tissus à la fois à l’échelle locale des cellules (modèles de vertex) et à l’échelle globale du tissu.

Stéphane Mallat Collège de France Science des données Année 2020-2021 Représentations parcimonieuses

Jean-François Joanny Matière molle et biophysique Collège de France Année 2020-2021 Mécanique et croissance des tissus Le cours de Jean-François Joanny montre comment la théorie de la matière molle en général et plus pécifiquement la théorie de la matière active permettent une description quantitative des systèmes biologiques de la cellule au tissu. Après avoir consacré un cours à la théorie hydrodynamique de la matière active, il discutera en 2020-2021 de la physique des tissus à la fois à l’échelle locale des cellules (modèles de vertex) et à l’échelle globale du tissu.

Stéphane Mallat Collège de France Science des données Année 2020-2021 Représentations parcimonieuses

Jean-François Joanny Matière molle et biophysique Collège de France Année 2020-2021 Mécanique et croissance des tissus Le cours de Jean-François Joanny montre comment la théorie de la matière molle en général et plus pécifiquement la théorie de la matière active permettent une description quantitative des systèmes biologiques de la cellule au tissu. Après avoir consacré un cours à la théorie hydrodynamique de la matière active, il discutera en 2020-2021 de la physique des tissus à la fois à l’échelle locale des cellules (modèles de vertex) et à l’échelle globale du tissu.

Stéphane Mallat Collège de France Science des données Année 2020-2021 Représentations parcimonieuses

Stéphane Mallat Collège de France Science des données Année 2020-2021 Représentations parcimonieuses

Stéphane Mallat Collège de France Science des données Année 2020-2021 Représentations parcimonieuses

Stéphane Mallat Collège de France Science des données Année 2020-2021 Représentations parcimonieuses

Stéphane Mallat Collège de France Science des données Année 2019-2020 Modèles multi-échelles et réseaux de neurones convolutifs

xBảo Châu Ngô Collège de France Formes automorphes (chaire internationale) Année 2021 - 2022 Leçon inaugurale : La fonctorialité de Langlands et l'équation fonctionnelle des fonctions L automorphes

Stéphane Mallat Collège de France Science des données Année 2019-2020 Modèles multi-échelles et réseaux de neurones convolutifs

Stéphane Mallat Collège de France Science des données Année 2019-2020 Modèles multi-échelles et réseaux de neurones convolutifs

Stéphane Mallat Collège de France Science des données Année 2019-2020 Modèles multi-échelles et réseaux de neurones convolutifs

Xavier Leroy Collège de France Science du logiciel Année 2019-2020 Sémantiques mécanisées : quand la machine raisonne sur ses langages

Stéphane Mallat Collège de France Science des données Année 2019-2020 Modèles multi-échelles et réseaux de neurones convolutifs