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 X (ex-Twitter) 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 Video URL Listen to audio Documents and media Download support pdf (262.88 KB) Speaker(s) Gérard Berry Professor at the Collège de France 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 Events Previous event in the series Seminar 11:30 - 12:30 Certification, or how to put your trust in software for critical avionics Gérard Ladier 15 Feb 2008 Why and how the world is going digital Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 15 Feb 2008 11:30 - 12:30 Next event in the series Seminar 11:30 - 12:30 Program verification through abstract interpretation Patrick Cousot 22 Feb 2008 Why and how the world is going digital Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 22 Feb 2008 11:30 - 12:30
Seminar 11:30 - 12:30 Certification, or how to put your trust in software for critical avionics Gérard Ladier 15 Feb 2008 Why and how the world is going digital Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 15 Feb 2008 11:30 - 12:30
Seminar 11:30 - 12:30 Program verification through abstract interpretation Patrick Cousot 22 Feb 2008 Why and how the world is going digital Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 22 Feb 2008 11:30 - 12:30
