Collège De France (sciences Et Technologies)

Xavier Leroy Collège de France Science du logiciel Année 2018-2019 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui

Françoise Combes Collège de France Galaxies et cosmologie Année 2018 - 2019 Amas de Galaxies et grandes structures de l'Univers

Molly Przeworski Innovation technologique Liliane Bettencourt (2018-2019) Origines évolutives des variations génétiques Les variations génétiques héréditaires proviennent de changements accidentels du génome qui se produisent au cours de la reproduction d’un individu et qui persistent dans la population, que ce soit par hasard ou parce qu’ils ont été ou sont bénéfiques. Bien que ces processus et leurs interactions soient extrêmement compliqués, ils permettent à eux seuls de décrire l’évolution des espèces : qu’il s’agisse d’humains ou de mouches, la diversité génétique résulte en effet entièrement de l’interaction de la mutation, de la recombinaison, de la démographie et de la sélection naturelle. Nous nous intéresserons donc à chacune de ces composantes, en nous concentrant en premier sur les processus qui engendrent la variation génétique : la mutation et la recombinaison. Fait intéressant, ces mécanismes eux-mêmes évoluent, et nous discuterons des causes et conséquences de cette évolution. Nous examineron

Rachid Guerraoui Collège de France Informatique et sciences numériques (2018-2019) Année 2018-2019 Algorithmique répartie

Xavier Leroy Collège de France Science du logiciel Année 2018-2019 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui

Xavier Leroy Collège de France Science du logiciel Année 2018-2019 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui

Françoise Combes Collège de France Galaxies et cosmologie Année 2018 - 2019 Amas de Galaxies et grandes structures de l'Univers

Molly Przeworski Innovation technologique Liliane Bettencourt (2018-2019) Origines évolutives des variations génétiques Les variations génétiques héréditaires proviennent de changements accidentels du génome qui se produisent au cours de la reproduction d’un individu et qui persistent dans la population, que ce soit par hasard ou parce qu’ils ont été ou sont bénéfiques. Bien que ces processus et leurs interactions soient extrêmement compliqués, ils permettent à eux seuls de décrire l’évolution des espèces : qu’il s’agisse d’humains ou de mouches, la diversité génétique résulte en effet entièrement de l’interaction de la mutation, de la recombinaison, de la démographie et de la sélection naturelle. Nous nous intéresserons donc à chacune de ces composantes, en nous concentrant en premier sur les processus qui engendrent la variation génétique : la mutation et la recombinaison. Fait intéressant, ces mécanismes eux-mêmes évoluent, et nous discuterons des causes et conséquences de cette évolution. Nous examineron

Xavier Leroy Collège de France Science du logiciel Année 2018-2019 Leçon inaugurale : Le logiciel, entre l'esprit et la matière. Les travaux de recherche de Xavier LEROY portent d’une part sur les nouveaux langages et outils de programmation, et d’autre part sur la vérification formelle de logiciels critiques afin de garantir leur sûreté et leur sécurité. Il est l’architecte et l’un des principaux développeurs du langage de programmation fonctionnelle OCaml ainsi que du compilateur C formellement vérifié CompCert, deux grands logiciels issus de la recherche. Langages fonctionnels, systèmes de types et mise en pratique : les langages Caml Light et OCaml Xavier LEROY a été formé aux mathématiques et à l’informatique à l’École normale supérieure, puis à l’INRIA où il a effectué sa thèse. Programmeur prodige, il s’est illustré par une série de travaux de premier plan sur les systèmes de types et les systèmes de modules pour les langages fonctionnels, qui ont abouti au développement de Caml Light, devenu aujou

Rachid Guerraoui Collège de France Informatique et sciences numériques (2018-2019) Année 2018-2019 Algorithmique répartie

