Share Facebook LinkedIn Bluesky Threads Copy url Events Sort by from the oldest to the newest from the oldest to the newest from the newest to the oldest 43 events Filters Dates Dates From To Apply Today Next 7 days Next 30 days All events Professor, chair or research center Professor, chair or research center Search a professor, a chair or a research center Gérard Berry (2012 - 2019) Areas Areas Mathematics and computer sciences (43) Event type Event type (-) Lecture (43) Seminar (42) Symposium (3) Opening lecture (1) Guest lecturer (2) Active filters Gérard Berry (2012 - 2019) Lecture Sort by from the oldest to the newest from the oldest to the newest from the newest to the oldest 2 Apr 2013 Lecture 10:00 - 11:00 Talking about time, but in a formal way (1) Gérard Berry 02 Apr 2013 Time and events in computing Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 02 Apr 2013 10:00 - 11:00 Lecture 11:00 - 12:00 Talking about the weather, but in a formal way (2) Gérard Berry 02 Apr 2013 Time and events in computing Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 02 Apr 2013 11:00 - 12:00 9 Apr 2013 Lecture 10:00 - 11:00 Circuits and 2-adic numbers, a new vision of time-space exchange Gérard Berry 09 Apr 2013 Time and events in computing Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 09 Apr 2013 10:00 - 11:00 16 Apr 2013 Lecture 10:00 - 11:00 Software reactive systems, the design of the Esterel v5 synchronous language Gérard Berry 16 Apr 2013 Time and events in computing Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 16 Apr 2013 10:00 - 11:00 23 Apr 2013 Lecture 10:00 - 11:00 Esterel v5 software compilation Gérard Berry 23 Apr 2013 Time and events in computing Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 Apr 2013 10:00 - 11:00 14 May 2013 Lecture 10:00 - 11:00 Synchronous and multi-clock circuit design in Esterel v7 Gérard Berry 14 May 2013 Time and events in computing Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 14 May 2013 10:00 - 11:00 21 May 2013 Lecture 10:00 - 11:00 Esterel v7 hardware synthesis and software compilation Gérard Berry 21 May 2013 Time and events in computing Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 21 May 2013 10:00 - 11:00 28 May 2013 Lecture 10:00 - 12:00 Orchestration of Web activities in HipHop Gérard Berry 28 May 2013 Time and events in computing Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 28 May 2013 10:00 - 12:00 15 Jan 2014 Lecture 16:00 - 17:00 Esterel and SCADE, from research to industry : the lab vision Gérard Berry 15 Jan 2014 Extended time : multiple clocks, discrete and continuous time INRIA Sophia-Antipolis 15 Jan 2014 16:00 - 17:00 22 Jan 2014 Lecture 16:00 - 17:00 Esterel and SCADE, from research to industry : machine vision Gérard Berry 22 Jan 2014 Extended time : multiple clocks, discrete and continuous time INRIA Sophia-Antipolis 22 Jan 2014 16:00 - 17:00 29 Jan 2014 Lecture 16:00 - 17:00 Scientific emergencies posed by the industry : fine causality, multi-clock circuits, ECOs and formal verification Gérard Berry 29 Jan 2014 Extended time : multiple clocks, discrete and continuous time INRIA Sophia-Antipolis 29 Jan 2014 16:00 - 17:00 5 Mar 2014 Lecture 16:00 - 17:00 Multi-clock circuits, metastability, synchronizers and asynchronous FIFOs Gérard Berry 05 Mar 2014 Extended time : multiple clocks, discrete and continuous time Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 05 Mar 2014 16:00 - 17:00 12 Mar 2014 Lecture 16:00 - 17:00 Synchronizing our watches : synchronizing hardware and software clocks in a distributed environment Gérard Berry 12 Mar 2014 Extended time : multiple clocks, discrete and continuous time Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 12 Mar 2014 16:00 - 17:00 19 Mar 2014 Lecture 16:00 - 17:00 Cooperation between time and communication models Gérard Berry 19 Mar 2014 Extended time : multiple clocks, discrete and continuous time Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 19 Mar 2014 16:00 - 17:00 26 Mar 2014 Lecture 16:00 - 17:00 Electricity is constructive : the equivalence between electrical propagation and constructive Boolean calculation for cyclic synchronous circuits Gérard Berry 26 Mar 2014 Extended time : multiple clocks, discrete and continuous time Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 26 Mar 2014 16:00 - 17:00 2 Apr 2014 Lecture 16:00 - 17:00 Playing with time Gérard Berry 02 Apr 2014 Extended time : multiple clocks, discrete and continuous time Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 02 Apr 2014 16:00 - 17:00 9 Apr 2014 Lecture 17:30 - 18:00 Discussion and answers to the year's questions Gérard Berry 09 Apr 2014 Extended time : multiple clocks, discrete and continuous time Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 09 Apr 2014 17:30 - 18:00 28 Jan 2015 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 4 Mar 2015 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 11 Mar 2015 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 18 Mar 2015 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 25 Mar 2015 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 1 Apr 2015 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 4 Nov 2015 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 9 Mar 2016 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 16 Mar 2016 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 23 Mar 2016 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 30 Mar 2016 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 6 Apr 2016 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 13 Apr 2016 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 Pagination Current page 1 Page 2 Next page Last page
Lecture 10:00 - 11:00 Talking about time, but in a formal way (1) Gérard Berry 02 Apr 2013 Time and events in computing Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 02 Apr 2013 10:00 - 11:00
Lecture 11:00 - 12:00 Talking about the weather, but in a formal way (2) Gérard Berry 02 Apr 2013 Time and events in computing Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 02 Apr 2013 11:00 - 12:00
Lecture 10:00 - 11:00 Circuits and 2-adic numbers, a new vision of time-space exchange Gérard Berry 09 Apr 2013 Time and events in computing Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 09 Apr 2013 10:00 - 11:00
Lecture 10:00 - 11:00 Software reactive systems, the design of the Esterel v5 synchronous language Gérard Berry 16 Apr 2013 Time and events in computing Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 16 Apr 2013 10:00 - 11:00
Lecture 10:00 - 11:00 Esterel v5 software compilation Gérard Berry 23 Apr 2013 Time and events in computing Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 Apr 2013 10:00 - 11:00
Lecture 10:00 - 11:00 Synchronous and multi-clock circuit design in Esterel v7 Gérard Berry 14 May 2013 Time and events in computing Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 14 May 2013 10:00 - 11:00
Lecture 10:00 - 11:00 Esterel v7 hardware synthesis and software compilation Gérard Berry 21 May 2013 Time and events in computing Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 21 May 2013 10:00 - 11:00
Lecture 10:00 - 12:00 Orchestration of Web activities in HipHop Gérard Berry 28 May 2013 Time and events in computing Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 28 May 2013 10:00 - 12:00
Lecture 16:00 - 17:00 Esterel and SCADE, from research to industry : the lab vision Gérard Berry 15 Jan 2014 Extended time : multiple clocks, discrete and continuous time INRIA Sophia-Antipolis 15 Jan 2014 16:00 - 17:00
Lecture 16:00 - 17:00 Esterel and SCADE, from research to industry : machine vision Gérard Berry 22 Jan 2014 Extended time : multiple clocks, discrete and continuous time INRIA Sophia-Antipolis 22 Jan 2014 16:00 - 17:00
Lecture 16:00 - 17:00 Scientific emergencies posed by the industry : fine causality, multi-clock circuits, ECOs and formal verification Gérard Berry 29 Jan 2014 Extended time : multiple clocks, discrete and continuous time INRIA Sophia-Antipolis 29 Jan 2014 16:00 - 17:00
Lecture 16:00 - 17:00 Multi-clock circuits, metastability, synchronizers and asynchronous FIFOs Gérard Berry 05 Mar 2014 Extended time : multiple clocks, discrete and continuous time Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 05 Mar 2014 16:00 - 17:00
Lecture 16:00 - 17:00 Synchronizing our watches : synchronizing hardware and software clocks in a distributed environment Gérard Berry 12 Mar 2014 Extended time : multiple clocks, discrete and continuous time Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 12 Mar 2014 16:00 - 17:00
Lecture 16:00 - 17:00 Cooperation between time and communication models Gérard Berry 19 Mar 2014 Extended time : multiple clocks, discrete and continuous time Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 19 Mar 2014 16:00 - 17:00
Lecture 16:00 - 17:00 Electricity is constructive : the equivalence between electrical propagation and constructive Boolean calculation for cyclic synchronous circuits Gérard Berry 26 Mar 2014 Extended time : multiple clocks, discrete and continuous time Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 26 Mar 2014 16:00 - 17:00
Lecture 16:00 - 17:00 Playing with time Gérard Berry 02 Apr 2014 Extended time : multiple clocks, discrete and continuous time Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 02 Apr 2014 16:00 - 17:00
Lecture 17:30 - 18:00 Discussion and answers to the year's questions Gérard Berry 09 Apr 2014 Extended time : multiple clocks, discrete and continuous time Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 09 Apr 2014 17:30 - 18:00
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
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
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
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
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
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
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
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
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
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
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
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