22 Feb 2008 10:30 - 11:30 Lecture Bug hunting : checking programs and circuits Gérard Berry Why and how the world is going digital 22 Feb 2008 10:30 - 11:30 Share Facebook Linkedin Copy url Audio-visual RSS
Friday 22 February 2008 Amphithéâtre Guillaume Budé, Site Marcelin Berthelot Open to all 10:30 - 11:30 Skip youtube video player Listen to audio Documents and media Download support pdf (262.88 KB) Speaker(s) Gérard Berry Professor at the Collège de France Events Previous Lecture 25 Jan 2008 10:30 - 11:30 Gérard Berry Algorithms, the heart of computing Seminar 25 Jan 2008 11:30 - 12:30 Philippe Flajolet Probabilistic algorithms for large data sets Lecture 1 Feb 2008 10:30 - 11:30 Gérard Berry From circuits to systems-on-chips Seminar 1 Feb 2008 11:30 - 12:30 Laurent Thenie The race to the infinitely small and its technological challenges Lecture 8 Feb 2008 10:30 - 11:30 Gérard Berry Programming languages, vectors of IT thinking Seminar 8 Feb 2008 11:30 - 12:30 Xavier Leroy From language to action : compilation and typing Lecture 15 Feb 2008 10:30 - 11:30 Gérard Berry Embedded systems and the computerization of objects Seminar 15 Feb 2008 11:30 - 12:30 Gérard Ladier Certification, or how to put your trust in software for critical avionics Lecture 22 Feb 2008 10:30 - 11:30 Gérard Berry Bug hunting : checking programs and circuits Seminar 22 Feb 2008 11:30 - 12:30 Patrick Cousot Program verification through abstract interpretation Seminar 22 Feb 2008 12:00 - 13:00 Gilles Dowek Proof and calculation, an intimate relationship Lecture 14 Mar 2008 10:30 - 11:30 Gérard Berry Networks: an exceptional space for innovation Seminar 14 Mar 2008 11:30 - 12:30 François Bourdoncle Search engines, technology and challenges Seminar 14 Mar 2008 12:00 - 13:00 Laurent Massoulié Peer-to-peer systems and epidemic information dissemination Lecture 21 Mar 2008 10:30 - 11:30 Gérard Berry Images and videos, from theory to applications Seminar 21 Mar 2008 10:35 - 11:35 Nicholas Ayache From medical imaging to the virtual patient Seminar 21 Mar 2008 11:10 - 12:10 Frédéric Guichard Why digital is revolutionizing photography Seminar 21 Mar 2008 11:50 - 12:50 Stéphane Mallat Challenges and innovations in image processing for high-definition television Seminar 28 Mar 2008 10:30 - 11:30 Jacques Stern Cryptology, the science of secret messages and secure transactions Not recorded Lecture 28 Mar 2008 11:30 - 12:30 Gérard Berry Digital Challenges Next See also Seminar related to the lecture: Why and how the world is going digital Gérard Berry, chair Technological Innovation Liliane Bettencourt Why and how the world is going digital
Seminar 1 Feb 2008 11:30 - 12:30 Laurent Thenie The race to the infinitely small and its technological challenges
Seminar 15 Feb 2008 11:30 - 12:30 Gérard Ladier Certification, or how to put your trust in software for critical avionics
Seminar 22 Feb 2008 11:30 - 12:30 Patrick Cousot Program verification through abstract interpretation
Seminar 14 Mar 2008 12:00 - 13:00 Laurent Massoulié Peer-to-peer systems and epidemic information dissemination
Seminar 21 Mar 2008 11:50 - 12:50 Stéphane Mallat Challenges and innovations in image processing for high-definition television
Seminar 28 Mar 2008 10:30 - 11:30 Jacques Stern Cryptology, the science of secret messages and secure transactions Not recorded
