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 6 Apr 2016 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 13 Apr 2016 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 31 Jan 2018 Seminar 17:30 - 18:30 Human-machine interaction Stéphane Huot 31 Jan 2018 Esterel from A to Z LILLIAD, Campus Université Lille – sciences et technologies — 2 avenue Jean Perrin, Villeneuve d'Ascq 31 Jan 2018 17:30 - 18:30 14 Feb 2018 Seminar 17:30 - 18:30 Reactive ML, reactive programming of non-real-time applications Louis Mandel 14 Feb 2018 Esterel from A to Z Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 14 Feb 2018 17:30 - 18:30 7 Mar 2018 Seminar 17:30 - 18:30 The Signal language and its applications Albert Benveniste et Thierry Gautier 07 Mar 2018 Esterel from A to Z Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 07 Mar 2018 17:30 - 18:30 14 Mar 2018 Seminar 17:30 - 18:30 Sequential Constructiveness, SCL and ScCharts: incorporating synchrony in conventional languages Reinhard von Hanxleden 14 Mar 2018 Esterel from A to Z Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 14 Mar 2018 17:30 - 18:30 21 Mar 2018 Seminar 17:30 - 18:30 Formal verification of a Lustre compiler Timothy Bourke 21 Mar 2018 Esterel from A to Z Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 21 Mar 2018 17:30 - 18:30 28 Mar 2018 Seminar 17:00 - 18:00 Formal verification in Coq of the semantic chain for Esterel compilation Lionel Rieg 28 Mar 2018 Esterel from A to Z Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 28 Mar 2018 17:00 - 18:00 13 Dec 2018 Seminar 17:30 - 18:30 Coq : practical aspects of type theory Yves Bertot et Pierre Castéran 13 Dec 2018 Where are computers headed ? Inria Bordeaux 13 Dec 2018 17:30 - 18:30 6 Feb 2019 Seminar 17:30 - 18:30 Automating Linux kernel maintenance : the Coccinelle experience Julia Lawall 06 Feb 2019 Where are computers headed ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 06 Feb 2019 17:30 - 18:30 13 Feb 2019 Seminar 17:30 - 18:30 Digital security - Are we condemned to an unequal struggle between the sword and the shield ? Guillaume Poupard 13 Feb 2019 Where are computers headed ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 13 Feb 2019 17:30 - 18:30 20 Feb 2019 Seminar 17:30 - 18:30 The challenges of public IT research Antoine Petit 20 Feb 2019 Where are computers headed ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 20 Feb 2019 17:30 - 18:30 Pagination First page Previous page Page 1 Current page 2
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
Seminar 17:30 - 18:30 Human-machine interaction Stéphane Huot 31 Jan 2018 Esterel from A to Z LILLIAD, Campus Université Lille – sciences et technologies — 2 avenue Jean Perrin, Villeneuve d'Ascq 31 Jan 2018 17:30 - 18:30
Seminar 17:30 - 18:30 Reactive ML, reactive programming of non-real-time applications Louis Mandel 14 Feb 2018 Esterel from A to Z Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 14 Feb 2018 17:30 - 18:30
Seminar 17:30 - 18:30 The Signal language and its applications Albert Benveniste et Thierry Gautier 07 Mar 2018 Esterel from A to Z Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 07 Mar 2018 17:30 - 18:30
Seminar 17:30 - 18:30 Sequential Constructiveness, SCL and ScCharts: incorporating synchrony in conventional languages Reinhard von Hanxleden 14 Mar 2018 Esterel from A to Z Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 14 Mar 2018 17:30 - 18:30
Seminar 17:30 - 18:30 Formal verification of a Lustre compiler Timothy Bourke 21 Mar 2018 Esterel from A to Z Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 21 Mar 2018 17:30 - 18:30
Seminar 17:00 - 18:00 Formal verification in Coq of the semantic chain for Esterel compilation Lionel Rieg 28 Mar 2018 Esterel from A to Z Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 28 Mar 2018 17:00 - 18:00
Seminar 17:30 - 18:30 Coq : practical aspects of type theory Yves Bertot et Pierre Castéran 13 Dec 2018 Where are computers headed ? Inria Bordeaux 13 Dec 2018 17:30 - 18:30
Seminar 17:30 - 18:30 Automating Linux kernel maintenance : the Coccinelle experience Julia Lawall 06 Feb 2019 Where are computers headed ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 06 Feb 2019 17:30 - 18:30
Seminar 17:30 - 18:30 Digital security - Are we condemned to an unequal struggle between the sword and the shield ? Guillaume Poupard 13 Feb 2019 Where are computers headed ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 13 Feb 2019 17:30 - 18:30
Seminar 17:30 - 18:30 The challenges of public IT research Antoine Petit 20 Feb 2019 Where are computers headed ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 20 Feb 2019 17:30 - 18:30