Conférence dans le cadre des Congrès scientifiques mondiaux TimeWorld : TimeWorld expose et anime la connaissance sous toutes ses formes, théorique, appliquée et prospective. TimeWorld propose un état de l'art sur une thématique majeure, avec une approche multiculturelle et interdisciplinaire. C'est l'opportunité de rencontres entre chercheurs, industriels, universitaires, artistes et grand public pour faire émerger des idées en science et construire de nouveaux projets.
https://timeworldevent.com/fr/
-------------------------------
Ancien élève de l’École polytechnique, ingénieur général du corps des Mines, membre de l’Académie des sciences, de l’Académie des technologies et de l’Academia Europaea, Gérard Berry a été chercheur à l’École des mines de Paris et à l’Institut national de recherche en informatique et en automatique (Inria) de 1970 à 2000, directeur scientifique de la société Esterel Technologies de 2001 à 2009 puis directeur scientifique de l’Inria et président de la commission d’évaluation de cet institut de 2009 à 2012. Il tient la chaire Informatique et sciences numériques au Collège de France depuis 2012, après y avoir tenu deux chaires annuelles en 2007-2008 et 2009-2010. Sa contribution scientifique concerne quatre sujets principaux : le traitement formel des langages de programmation et leurs relations avec la logique mathématique, la programmation parallèle et temps réel, la conception assistée par ordinateur de circuits intégrés, et la vérification formelle des programmes et circuits. Il est le créateur du langage de programmation Esterel.
Conférence : En quoi l'informatique est-elle une science et une technique de construction ?
29 juin 2022, 16h - 16h45 — Amphi 34B
Les sciences naturelles (physique, chimie, astronomie, biologie, etc.), étudient la nature et se servent de leurs résultats pour construire de nouveaux objets et systèmes, alors que les mathématiques développent essentiellement des abstractions en partant soit des phénomènes naturels soit de questions internes. L'informatique joue les deux rôles simultanément. Ni science de la nature, ni science strictement mathématique, elle utilise ses propres abstractions pour construire de nouveaux systèmes hors de portée des sciences classiques, avec une grande unité de pensée et façons de faire malgré une palette toujours plus large d'applications : Internet et les objets connectés en sont d'excellent exemples. Mais elle modifie aussi en profondeur les autres sciences et techniques. Elle joue maintenant un rôle fondamental dans les appareils de physique, biologie et médecine. Les avions, machines, immeubles, etc. sont conçus en CAO. La simulation sur ordinateur et l'apprentissage automatique de l'IA gagnent tous les domaines Nous montrerons que cette profonde évolution résulte de deux principes simples : celui de la machine universelle qu'est l'ordinateur, unique dans l'histoire humaine car il n'y a pas de machine universelle en physique (la cellule peut être vue comme universelle en biologie, mais ce n'est pas nous qui l'avons conçue), et celui de l'auto-construction : les circuits électroniques et logiciels d'application sont systématiquement construits à l'aide d'autres logiciels et circuits, ce qui permet en montant les marches de passer à des échelles autrefois impensables.