Molly Przeworski Innovation technologique Liliane Bettencourt (2018-2019) Origines évolutives des variations génétiques Les variations génétiques héréditaires proviennent de changements accidentels du génome qui se produisent au cours de la reproduction d’un individu et qui persistent dans la population, que ce soit par hasard ou parce qu’ils ont été ou sont bénéfiques. Bien que ces processus et leurs interactions soient extrêmement compliqués, ils permettent à eux seuls de décrire l’évolution des espèces : qu’il s’agisse d’humains ou de mouches, la diversité génétique résulte en effet entièrement de l’interaction de la mutation, de la recombinaison, de la démographie et de la sélection naturelle. Nous nous intéresserons donc à chacune de ces composantes, en nous concentrant en premier sur les processus qui engendrent la variation génétique : la mutation et la recombinaison. Fait intéressant, ces mécanismes eux-mêmes évoluent, et nous discuterons des causes et conséquences de cette évolution. Nous examineron

Rachid Guerraoui Collège de France Informatique et sciences numériques (2018-2019) Année 2018-2019 Algorithmique répartie

Rachid Guerraoui Collège de France Informatique et sciences numériques (2018-2019) Année 2018-2019 Rachid Guerraoui est un spécialiste mondial de l’algorithmique répartie. Formé à l’Université d’Orsay (aujourd’hui Université Paris-Saclay), il a été professeur invité au MIT et exercé au sein des prestigieux laboratoires Hewlett Packard de Paolo Alto avant de rejoindre l’Ecole polytechnique fédérale de Lausanne (EPFL), où il occupe actuellement un poste de professeur et dirige Laboratoire de calcul distribué (DCL). L'algorithmique répartie est la discipline scientifique qui identifie les conditions nécessaires et suffisantes sur les réseaux, grands ou petits, permettant de retrouver l'universalité de la machine de Turing. Lorsque ces conditions ne sont pas satisfaites, il s'agit de définir les formes d'universalités restreintes qu'il est possible de réaliser. Sans cela, il est impossible d'appréhender ce que font les algorithmes exécutés sur une chaîne de blocs (blockchain), un cloud, un data center ou sur l'

Molly Przeworski Innovation technologique Liliane Bettencourt (2018-2019) Origines évolutives des variations génétiques Leçon inaugurale La première ébauche du génome a fourni la feuille de route des quinze dernières années de recherche en génétique humaine. L’ère du big data combinée à une réduction très substantielle du coût du séquençage ont favorisé la mise en place de plates-formes globales permettant d'interroger la variation des populations dans le monde. En quelques années, des dizaines de milliers de séquences complètes du génome ont été rendues disponibles chez l'homme et chez des hominidés éteints, ainsi que chez des milliers d'autres espèces. Pour la génétique des populations, ces progrès ont ouvert l’opportunité auparavant inimaginable de reconstituer l'histoire généalogique et mutationnelle de l'homme ainsi que d’autres espèces et repoussé les limites de ce que nous pouvons déduire des forces évolutives et génétiques qui ont affecté chaque région du génome. D’où vient la variabilité génétique

Stéphane Mallat Collège de France Science des données Année 2017-2018 L'apprentissage face à la malédiction de la grande dimension L'analyse automatique des données numériques est devenue un enjeu industriel, sociétal et scientifique majeur et doit faire face à la diversification et la multiplication exponentielle de ces données. L' Assemblée du Collège de France a décidé de créer une chaire entièrement consacrée aux sciences des données, domaine fondamental qui non seulement bouleverse des pans entiers de nos économies et de nos sociétés, mais ouvrent aussi de vastes perspectives scientifiques et technologiques. Le Pr Stéphane Mallat qui a consacré sa recherche aux mathématiques appliquées au traitement du signal et plus récemment à l'étude des algorithmes d'apprentissage et des réseaux de neurones profonds est nommé titulaire de cette nouvelle chaire.

