04 Mar 2015 → 01 Apr 2015 Seminar Proving programs : why, when, how ? 04 Mar 2015 → 01 Apr 2015 Share Facebook X (ex-Twitter) Linkedin Copy url
from Wednesday 4 March to Wednesday 1 April 2015 See also: Related LectureGérard Berry Documents and media Download program pdf (228.54 KB) Program Lecture 16:00 - 17:00 The computer revolution in science Gérard Berry 28 Jan 2015 Proving programs : why, when and how ? École normale supérieure de Lyon 28 Jan 2015 16:00 - 17:00 Lecture 16:00 - 17:30 From specification to realization, testing and proof : formal approaches Gérard Berry 04 Mar 2015 Proving programs : why, when and how ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 04 Mar 2015 16:00 - 17:30 Seminar 17:30 - 18:30 The Internet of Things, a revolution not to be missed Joseph Sifakis 04 Mar 2015 Proving programs : why, when, how ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 04 Mar 2015 17:30 - 18:30 Lecture 16:00 - 17:30 General methods : assertions, rewriting, abstract interpretation, logics and proof assistants Gérard Berry 11 Mar 2015 Proving programs : why, when and how ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 11 Mar 2015 16:00 - 17:30 Seminar 17:30 - 18:30 Using formal methods to secure complex systems : an industrial breakthrough Dominique Bolignano 11 Mar 2015 Proving programs : why, when, how ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 11 Mar 2015 17:30 - 18:30 Lecture 16:00 - 17:30 Logics of higher order than programming verified in Coq Gérard Berry 18 Mar 2015 Proving programs : why, when and how ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 18 Mar 2015 16:00 - 17:30 Seminar 17:30 - 18:30 Languages and systems for interactive proof Christine Paulin 18 Mar 2015 Proving programs : why, when, how ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 18 Mar 2015 17:30 - 18:30 Lecture 16:00 - 17:30 Model-checking Gérard Berry 25 Mar 2015 Proving programs : why, when and how ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 25 Mar 2015 16:00 - 17:30 Seminar 17:30 - 18:30 Proving IT security : logic to the rescue Véronique Cortier 25 Mar 2015 Proving programs : why, when, how ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 25 Mar 2015 17:30 - 18:30 Lecture 16:00 - 17:30 Boolean verification and optimization of PLCs and circuits Gérard Berry 01 Apr 2015 Proving programs : why, when and how ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 01 Apr 2015 16:00 - 17:30 Seminar 17:30 - 18:30 Program specification, construction and verification : the path of scientific thought over forty years Jean-Raymond Abrial 01 Apr 2015 Proving programs : why, when, how ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 01 Apr 2015 17:30 - 18:30 See also Lecture related to the seminar: Proving programs : why, when and how ? Gérard Berry, chair Algorithms, machines and languages
Lecture 16:00 - 17:00 The computer revolution in science Gérard Berry 28 Jan 2015 Proving programs : why, when and how ? École normale supérieure de Lyon 28 Jan 2015 16:00 - 17:00
Lecture 16:00 - 17:30 From specification to realization, testing and proof : formal approaches Gérard Berry 04 Mar 2015 Proving programs : why, when and how ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 04 Mar 2015 16:00 - 17:30
Seminar 17:30 - 18:30 The Internet of Things, a revolution not to be missed Joseph Sifakis 04 Mar 2015 Proving programs : why, when, how ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 04 Mar 2015 17:30 - 18:30
Lecture 16:00 - 17:30 General methods : assertions, rewriting, abstract interpretation, logics and proof assistants Gérard Berry 11 Mar 2015 Proving programs : why, when and how ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 11 Mar 2015 16:00 - 17:30
Seminar 17:30 - 18:30 Using formal methods to secure complex systems : an industrial breakthrough Dominique Bolignano 11 Mar 2015 Proving programs : why, when, how ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 11 Mar 2015 17:30 - 18:30
Lecture 16:00 - 17:30 Logics of higher order than programming verified in Coq Gérard Berry 18 Mar 2015 Proving programs : why, when and how ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 18 Mar 2015 16:00 - 17:30
Seminar 17:30 - 18:30 Languages and systems for interactive proof Christine Paulin 18 Mar 2015 Proving programs : why, when, how ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 18 Mar 2015 17:30 - 18:30
Lecture 16:00 - 17:30 Model-checking Gérard Berry 25 Mar 2015 Proving programs : why, when and how ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 25 Mar 2015 16:00 - 17:30
Seminar 17:30 - 18:30 Proving IT security : logic to the rescue Véronique Cortier 25 Mar 2015 Proving programs : why, when, how ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 25 Mar 2015 17:30 - 18:30
Lecture 16:00 - 17:30 Boolean verification and optimization of PLCs and circuits Gérard Berry 01 Apr 2015 Proving programs : why, when and how ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 01 Apr 2015 16:00 - 17:30
Seminar 17:30 - 18:30 Program specification, construction and verification : the path of scientific thought over forty years Jean-Raymond Abrial 01 Apr 2015 Proving programs : why, when, how ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 01 Apr 2015 17:30 - 18:30