Franck Courchamp est directeur de recherche au CNRS. Il dirige à l'université Paris-Saclay une équipe de recherche sur la dynamique de la biodiversité et les impacts des activités humaines sur les écosystèmes et les espèces. Il s'est spécialisé dans l'étude des espèces exotiques envahissantes, c'est-à-dire celles introduites dans un milieu hors de leur aire de distribution naturelle et dont l'intégration finit par altérer tout un écosystème. Un terrain de recherche qui prend de plus en plus d'ampleur à l'heure du réchauffement climatique et dont les répercussions sur l'économie et les sociétés restent encore sous-évaluées.
Il est invité à occuper pour l'année 2024-2025 la chaire Biodiversité et écosystèmes, qui bénéficie du soutien de la Fondation Jean-François de Clermont-Tonnerre.
Descontinuat
Partez avec moi pour un voyage fascinant au cœur des expressions idiomatiques portugaises ! Dans notre première saison, "Le Portugal, un mosaïque de mots : Promenade à travers les idiomes et les lieux", nous parcourrons les paysages pittoresques du Portugal, dévoilant les récits et traditions derrière ses expressions les plus précieuses. 🌆🏞️
🎧 Épisode #01 : "Voyage à Rossio : L'histoire cachée derrière l'idiome le plus mystérieux du Portugal !" vous plonge dans les rues vibrantes du Portugal pour explorer les origines et les subtilités de ses expressions les plus captivantes.
Chaque épisode est conçu avec soin, offrant des dialogues en portugais authentique, accompagnés de traductions précises en anglais, garantissant une expérience immersive et enrichissante.Je vous invite chal
Informatique et sciences numériques (2024-2025)
Thierry Coquand
Année 2024-2025
Chaire annuelle
Présentation de la chaire
Créée en partenariat avec Inria, la chaire annuelle Informatique et sciences numériques marque une volonté commune de faire valoir l'importance de cette discipline scientifique et la nécessité de lui octroyer une place pleine et entière.
Théorie des types dépendants et formalisation des mathématiques
La théorie des types a été introduite par Bertrand Russell pour éviter les paradoxes qui apparaissent en mathématique si l'on utilise de manière trop naïve la notion de collection d'objets. Cette notion de types a été raffinée par la notion de type dépendant, dans le but de représenter les preuves mathématiques sur ordinateur, et de pouvoir ainsi vérifier la correction de ces preuves. Cette idée d'utiliser ainsi l'ordinateur connaît depuis quelques années un grand développement (vérification de la
