Gérard Berry

Public lectures

Algorithms, machines and languages
25 series

2018 - 2019

Where are computers headed ?
Gérard Berry

→
Lecture
→

Where are computers headed ?
Gérard Berry

→
Seminar
→

A plea for non-linear trajectories
Gérard Berry

-
Closing lecture
Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot
-

Medical imaging in the age of AI : challenges and opportunities
Gérard Berry

Symposium

2017 - 2018

Esterel from A to Z
Gérard Berry

→
Lecture
→

Esterel from A to Z
Gérard Berry

→
Seminar
→

Medical imaging and machine learning : towards artificial intelligence ?
Gérard Berry

Symposium

2016 - 2017

No lectures this year
Gérard Berry

Lecture

2015 - 2016

Data structures and algorithms for formal verification
Gérard Berry

→
Lecture
→

Data structures and algorithms for formal verification
Gérard Berry

→
Seminar
→

Arts and sciences, new fields for IT
Gérard Berry

Symposium

2014 - 2015

Proving programs : why, when and how ?
Gérard Berry

→
Lecture
→

Proving programs : why, when, how ?
Gérard Berry

→
Seminar
→

2013 - 2014

Extended time : multiple clocks, discrete and continuous time
Gérard Berry

→
Lecture
→

Extended time : multiple clocks, discrete and continuous time
Gérard Berry

→
Seminar
→

2012 - 2013

Time and event computing
Gérard Berry

-
Opening lecture
Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot
-

Time and events in computing
Gérard Berry

→
Lecture
→

Time and events in computing
Gérard Berry

→
Seminar
→

2009 - 2010

Thinking, modeling and mastering computer calculation
Gérard Berry

-
Opening lecture
Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot
-

Thinking, modeling and mastering computer calculation
Gérard Berry

→
Lecture
→

Thinking, modeling and mastering computer calculation
Gérard Berry

→
Seminar
→

2007 - 2008

Why and how the world is going digital
Gérard Berry

-
Opening lecture
Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot
-

Why and how the world is going digital
Gérard Berry

→
Lecture
→

Why and how the world is going digital
Gérard Berry

→
Seminar
→

Computing and Bioinformatics
Gérard Berry

Symposium