Stéphane Mallat Collège de France Science des données Année 2017-2018 L'apprentissage face à la malédiction de la grande dimension L'analyse automatique des données numériques est devenue un enjeu industriel, sociétal et scientifique majeur et doit faire face à la diversification et la multiplication exponentielle de ces données. L' Assemblée du Collège de France a décidé de créer une chaire entièrement consacrée aux sciences des données, domaine fondamental qui non seulement bouleverse des pans entiers de nos économies et de nos sociétés, mais ouvrent aussi de vastes perspectives scientifiques et technologiques. Le Pr Stéphane Mallat qui a consacré sa recherche aux mathématiques appliquées au traitement du signal et plus récemment à l'étude des algorithmes d'apprentissage et des réseaux de neurones profonds est nommé titulaire de cette nouvelle chaire.

Stéphane Mallat Collège de France Science des données Année 2017-2018 L'apprentissage face à la malédiction de la grande dimension L'analyse automatique des données numériques est devenue un enjeu industriel, sociétal et scientifique majeur et doit faire face à la diversification et la multiplication exponentielle de ces données. L' Assemblée du Collège de France a décidé de créer une chaire entièrement consacrée aux sciences des données, domaine fondamental qui non seulement bouleverse des pans entiers de nos économies et de nos sociétés, mais ouvrent aussi de vastes perspectives scientifiques et technologiques. Le Pr Stéphane Mallat qui a consacré sa recherche aux mathématiques appliquées au traitement du signal et plus récemment à l'étude des algorithmes d'apprentissage et des réseaux de neurones profonds est nommé titulaire de cette nouvelle chaire.

Stéphane Mallat Collège de France Science des données Année 2017-2018 L'apprentissage face à la malédiction de la grande dimension L'analyse automatique des données numériques est devenue un enjeu industriel, sociétal et scientifique majeur et doit faire face à la diversification et la multiplication exponentielle de ces données. L' Assemblée du Collège de France a décidé de créer une chaire entièrement consacrée aux sciences des données, domaine fondamental qui non seulement bouleverse des pans entiers de nos économies et de nos sociétés, mais ouvrent aussi de vastes perspectives scientifiques et technologiques. Le Pr Stéphane Mallat qui a consacré sa recherche aux mathématiques appliquées au traitement du signal et plus récemment à l'étude des algorithmes d'apprentissage et des réseaux de neurones profonds est nommé titulaire de cette nouvelle chaire.

Claire Mathieu Collège de France Informatique et sciences numériques (2017-2018) partenariat Inria Algorithmes Bibliographie Les numéros de pages font référence aux diapositives utilisées pour le cours. p. 4-13 et p. 22 Easley D. et Kleinberg J., "Networks, Crowds, and Markets: Reasoning About a Highly Connected World" Sections 13.1 et 13.2 Accéder au site p. 7-13 Bush V., "As We May Think", juillet 1945 Accéder au site p. 15-20 Easley-Kleinberg, Section 18.7 p. 23-29 Kanade V., Levi R., Lotker Z., Mallmann-Trenn F., Mathieu C., "Distance in the Forest Fire Model: How far are you from Eve?", ACM-SIAM SODA (Symposium on Discrete Algorithms), 2016 Accéder au PDF p. 30-39 Avin C., Keller B., Lotker Z., Mathieu C., Peleg D., Pignolet Y.-A., "Homophily and the Glass Ceiling Effect in Social Networks", ITCS (Innovations in Theoretical Computer Science), 2015 Accéder au PDF p. 41 Easley-Kleinberg, Section 16.2

Stéphane Mallat Collège de France Science des données Année 2017-2018 L'apprentissage face à la malédiction de la grande dimension L'analyse automatique des données numériques est devenue un enjeu industriel, sociétal et scientifique majeur et doit faire face à la diversification et la multiplication exponentielle de ces données. L' Assemblée du Collège de France a décidé de créer une chaire entièrement consacrée aux sciences des données, domaine fondamental qui non seulement bouleverse des pans entiers de nos économies et de nos sociétés, mais ouvrent aussi de vastes perspectives scientifiques et technologiques. Le Pr Stéphane Mallat qui a consacré sa recherche aux mathématiques appliquées au traitement du signal et plus récemment à l'étude des algorithmes d'apprentissage et des réseaux de neurones profonds est nommé titulaire de cette nouvelle chaire.