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 42 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 (42) Event type Event type Lecture (43) (-) Seminar (42) Symposium (3) Opening lecture (1) Guest lecturer (2) Active filters Gérard Berry (2012 - 2019) Seminar Sort by from the oldest to the newest from the oldest to the newest from the newest to the oldest 9 Apr 2013 Seminar 11:00 - 12:00 The evolution of microprocessors Olivier Temam 09 Apr 2013 Time and events in computing Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 09 Apr 2013 11:00 - 12:00 16 Apr 2013 Seminar 11:00 - 12:00 Synchronous modeling of avionics systems and software Emmanuel Ledinot 16 Apr 2013 Time and events in computing Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 16 Apr 2013 11:00 - 12:00 23 Apr 2013 Seminar 11:00 - 12:00 The SCADE 6 language for embedded systems, from design to compilation Bruno Pagano 23 Apr 2013 Time and events in computing Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 Apr 2013 11:00 - 12:00 14 May 2013 Seminar 11:00 - 12:00 Asynchronous circuits Jordi Cortadella 14 May 2013 Time and events in computing Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 14 May 2013 11:00 - 12:00 21 May 2013 Seminar 11:00 - 12:00 Elastic Circuits, Blending Synchronous and Asynchronous Technologies Jordi Cortadella 21 May 2013 Time and events in computing Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 21 May 2013 11:00 - 12:00 28 May 2013 Seminar 10:00 - 11:00 Distributed Web programming in Hop (1) Manuel Serrano 28 May 2013 Time and events in computing Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 28 May 2013 10:00 - 11:00 Seminar 11:00 - 12:00 Distributed Web programming in Hop (2) Manuel Serrano 28 May 2013 Time and events in computing Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 28 May 2013 11:00 - 12:00 4 Jun 2013 Seminar 10:00 - 11:00 The music of real time Philippe Manoury 04 Jun 2013 Time and events in computing Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 04 Jun 2013 10:00 - 11:00 Seminar 11:00 - 12:00 Computer music : from performer/electronic synchronization to algorithmic score Arshia Cont 04 Jun 2013 Time and events in computing Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 04 Jun 2013 11:00 - 12:00 15 Jan 2014 Seminar 17:00 - 18:00 Automatic time processing Juliette Leblond 15 Jan 2014 Extended time : multiple clocks, discrete and continuous time INRIA Sophia-Antipolis 15 Jan 2014 17:00 - 18:00 22 Jan 2014 Seminar 17:00 - 18:00 Can a frequency be instantaneous ? Patrick Flandrin 22 Jan 2014 Extended time : multiple clocks, discrete and continuous time INRIA Sophia-Antipolis 22 Jan 2014 17:00 - 18:00 29 Jan 2014 Seminar 17:00 - 17:30 Virtual system-on-chip prototyping for fast, accurate simulation (1) Laurent Maillet-Contoz 29 Jan 2014 Extended time : multiple clocks, discrete and continuous time INRIA Sophia-Antipolis 29 Jan 2014 17:00 - 17:30 Seminar 17:30 - 18:45 Virtual system-on-chip prototyping for fast, accurate simulation (2) Matthieu Moy 29 Jan 2014 Extended time : multiple clocks, discrete and continuous time INRIA Sophia-Antipolis 29 Jan 2014 17:30 - 18:45 5 Mar 2014 Seminar 17:00 - 18:00 Weakly synchronized clock architecture for distributed real-time automation applications Albert Benveniste 05 Mar 2014 Extended time : multiple clocks, discrete and continuous time Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 05 Mar 2014 17:00 - 18:00 12 Mar 2014 Seminar 17:00 - 18:00 Large-scale clock distribution on a chip François Anceau 12 Mar 2014 Extended time : multiple clocks, discrete and continuous time Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 12 Mar 2014 17:00 - 18:00 19 Mar 2014 Seminar 17:00 - 18:00 Modeling and simulation : from physics to languages and software Karl Johan Åström 19 Mar 2014 Extended time : multiple clocks, discrete and continuous time Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 19 Mar 2014 17:00 - 18:00 26 Mar 2014 Seminar 17:00 - 18:00 Programming languages for hybrid discrete-time/continuous-time systems Marc Pouzet 26 Mar 2014 Extended time : multiple clocks, discrete and continuous time Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 26 Mar 2014 17:00 - 18:00 2 Apr 2014 Seminar 17:00 - 18:00 Programming real-time parallel systems : challenges and successes of synchronous and Kahn network approaches Marc Duranton et Albert Cohen 02 Apr 2014 Extended time : multiple clocks, discrete and continuous time Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 02 Apr 2014 17:00 - 18:00 9 Apr 2014 Seminar 16:00 - 17:00 Brain, cognition and time Virginie van Wassenhove 09 Apr 2014 Extended time : multiple clocks, discrete and continuous time Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 09 Apr 2014 16:00 - 17:00 Seminar 17:00 - 17:30 Time in neural computation Romain Brette 09 Apr 2014 Extended time : multiple clocks, discrete and continuous time Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 09 Apr 2014 17:00 - 17:30 4 Mar 2015 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 11 Mar 2015 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 18 Mar 2015 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 25 Mar 2015 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 1 Apr 2015 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 4 Nov 2015 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 9 Mar 2016 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 16 Mar 2016 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 23 Mar 2016 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 30 Mar 2016 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 Pagination Current page 1 Page 2 Next page Last page
Seminar 11:00 - 12:00 The evolution of microprocessors Olivier Temam 09 Apr 2013 Time and events in computing Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 09 Apr 2013 11:00 - 12:00
Seminar 11:00 - 12:00 Synchronous modeling of avionics systems and software Emmanuel Ledinot 16 Apr 2013 Time and events in computing Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 16 Apr 2013 11:00 - 12:00
Seminar 11:00 - 12:00 The SCADE 6 language for embedded systems, from design to compilation Bruno Pagano 23 Apr 2013 Time and events in computing Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 Apr 2013 11:00 - 12:00
Seminar 11:00 - 12:00 Asynchronous circuits Jordi Cortadella 14 May 2013 Time and events in computing Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 14 May 2013 11:00 - 12:00
Seminar 11:00 - 12:00 Elastic Circuits, Blending Synchronous and Asynchronous Technologies Jordi Cortadella 21 May 2013 Time and events in computing Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 21 May 2013 11:00 - 12:00
Seminar 10:00 - 11:00 Distributed Web programming in Hop (1) Manuel Serrano 28 May 2013 Time and events in computing Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 28 May 2013 10:00 - 11:00
Seminar 11:00 - 12:00 Distributed Web programming in Hop (2) Manuel Serrano 28 May 2013 Time and events in computing Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 28 May 2013 11:00 - 12:00
Seminar 10:00 - 11:00 The music of real time Philippe Manoury 04 Jun 2013 Time and events in computing Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 04 Jun 2013 10:00 - 11:00
Seminar 11:00 - 12:00 Computer music : from performer/electronic synchronization to algorithmic score Arshia Cont 04 Jun 2013 Time and events in computing Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 04 Jun 2013 11:00 - 12:00
Seminar 17:00 - 18:00 Automatic time processing Juliette Leblond 15 Jan 2014 Extended time : multiple clocks, discrete and continuous time INRIA Sophia-Antipolis 15 Jan 2014 17:00 - 18:00
Seminar 17:00 - 18:00 Can a frequency be instantaneous ? Patrick Flandrin 22 Jan 2014 Extended time : multiple clocks, discrete and continuous time INRIA Sophia-Antipolis 22 Jan 2014 17:00 - 18:00
Seminar 17:00 - 17:30 Virtual system-on-chip prototyping for fast, accurate simulation (1) Laurent Maillet-Contoz 29 Jan 2014 Extended time : multiple clocks, discrete and continuous time INRIA Sophia-Antipolis 29 Jan 2014 17:00 - 17:30
Seminar 17:30 - 18:45 Virtual system-on-chip prototyping for fast, accurate simulation (2) Matthieu Moy 29 Jan 2014 Extended time : multiple clocks, discrete and continuous time INRIA Sophia-Antipolis 29 Jan 2014 17:30 - 18:45
Seminar 17:00 - 18:00 Weakly synchronized clock architecture for distributed real-time automation applications Albert Benveniste 05 Mar 2014 Extended time : multiple clocks, discrete and continuous time Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 05 Mar 2014 17:00 - 18:00
Seminar 17:00 - 18:00 Large-scale clock distribution on a chip François Anceau 12 Mar 2014 Extended time : multiple clocks, discrete and continuous time Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 12 Mar 2014 17:00 - 18:00
Seminar 17:00 - 18:00 Modeling and simulation : from physics to languages and software Karl Johan Åström 19 Mar 2014 Extended time : multiple clocks, discrete and continuous time Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 19 Mar 2014 17:00 - 18:00
Seminar 17:00 - 18:00 Programming languages for hybrid discrete-time/continuous-time systems Marc Pouzet 26 Mar 2014 Extended time : multiple clocks, discrete and continuous time Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 26 Mar 2014 17:00 - 18:00
Seminar 17:00 - 18:00 Programming real-time parallel systems : challenges and successes of synchronous and Kahn network approaches Marc Duranton et Albert Cohen 02 Apr 2014 Extended time : multiple clocks, discrete and continuous time Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 02 Apr 2014 17:00 - 18:00
Seminar 16:00 - 17:00 Brain, cognition and time Virginie van Wassenhove 09 Apr 2014 Extended time : multiple clocks, discrete and continuous time Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 09 Apr 2014 16:00 - 17:00
Seminar 17:00 - 17:30 Time in neural computation Romain Brette 09 Apr 2014 Extended time : multiple clocks, discrete and continuous time Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 09 Apr 2014 17: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
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
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
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
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
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
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
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
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
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