04 Nov 2015 → 13 Apr 2016 Seminar Data structures and algorithms for formal verification 04 Nov 2015 → 13 Apr 2016 Share Facebook X (ex-Twitter) Linkedin Copy url
from Wednesday 4 November 2015 to Wednesday 13 April 2016 See also: Related LectureGérard Berry Program Lecture 16:00 - 17:30 The importance of computer languages Gérard Berry 04 Nov 2015 Data structures and algorithms for formal verification INRIA Rennes 04 Nov 2015 16:00 - 17:30 Seminar 17:30 - 18:30 Integrating formal verification into programming languages (INRIA Rennes) Thomas Jensen 04 Nov 2015 Data structures and algorithms for formal verification INRIA Rennes 04 Nov 2015 17:30 - 18:30 Lecture 16:00 - 17:30 BDDs (Binary Decision Diagrams) and their applications Gérard Berry 09 Mar 2016 Data structures and algorithms for formal verification Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 09 Mar 2016 16:00 - 17:30 Seminar 17:30 - 18:30 Application of BDDs in integrated circuit design Jean-Christophe Madre et Patrick Vuillod 09 Mar 2016 Data structures and algorithms for formal verification Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 09 Mar 2016 17:30 - 18:30 Lecture 16:00 - 17:30 SAT : Boolean satisfaction Gérard Berry 16 Mar 2016 Data structures and algorithms for formal verification Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 16 Mar 2016 16:00 - 17:30 Seminar 17:30 - 18:30 SAT : victories over difficult problems Laurent Simon 16 Mar 2016 Data structures and algorithms for formal verification Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 16 Mar 2016 17:30 - 18:30 Lecture 16:00 - 17:30 SMT : satisfaction modulo theories Gérard Berry 23 Mar 2016 Data structures and algorithms for formal verification Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 Mar 2016 16:00 - 17:30 Seminar 17:30 - 18:30 SMT in practice : the Alt-Ergo demonstrator Sylvain Conchon 23 Mar 2016 Data structures and algorithms for formal verification Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 Mar 2016 17:30 - 18:30 Lecture 16:00 - 17:30 Formal verification of timed programs Gérard Berry 30 Mar 2016 Data structures and algorithms for formal verification Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 30 Mar 2016 16:00 - 17:30 Seminar 17:30 - 18:30 Real-Time Model Checking of Embedded Systems Kim Larsen 30 Mar 2016 Data structures and algorithms for formal verification Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 30 Mar 2016 17:30 - 18:30 Lecture 16:00 - 17:30 Verification by explicit enumeration Gérard Berry 06 Apr 2016 Data structures and algorithms for formal verification Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 06 Apr 2016 16:00 - 17:30 Seminar 17:30 - 18:30 Formal verification applied to cryptographic protocols Stéphanie Delaune 06 Apr 2016 Data structures and algorithms for formal verification Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 06 Apr 2016 17:30 - 18:30 Seminar 16:00 - 17:00 Towards safe and expressive automation : combining automatic and interactive proofs Chantal Keller 13 Apr 2016 Data structures and algorithms for formal verification Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 13 Apr 2016 16:00 - 17:00 Lecture 17:00 - 18:30 Conclusion and answers to the year's questions Gérard Berry 13 Apr 2016 Data structures and algorithms for formal verification Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 13 Apr 2016 17:00 - 18:30 See also Lecture related to the seminar: Data structures and algorithms for formal verification Gérard Berry, chair Algorithms, machines and languages
Lecture 16:00 - 17:30 The importance of computer languages Gérard Berry 04 Nov 2015 Data structures and algorithms for formal verification INRIA Rennes 04 Nov 2015 16:00 - 17:30
Seminar 17:30 - 18:30 Integrating formal verification into programming languages (INRIA Rennes) Thomas Jensen 04 Nov 2015 Data structures and algorithms for formal verification INRIA Rennes 04 Nov 2015 17:30 - 18:30
Lecture 16:00 - 17:30 BDDs (Binary Decision Diagrams) and their applications Gérard Berry 09 Mar 2016 Data structures and algorithms for formal verification Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 09 Mar 2016 16:00 - 17:30
Seminar 17:30 - 18:30 Application of BDDs in integrated circuit design Jean-Christophe Madre et Patrick Vuillod 09 Mar 2016 Data structures and algorithms for formal verification Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 09 Mar 2016 17:30 - 18:30
Lecture 16:00 - 17:30 SAT : Boolean satisfaction Gérard Berry 16 Mar 2016 Data structures and algorithms for formal verification Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 16 Mar 2016 16:00 - 17:30
Seminar 17:30 - 18:30 SAT : victories over difficult problems Laurent Simon 16 Mar 2016 Data structures and algorithms for formal verification Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 16 Mar 2016 17:30 - 18:30
Lecture 16:00 - 17:30 SMT : satisfaction modulo theories Gérard Berry 23 Mar 2016 Data structures and algorithms for formal verification Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 Mar 2016 16:00 - 17:30
Seminar 17:30 - 18:30 SMT in practice : the Alt-Ergo demonstrator Sylvain Conchon 23 Mar 2016 Data structures and algorithms for formal verification Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 Mar 2016 17:30 - 18:30
Lecture 16:00 - 17:30 Formal verification of timed programs Gérard Berry 30 Mar 2016 Data structures and algorithms for formal verification Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 30 Mar 2016 16:00 - 17:30
Seminar 17:30 - 18:30 Real-Time Model Checking of Embedded Systems Kim Larsen 30 Mar 2016 Data structures and algorithms for formal verification Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 30 Mar 2016 17:30 - 18:30
Lecture 16:00 - 17:30 Verification by explicit enumeration Gérard Berry 06 Apr 2016 Data structures and algorithms for formal verification Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 06 Apr 2016 16:00 - 17:30
Seminar 17:30 - 18:30 Formal verification applied to cryptographic protocols Stéphanie Delaune 06 Apr 2016 Data structures and algorithms for formal verification Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 06 Apr 2016 17:30 - 18:30
Seminar 16:00 - 17:00 Towards safe and expressive automation : combining automatic and interactive proofs Chantal Keller 13 Apr 2016 Data structures and algorithms for formal verification Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 13 Apr 2016 16:00 - 17:00
Lecture 17:00 - 18:30 Conclusion and answers to the year's questions Gérard Berry 13 Apr 2016 Data structures and algorithms for formal verification Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 13 Apr 2016 17:00 - 18:30
