13 Dec 2018 → 20 Feb 2019 Seminar Where are computers headed ? 13 Dec 2018 → 20 Feb 2019 Share Facebook X (ex-Twitter) Linkedin Copy url
from Thursday 13 December 2018 to Wednesday 20 February 2019 See also: Related LectureGérard Berry Program Lecture 16:00 - 17:30 In theory, theory and practice are the same, in practice they are not (according to Yogi Berra) Gérard Berry 13 Dec 2018 Where are computers headed ? Inria Bordeaux 13 Dec 2018 16:00 - 17:30 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 Lecture 16:00 - 18:30 Where are computers headed ? Gérard Berry 23 Jan 2019 Where are computers headed ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 Jan 2019 16:00 - 18:30 Lecture 16:00 - 17:30 Teaching computer science Gérard Berry 06 Feb 2019 Where are computers headed ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 06 Feb 2019 16:00 - 17: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 Lecture 16:00 - 17:30 The scientific aspects of computer security Gérard Berry 13 Feb 2019 Where are computers headed ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 13 Feb 2019 16:00 - 17: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 Lecture 16:00 - 17:30 A look at some of the lesser-known research questions in computer science Gérard Berry 20 Feb 2019 Where are computers headed ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 20 Feb 2019 16:00 - 17: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 Lecture 16:00 - 17:30 A plea for non-linear trajectories Gérard Berry 26 Feb 2019 Where are computers headed ? Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 26 Feb 2019 16:00 - 17:30 See also Lecture related to the seminar: Where are computers headed ? Gérard Berry, chair Algorithms, machines and languages
Lecture 16:00 - 17:30 In theory, theory and practice are the same, in practice they are not (according to Yogi Berra) Gérard Berry 13 Dec 2018 Where are computers headed ? Inria Bordeaux 13 Dec 2018 16:00 - 17:30
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
Lecture 16:00 - 18:30 Where are computers headed ? Gérard Berry 23 Jan 2019 Where are computers headed ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 Jan 2019 16:00 - 18:30
Lecture 16:00 - 17:30 Teaching computer science Gérard Berry 06 Feb 2019 Where are computers headed ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 06 Feb 2019 16:00 - 17: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
Lecture 16:00 - 17:30 The scientific aspects of computer security Gérard Berry 13 Feb 2019 Where are computers headed ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 13 Feb 2019 16:00 - 17: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
Lecture 16:00 - 17:30 A look at some of the lesser-known research questions in computer science Gérard Berry 20 Feb 2019 Where are computers headed ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 20 Feb 2019 16:00 - 17: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
Lecture 16:00 - 17:30 A plea for non-linear trajectories Gérard Berry 26 Feb 2019 Where are computers headed ? Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 26 Feb 2019 16:00 - 17:30