Public lectures

This professor has held a more recent chair: Gérard Berry, chair Algorithmes, machines et langages

24 series

2018 - 2019

Lecture

2017 - 2018

Lecture

Esterel from A to Z

Gérard Berry

31 Jan 2018 → 28 Mar 2018

Seminar

Esterel from A to Z

Gérard Berry

31 Jan 2018 → 28 Mar 2018

Symposium

Medical imaging and machine learning : towards artificial intelligence ?

Gérard Berry

02 May 2018

2016 - 2017

Lecture

No lectures this year

Gérard Berry

01 Sep 2016

2015 - 2016

Lecture

Data structures and algorithms for formal verification

Gérard Berry

04 Nov 2015 → 13 Apr 2016

Seminar

Data structures and algorithms for formal verification

Gérard Berry

04 Nov 2015 → 13 Apr 2016

Symposium

Arts and sciences, new fields for IT

Gérard Berry

27 May 2016

2014 - 2015

Lecture

Proving programs : why, when and how ?

Gérard Berry

28 Jan 2015 → 01 Apr 2015

Seminar

Proving programs : why, when, how ?

Gérard Berry

04 Mar 2015 → 01 Apr 2015

2013 - 2014

Lecture

Extended time : multiple clocks, discrete and continuous time

Gérard Berry

15 Jan 2014 → 09 Apr 2014

Seminar

Extended time : multiple clocks, discrete and continuous time

Gérard Berry

15 Jan 2014 → 09 Apr 2014

2012 - 2013

Opening lecture

18:00 - 19:00

Time and event computing

Gérard Berry

28 Mar 2013

Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot

28 Mar 2013

18:00 - 19:00

Lecture

Time and events in computing

Gérard Berry

02 Apr 2013 → 28 May 2013

Seminar

Time and events in computing

Gérard Berry

09 Apr 2013 → 04 Jun 2013

2009 - 2010

Opening lecture

18:00 - 19:00

Thinking, modeling and mastering computer calculation

Gérard Berry

19 Nov 2009

Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot

19 Nov 2009

18:00 - 19:00

Lecture

Thinking, modeling and mastering computer calculation

Gérard Berry

25 Nov 2009 → 27 Jan 2010

Seminar

Thinking, modeling and mastering computer calculation

Gérard Berry

02 Dec 2009 → 27 Jan 2010

2007 - 2008

Opening lecture

18:00 - 19:00

Why and how the world is going digital

Gérard Berry

17 Jan 2008

Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot

17 Jan 2008

18:00 - 19:00

Lecture

Why and how the world is going digital

Gérard Berry

25 Jan 2008 → 28 Mar 2008

Seminar

Why and how the world is going digital

Gérard Berry

25 Jan 2008 → 28 Mar 2008

Symposium

Computing and Bioinformatics

Gérard Berry

23 May 2008

2018 - 2019

Where are computers headed ?

Where are computers headed ?

Medical imaging in the age of AI : challenges and opportunities

2017 - 2018

Esterel from A to Z

Esterel from A to Z

Medical imaging and machine learning : towards artificial intelligence ?

2016 - 2017

No lectures this year

2015 - 2016

Data structures and algorithms for formal verification

Data structures and algorithms for formal verification

Arts and sciences, new fields for IT

2014 - 2015

Proving programs : why, when and how ?

Proving programs : why, when, how ?

2013 - 2014

Extended time : multiple clocks, discrete and continuous time

Extended time : multiple clocks, discrete and continuous time

2012 - 2013

Time and event computing

Time and events in computing

Time and events in computing

2009 - 2010

Thinking, modeling and mastering computer calculation

Thinking, modeling and mastering computer calculation

Thinking, modeling and mastering computer calculation

2007 - 2008

Why and how the world is going digital

Why and how the world is going digital

Why and how the world is going digital

Computing and Bioinformatics