La chaire Biographie et publications Enseignements Résumés annuels Audios & vidéos Ce professeur a occupé une chaire plus récente : Gérard Berry, chaire Algorithmes, machines et langages 25 cycles Filtres Type d'enseignement Type d'enseignement Cours (9) Séminaire (8) Colloque (4) Leçon inaugurale (3) Leçon de clôture (1) Année académique Année académique 2018 - 2019 (4) 2017 - 2018 (3) 2016 - 2017 (1) 2015 - 2016 (3) 2014 - 2015 (2) 2013 - 2014 (2) 2012 - 2013 (3) 2009 - 2010 (3) 2007 - 2008 (4) 2018 - 2019 Où va l'informatique ? Gérard Berry 13 Déc 2018 → 26 Fév 2019 Cours 13 Déc 2018 → 26 Fév 2019 Où va l'informatique ? Gérard Berry 13 Déc 2018 → 20 Fév 2019 Séminaire 13 Déc 2018 → 20 Fév 2019 Plaidoyer pour les trajectoires non linéaires Gérard Berry 26 Fév 2019 16:00 - 17:30 Leçon de clôture Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 26 Fév 2019 16:00 - 17:30 L'imagerie médicale à l'heure de l'IA : défis et opportunités Gérard Berry 23 Avr 2019 Colloque 23 Avr 2019 2017 - 2018 Esterel de A à Z Gérard Berry 31 Jan 2018 → 28 Mar 2018 Cours 31 Jan 2018 → 28 Mar 2018 Esterel de A à Z Gérard Berry 31 Jan 2018 → 28 Mar 2018 Séminaire 31 Jan 2018 → 28 Mar 2018 Imagerie médicale et apprentissage automatique : vers une intelligence artificielle ? Gérard Berry 02 Mai 2018 Colloque 02 Mai 2018 2016 - 2017 L'enseignement n'a pas lieu cette année Gérard Berry 01 Sep 2016 Cours 01 Sep 2016 2015 - 2016 Structures de données et algorithmes pour la vérification formelle Gérard Berry 04 Nov 2015 → 13 Avr 2016 Cours 04 Nov 2015 → 13 Avr 2016 Structures de données et algorithmes pour la vérification formelle Gérard Berry 04 Nov 2015 → 13 Avr 2016 Séminaire 04 Nov 2015 → 13 Avr 2016 Arts et sciences, de nouveaux domaines pour l'informatique Gérard Berry 27 Mai 2016 Colloque 27 Mai 2016 2014 - 2015 Prouver les programmes : pourquoi, quand, comment ? Gérard Berry 28 Jan 2015 → 01 Avr 2015 Cours 28 Jan 2015 → 01 Avr 2015 Prouver les programmes : pourquoi, quand, comment ? Gérard Berry 04 Mar 2015 → 01 Avr 2015 Séminaire 04 Mar 2015 → 01 Avr 2015 2013 - 2014 Le temps élargi : horloges multiples, temps discrets et temps continu Gérard Berry 15 Jan 2014 → 09 Avr 2014 Cours 15 Jan 2014 → 09 Avr 2014 Le temps élargi : horloges multiples, temps discrets et temps continu Gérard Berry 15 Jan 2014 → 09 Avr 2014 Séminaire 15 Jan 2014 → 09 Avr 2014 2012 - 2013 L'informatique du temps et des événements Gérard Berry 28 Mar 2013 18:00 - 19:00 Leçon inaugurale Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 28 Mar 2013 18:00 - 19:00 Le temps et les événements en informatique Gérard Berry 02 Avr 2013 → 28 Mai 2013 Cours 02 Avr 2013 → 28 Mai 2013 Le temps et les événements en informatique Gérard Berry 09 Avr 2013 → 04 Jun 2013 Séminaire 09 Avr 2013 → 04 Jun 2013 2009 - 2010 Penser, modéliser et maîtriser le calcul informatique Gérard Berry 19 Nov 2009 18:00 - 19:00 Leçon inaugurale Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 19 Nov 2009 18:00 - 19:00 Penser, modéliser et maîtriser le calcul informatique Gérard Berry 25 Nov 2009 → 27 Jan 2010 Cours 25 Nov 2009 → 27 Jan 2010 Penser, modéliser et maîtriser le calcul informatique Gérard Berry 02 Déc 2009 → 27 Jan 2010 Séminaire 02 Déc 2009 → 27 Jan 2010 2007 - 2008 Pourquoi et comment le monde devient numérique Gérard Berry 17 Jan 2008 18:00 - 19:00 Leçon inaugurale Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 17 Jan 2008 18:00 - 19:00 Pourquoi et comment le monde devient numérique Gérard Berry 25 Jan 2008 → 28 Mar 2008 Cours 25 Jan 2008 → 28 Mar 2008 Pourquoi et comment le monde devient numérique Gérard Berry 25 Jan 2008 → 28 Mar 2008 Séminaire 25 Jan 2008 → 28 Mar 2008 Informatique et Bio-informatique Gérard Berry 23 Mai 2008 Colloque 23 Mai 2008