Partager Facebook LinkedIn Bluesky Threads Copier le lien Agenda Trier par du plus ancien au plus récent du plus ancien au plus récent du plus récent au plus ancien 91 événements Filtres Dates Dates Du Au Appliquer Aujourd'hui 7 prochains jours 30 prochains jours Tout l'agenda Professeur, chaire, laboratoire Professeur, chaire, laboratoire Rechercher un professeur, une chaire ou un laboratoire Gérard Berry (2012 - 2019) Domaines Domaines Mathématiques et sciences informatiques (91) Type d'enseignement Type d'enseignement Cours (43) Séminaire (42) Colloque (3) Leçon inaugurale (1) Conférencier invité (2) Filtres actifs Gérard Berry (2012 - 2019) Trier par du plus ancien au plus récent du plus ancien au plus récent du plus récent au plus ancien 06 avr 2016 Cours 16:00 - 17:30 La vérification par énumération explicite Gérard Berry 06 avr 2016 Structures de données et algorithmes pour la vérification formelle Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 06 avr 2016 16:00 - 17:30 Séminaire 17:30 - 18:30 La vérification formelle appliquée aux protocoles cryptographiques Stéphanie Delaune 06 avr 2016 Structures de données et algorithmes pour la vérification formelle Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 06 avr 2016 17:30 - 18:30 13 avr 2016 Séminaire 16:00 - 17:00 Vers une automatisation sûre et expressive : combiner preuves automatiques et interactives Chantal Keller 13 avr 2016 Structures de données et algorithmes pour la vérification formelle Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 13 avr 2016 16:00 - 17:00 Cours 17:00 - 18:30 Conclusion et réponse aux questions de l'année Gérard Berry 13 avr 2016 Structures de données et algorithmes pour la vérification formelle Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 13 avr 2016 17:00 - 18:30 27 mai 2016 Colloque Arts et sciences, de nouveaux domaines pour l'informatique Gérard Berry 27 mai 2016 27 mai 2016 31 jan 2018 Cours 16:00 - 17:30 La photographie numérique, un parfait exemple de la puissance de l'informatique Gérard Berry 31 jan 2018 Esterel de A à Z LILLIAD, Campus Université Lille, Sciences et technologies, 2 avenue Jean Perrin, Villeneuve d'Ascq 31 jan 2018 16:00 - 17:30 Séminaire 17:30 - 18:30 Interaction homme-machine Stéphane Huot 31 jan 2018 Esterel de A à Z LILLIAD, Campus Université Lille – sciences et technologies — 2 avenue Jean Perrin, Villeneuve d'Ascq 31 jan 2018 17:30 - 18:30 07 fév 2018 Cours 16:00 - 18:30 Principes, idées et styles pour la programmation réactive Gérard Berry 07 fév 2018 Esterel de A à Z Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 07 fév 2018 16:00 - 18:30 Conférencier invité 18:30 - 19:30 Annulé Artificial Intelligence in the Open World Eric Horvitz 07 fév 2018 Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 07 fév 2018 18:30 - 19:30 14 fév 2018 Cours 16:00 - 17:30 Sémantiques, causalité et constructivité des langages synchrones Gérard Berry 14 fév 2018 Esterel de A à Z Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 14 fév 2018 16:00 - 17:30 Séminaire 17:30 - 18:30 Reactive ML, programmation réactive d'applications non temps-réel Louis Mandel 14 fév 2018 Esterel de A à Z Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 14 fév 2018 17:30 - 18:30 07 Mar 2018 Cours 16:00 - 17:30 Traduction d'Esterel en circuits Gérard Berry 07 Mar 2018 Esterel de A à Z Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 07 Mar 2018 16:00 - 17:30 Séminaire 17:30 - 18:30 Le langage Signal et ses applications Albert Benveniste et Thierry Gautier 07 Mar 2018 Esterel de A à Z Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 07 Mar 2018 17:30 - 18:30 14 Mar 2018 Cours 16:00 - 17:30 Boucles et réincarnation en Esterel Gérard Berry 14 Mar 2018 Esterel de A à Z Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 14 Mar 2018 16:00 - 17:30 Séminaire 17:30 - 18:30 Sequential Constructiveness, SCL and ScCharts: incorporating synchrony in conventional languages Reinhard von Hanxleden 14 Mar 2018 Esterel de A à Z Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 14 Mar 2018 17:30 - 18:30 21 Mar 2018 Cours 16:00 - 17:30 Clock gating, multi-horloges, implémentation et optimisation Gérard Berry 21 Mar 2018 Esterel de A à Z Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 21 Mar 2018 16:00 - 17:30 Séminaire 17:30 - 18:30 La vérification formelle d'un compilateur Lustre Timothy Bourke 21 Mar 2018 Esterel de A à Z Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 21 Mar 2018 17:30 - 18:30 28 Mar 2018 Cours 16:00 - 17:00 Exec, vérification formelle, HipHop.js Gérard Berry 28 Mar 2018 Esterel de A à Z Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 28 Mar 2018 16:00 - 17:00 Séminaire 17:00 - 18:00 Vérification formelle en Coq de la chaîne des sémantiques pour la compilation d'Esterel Lionel Rieg 28 Mar 2018 Esterel de A à Z Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 28 Mar 2018 17:00 - 18:00 02 mai 2018 Colloque Imagerie médicale et apprentissage automatique : vers une intelligence artificielle ? Gérard Berry 02 mai 2018 02 mai 2018 13 déc 2018 Cours 16:00 - 17:30 En théorie, la théorie et la pratique c'est pareil, en pratique c'est pas vrai (d'après Yogi Berra) Gérard Berry 13 déc 2018 Où va l'informatique ? Inria Bordeaux 13 déc 2018 16:00 - 17:30 Séminaire 17:30 - 18:30 Coq : aspects pratiques de la théorie des types Yves Bertot et Pierre Castéran 13 déc 2018 Où va l'informatique ? Inria Bordeaux 13 déc 2018 17:30 - 18:30 23 jan 2019 Cours 16:00 - 18:30 Où va l'informatique ? Gérard Berry 23 jan 2019 Où va l'informatique ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 jan 2019 16:00 - 18:30 06 fév 2019 Cours 16:00 - 17:30 Enseigner l'informatique Gérard Berry 06 fév 2019 Où va l'informatique ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 06 fév 2019 16:00 - 17:30 Séminaire 17:30 - 18:30 Automatisation de la maintenance du noyau de Linux : l'expérience Coccinelle Julia Lawall 06 fév 2019 Où va l'informatique ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 06 fév 2019 17:30 - 18:30 13 fév 2019 Cours 16:00 - 17:30 Les aspects scientifiques de la sécurité informatique Gérard Berry 13 fév 2019 Où va l'informatique ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 13 fév 2019 16:00 - 17:30 Séminaire 17:30 - 18:30 Sécurité numérique – sommes-nous condamnés à une lutte inégale entre le glaive et le bouclier ? Guillaume Poupard 13 fév 2019 Où va l'informatique ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 13 fév 2019 17:30 - 18:30 20 fév 2019 Cours 16:00 - 17:30 Retour sur quelques questions de recherche en informatique moins connues du public Gérard Berry 20 fév 2019 Où va l'informatique ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 20 fév 2019 16:00 - 17:30 Séminaire 17:30 - 18:30 Les enjeux de la recherche publique en informatique Antoine Petit 20 fév 2019 Où va l'informatique ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 20 fév 2019 17:30 - 18:30 26 fév 2019 Cours 16:00 - 17:30 Plaidoyer pour les trajectoires non linéaires Gérard Berry 26 fév 2019 Où va l'informatique ? Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 26 fév 2019 16:00 - 17:30 Pagination Première page Page précédente Page 1 Page 2 Page courante 3 Page 4 Page suivante Dernière page
Cours 16:00 - 17:30 La vérification par énumération explicite Gérard Berry 06 avr 2016 Structures de données et algorithmes pour la vérification formelle Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 06 avr 2016 16:00 - 17:30
Séminaire 17:30 - 18:30 La vérification formelle appliquée aux protocoles cryptographiques Stéphanie Delaune 06 avr 2016 Structures de données et algorithmes pour la vérification formelle Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 06 avr 2016 17:30 - 18:30
Séminaire 16:00 - 17:00 Vers une automatisation sûre et expressive : combiner preuves automatiques et interactives Chantal Keller 13 avr 2016 Structures de données et algorithmes pour la vérification formelle Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 13 avr 2016 16:00 - 17:00
Cours 17:00 - 18:30 Conclusion et réponse aux questions de l'année Gérard Berry 13 avr 2016 Structures de données et algorithmes pour la vérification formelle Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 13 avr 2016 17:00 - 18:30
Colloque Arts et sciences, de nouveaux domaines pour l'informatique Gérard Berry 27 mai 2016 27 mai 2016
Cours 16:00 - 17:30 La photographie numérique, un parfait exemple de la puissance de l'informatique Gérard Berry 31 jan 2018 Esterel de A à Z LILLIAD, Campus Université Lille, Sciences et technologies, 2 avenue Jean Perrin, Villeneuve d'Ascq 31 jan 2018 16:00 - 17:30
Séminaire 17:30 - 18:30 Interaction homme-machine Stéphane Huot 31 jan 2018 Esterel de A à Z LILLIAD, Campus Université Lille – sciences et technologies — 2 avenue Jean Perrin, Villeneuve d'Ascq 31 jan 2018 17:30 - 18:30
Cours 16:00 - 18:30 Principes, idées et styles pour la programmation réactive Gérard Berry 07 fév 2018 Esterel de A à Z Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 07 fév 2018 16:00 - 18:30
Conférencier invité 18:30 - 19:30 Annulé Artificial Intelligence in the Open World Eric Horvitz 07 fév 2018 Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 07 fév 2018 18:30 - 19:30
Cours 16:00 - 17:30 Sémantiques, causalité et constructivité des langages synchrones Gérard Berry 14 fév 2018 Esterel de A à Z Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 14 fév 2018 16:00 - 17:30
Séminaire 17:30 - 18:30 Reactive ML, programmation réactive d'applications non temps-réel Louis Mandel 14 fév 2018 Esterel de A à Z Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 14 fév 2018 17:30 - 18:30
Cours 16:00 - 17:30 Traduction d'Esterel en circuits Gérard Berry 07 Mar 2018 Esterel de A à Z Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 07 Mar 2018 16:00 - 17:30
Séminaire 17:30 - 18:30 Le langage Signal et ses applications Albert Benveniste et Thierry Gautier 07 Mar 2018 Esterel de A à Z Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 07 Mar 2018 17:30 - 18:30
Cours 16:00 - 17:30 Boucles et réincarnation en Esterel Gérard Berry 14 Mar 2018 Esterel de A à Z Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 14 Mar 2018 16:00 - 17:30
Séminaire 17:30 - 18:30 Sequential Constructiveness, SCL and ScCharts: incorporating synchrony in conventional languages Reinhard von Hanxleden 14 Mar 2018 Esterel de A à Z Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 14 Mar 2018 17:30 - 18:30
Cours 16:00 - 17:30 Clock gating, multi-horloges, implémentation et optimisation Gérard Berry 21 Mar 2018 Esterel de A à Z Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 21 Mar 2018 16:00 - 17:30
Séminaire 17:30 - 18:30 La vérification formelle d'un compilateur Lustre Timothy Bourke 21 Mar 2018 Esterel de A à Z Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 21 Mar 2018 17:30 - 18:30
Cours 16:00 - 17:00 Exec, vérification formelle, HipHop.js Gérard Berry 28 Mar 2018 Esterel de A à Z Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 28 Mar 2018 16:00 - 17:00
Séminaire 17:00 - 18:00 Vérification formelle en Coq de la chaîne des sémantiques pour la compilation d'Esterel Lionel Rieg 28 Mar 2018 Esterel de A à Z Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 28 Mar 2018 17:00 - 18:00
Colloque Imagerie médicale et apprentissage automatique : vers une intelligence artificielle ? Gérard Berry 02 mai 2018 02 mai 2018
Cours 16:00 - 17:30 En théorie, la théorie et la pratique c'est pareil, en pratique c'est pas vrai (d'après Yogi Berra) Gérard Berry 13 déc 2018 Où va l'informatique ? Inria Bordeaux 13 déc 2018 16:00 - 17:30
Séminaire 17:30 - 18:30 Coq : aspects pratiques de la théorie des types Yves Bertot et Pierre Castéran 13 déc 2018 Où va l'informatique ? Inria Bordeaux 13 déc 2018 17:30 - 18:30
Cours 16:00 - 18:30 Où va l'informatique ? Gérard Berry 23 jan 2019 Où va l'informatique ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 jan 2019 16:00 - 18:30
Cours 16:00 - 17:30 Enseigner l'informatique Gérard Berry 06 fév 2019 Où va l'informatique ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 06 fév 2019 16:00 - 17:30
Séminaire 17:30 - 18:30 Automatisation de la maintenance du noyau de Linux : l'expérience Coccinelle Julia Lawall 06 fév 2019 Où va l'informatique ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 06 fév 2019 17:30 - 18:30
Cours 16:00 - 17:30 Les aspects scientifiques de la sécurité informatique Gérard Berry 13 fév 2019 Où va l'informatique ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 13 fév 2019 16:00 - 17:30
Séminaire 17:30 - 18:30 Sécurité numérique – sommes-nous condamnés à une lutte inégale entre le glaive et le bouclier ? Guillaume Poupard 13 fév 2019 Où va l'informatique ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 13 fév 2019 17:30 - 18:30
Cours 16:00 - 17:30 Retour sur quelques questions de recherche en informatique moins connues du public Gérard Berry 20 fév 2019 Où va l'informatique ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 20 fév 2019 16:00 - 17:30
Séminaire 17:30 - 18:30 Les enjeux de la recherche publique en informatique Antoine Petit 20 fév 2019 Où va l'informatique ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 20 fév 2019 17:30 - 18:30
Cours 16:00 - 17:30 Plaidoyer pour les trajectoires non linéaires Gérard Berry 26 fév 2019 Où va l'informatique ? Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 26 fév 2019 16:00 - 17:30