Collège de France - Sélection

Jean-Daniel BoissonnatInformatique et sciences numériques (2016-2017)Géométrie algorithmique : données, modèles, programmesLeçon inaugurale : Géométrie algorithmique : des données géométriques à la géométrie des données

Didier RouxCollège de FranceInnovation technologique Liliane Bettencourt (2016-2017)Leçon inaugurale : Recherche fondamentale, Inventions et Innovations

Philippe ManouryCréation artistique (2016-2017)Collège de FranceMusiques, sons et signesLeçon inaugurale : L'invention de la musiqueExtraits musicauxDebussy : Nuages, extrait des 3 nocturnes pour orchestreOrchestre du Concertgebouw d'Amsterdam, direction : Bernard Haitink (CD du commerce)Manoury : 60ème parallèleOpéra sur un livret de Michel DeutschOrchestre de Paris, direction : David Robertson (CD du commerce)Manoury : Mea Lux extrait de En échoDonnatienne Michel-Dansac, soprano (CD du commerce)Manoury : Un jardin extrait de En échoDonnatienne Michel-Dansac, soprano (CD du commerce)Wagner : Tristan une IsoldeStattskapelle Dresden, direction : Carlos Kleiber (CD du commerce)Manoury : Le temps mode d'emploi Duo Grau-Schumacher, pianos (Enregistrement privé)

Jean-Louis Mandel Chaire Génétique humaine (2003-2016) Collège de France Leçon de clôture : Gènes et maladies, 2004-2016 et perspectives Date : 1er juin 2016

Alain MabanckouCollège de FranceChaire Création artistique 2015-2016Leçon inaugurale : Lettres noires : des ténèbres à la lumière

John ScheidCollège de FranceReligion, institutions et sociétés de la Rome antiqueAnnée 2015-2016Leçon de clôture - John Scheid : La religion romaine en perspective Date : 3 mars 2016 Résumé La religion romaine ne connaissant ni Révélation ni Livre sacré, l'obligation rituelle constituait le seul élément auquel le pratiquant pouvait s'accrocher. Cet ouvrage, leçon de clôture du professeur John Scheid au Collège de France, retrace l'appréciation difficile de cette particularité religieuse encore partagée par de nombreuses religions du monde actuel, et que les modernes ont mis longtemps à reconnaître. En différenciant religion de l'individu, au sens romantique, et religions polythéistes et ritualistes ignorant le concept moderne de personne, cette réflexion invite plus largement le lecteur à repenser les notions d'individu et de citoyen dans la société romaine.

Michel Zink Chaire Litératures de la France médiévale (1995-2016) Collège de France Année 2015-2016 Leçon de clôture : Ce que nous devons aux anciens poètes de la FranceDate : 10 février 2016

Yann LeCunInformatique et sciences numériquesChaire annuelle en partenariat avec l'InriaAnnée 2015-2016L'apprentissage profond : une révolution en intelligence artificielleLeçon inauguraleCe dernier cours de 2014-2015 introduit les méthodes implicites de manipulation de systèmes de transitions, à travers les méthodes de calcul booléen utilisées à la fois pour la vérification formelles et pour l'optimisation de circuits électroniques et de programmes qui peuvent se réduire au calcul booléen.Ces méthodes ont révolutionné le domaine en permettant des vérifications formelles de systèmes dont le calcul explicite des états et transitions est impossible, car la taille des formules manipulées par les méthodes implicites est largement indépendante de celle des systèmes qu'ils décrivent. Nous expliquons d'abord les codages booléens d'ensembles, de relations et de fonctions, et montrons comment calculer l'image directe et l'image inverse de sous-ensembles par des fonctions. Nous étudions ensuite les codages booléens d'automates déterministes et non-déterministes, ainsi que leurs implémentations en circuits électroniques. Nous rappelons le fait que le circuit canoniquement associé à un automate non-déterministe est lui déterministe comme tous les circuits combinatoirement acycliques, ce qui montre clairement que le qualificatif « non-déterminisme » est particulièrement mal choisi : en vérification booléenne comme en optimisation de circuits, il est inutile de déterminiser les automates, et c'est souvent nuisible à cause de l'explosion exponentielle que la déterminisation peut produire. Nous montrons comment la vérification formelle de propriétés de sûreté définies par des observateurs se réduit au calcul des états accessibles, et comment effectuer ce calcul de manière implicite. Nous introduisons la première structure fondamentale du calcul booléen, les Binary Decision Diagrams, développés par R. Bryant au milieu des années 1980 (et indépendamment par J-P. Billion chez Bull en France), et expliquons pourquoi ils permettent de faire les calculs nécessaires au passage à la grande échelle; nous mentionnons leurs limitations, qui sont inévitables car le calcul booléen est NP-complet. Les BDDs seront étudiés beaucoup plus en profondeur dans le cours 2015-2015.Pour terminer, nous montrons que le codage booléen permet de réaliser des optimisations très efficaces des circuits engendrés par les programmes Esterel. Nous insistons sur le fait que la structure du langage source et la façon d'y programmer les applications sont essentiels pour la qualité de l'optimisation finale : c'est grâce à l'interaction de la séquence, du parallélisme et de la préemption hiérarchique des comportements que les circuits engendrés par Esterel sont systématiquement meilleurs que ceux programmés et optimisés par les méthodes classiques, au moins en ce qui concerne leurs parties contrôle.

Collège de FranceAnnée 2015-2016José-Alain SahelChaire d'Innovation technologique Liliane BettencourtLeçon inaugurale : Rapprocher les regards

Jean-Luc FournetCollège de FranceLeçon inaugurale :Culture écrite de l'antiquité tardive et papyrologie byzantine