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 43 é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 (43) 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) Cours Trier par du plus ancien au plus récent du plus ancien au plus récent du plus récent au plus ancien 02 avr 2013 Cours 10:00 - 11:00 Parler du temps, mais de manière formelle (1) Gérard Berry 02 avr 2013 Le temps et les événements en informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 02 avr 2013 10:00 - 11:00 Cours 11:00 - 12:00 Parler du temps, mais de manière formelle (2) Gérard Berry 02 avr 2013 Le temps et les événements en informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 02 avr 2013 11:00 - 12:00 09 avr 2013 Cours 10:00 - 11:00 Circuits et nombre 2-adiques, une nouvelle vision de l'échange temps-espace Gérard Berry 09 avr 2013 Le temps et les événements en informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 09 avr 2013 10:00 - 11:00 16 avr 2013 Cours 10:00 - 11:00 Systèmes réactifs logiciels, le design du langage synchrone Esterel v5 Gérard Berry 16 avr 2013 Le temps et les événements en informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 16 avr 2013 10:00 - 11:00 23 avr 2013 Cours 10:00 - 11:00 La compilation logicielle d'Esterel v5 Gérard Berry 23 avr 2013 Le temps et les événements en informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 avr 2013 10:00 - 11:00 14 mai 2013 Cours 10:00 - 11:00 La conception de circuits synchrones et multi-horloges en Esterel v7 Gérard Berry 14 mai 2013 Le temps et les événements en informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 14 mai 2013 10:00 - 11:00 21 mai 2013 Cours 10:00 - 11:00 Synthèse matérielle et compilation logicielle d'Esterel v7 Gérard Berry 21 mai 2013 Le temps et les événements en informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 21 mai 2013 10:00 - 11:00 28 mai 2013 Cours 10:00 - 12:00 Orchestration d'activités Web en HipHop Gérard Berry 28 mai 2013 Le temps et les événements en informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 28 mai 2013 10:00 - 12:00 15 jan 2014 Cours 16:00 - 17:00 Esterel et SCADE, de la recherche à l'industrie : la vision labo Gérard Berry 15 jan 2014 Le temps élargi : horloges multiples, temps discrets et temps continu INRIA Sophia-Antipolis 15 jan 2014 16:00 - 17:00 22 jan 2014 Cours 16:00 - 17:00 Esterel et SCADE, de la recherche à l'industrie : la vision industrielle Gérard Berry 22 jan 2014 Le temps élargi : horloges multiples, temps discrets et temps continu INRIA Sophia-Antipolis 22 jan 2014 16:00 - 17:00 29 jan 2014 Cours 16:00 - 17:00 Urgences scientifiques posées par l'industrie : causalité fine, circuits multi-horloges, ECOs et vérification formelle Gérard Berry 29 jan 2014 Le temps élargi : horloges multiples, temps discrets et temps continu INRIA Sophia-Antipolis 29 jan 2014 16:00 - 17:00 05 Mar 2014 Cours 16:00 - 17:00 Circuits multi-horloges, métastabilité, synchroniseurs et FIFOs asynchrones Gérard Berry 05 Mar 2014 Le temps élargi : horloges multiples, temps discrets et temps continu Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 05 Mar 2014 16:00 - 17:00 12 Mar 2014 Cours 16:00 - 17:00 Synchronisons nos montres : la synchronisation d'horloges matérielles et logicielles en environnement distribué Gérard Berry 12 Mar 2014 Le temps élargi : horloges multiples, temps discrets et temps continu Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 12 Mar 2014 16:00 - 17:00 19 Mar 2014 Cours 16:00 - 17:00 Coopération entre modèles de temps et de communication Gérard Berry 19 Mar 2014 Le temps élargi : horloges multiples, temps discrets et temps continu Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 19 Mar 2014 16:00 - 17:00 26 Mar 2014 Cours 16:00 - 17:00 L'électricité est constructive : l'équivalence entre la propagation électrique et le calcul Booléen constructif pour les circuits synchrones cycliques Gérard Berry 26 Mar 2014 Le temps élargi : horloges multiples, temps discrets et temps continu Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 26 Mar 2014 16:00 - 17:00 02 avr 2014 Cours 16:00 - 17:00 Jouer avec le temps Gérard Berry 02 avr 2014 Le temps élargi : horloges multiples, temps discrets et temps continu Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 02 avr 2014 16:00 - 17:00 09 avr 2014 Cours 17:30 - 18:00 Discussion et réponses aux questions de l'année Gérard Berry 09 avr 2014 Le temps élargi : horloges multiples, temps discrets et temps continu Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 09 avr 2014 17:30 - 18:00 28 jan 2015 Cours 16:00 - 17:00 La révolution informatique dans les sciences Gérard Berry 28 jan 2015 Prouver les programmes : pourquoi, quand, comment ? École normale supérieure de Lyon 28 jan 2015 16:00 - 17:00 04 Mar 2015 Cours 16:00 - 17:30 De la spécification à la réalisation, au test et à la preuve : les approches formelles Gérard Berry 04 Mar 2015 Prouver les programmes : pourquoi, quand, comment ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 04 Mar 2015 16:00 - 17:30 11 Mar 2015 Cours 16:00 - 17:30 Les méthodes générales : assertions, réécriture, interprétation abstraite, logiques et assistants de preuve Gérard Berry 11 Mar 2015 Prouver les programmes : pourquoi, quand, comment ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 11 Mar 2015 16:00 - 17:30 18 Mar 2015 Cours 16:00 - 17:30 Des logiques d'ordre supérieur à la programmation vérifiée en Coq Gérard Berry 18 Mar 2015 Prouver les programmes : pourquoi, quand, comment ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 18 Mar 2015 16:00 - 17:30 25 Mar 2015 Cours 16:00 - 17:30 La vérification de modèles (model-checking) Gérard Berry 25 Mar 2015 Prouver les programmes : pourquoi, quand, comment ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 25 Mar 2015 16:00 - 17:30 01 avr 2015 Cours 16:00 - 17:30 Vérification et optimisation booléennes d'automates et circuits Gérard Berry 01 avr 2015 Prouver les programmes : pourquoi, quand, comment ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 01 avr 2015 16:00 - 17:30 04 nov 2015 Cours 16:00 - 17:30 L'importance des langages en informatique Gérard Berry 04 nov 2015 Structures de données et algorithmes pour la vérification formelle INRIA Rennes 04 nov 2015 16:00 - 17:30 09 Mar 2016 Cours 16:00 - 17:30 Les BDDs (Binary Decision Diagrams) et leurs applications Gérard Berry 09 Mar 2016 Structures de données et algorithmes pour la vérification formelle Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 09 Mar 2016 16:00 - 17:30 16 Mar 2016 Cours 16:00 - 17:30 SAT : la satisfaction booléenne Gérard Berry 16 Mar 2016 Structures de données et algorithmes pour la vérification formelle Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 16 Mar 2016 16:00 - 17:30 23 Mar 2016 Cours 16:00 - 17:30 SMT : la satisfaction modulo théories Gérard Berry 23 Mar 2016 Structures de données et algorithmes pour la vérification formelle Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 Mar 2016 16:00 - 17:30 30 Mar 2016 Cours 16:00 - 17:30 La vérification formelle de programmes temporisés Gérard Berry 30 Mar 2016 Structures de données et algorithmes pour la vérification formelle Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 30 Mar 2016 16:00 - 17:30 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 13 avr 2016 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 Pagination Page courante 1 Page 2 Page suivante Dernière page
Cours 10:00 - 11:00 Parler du temps, mais de manière formelle (1) Gérard Berry 02 avr 2013 Le temps et les événements en informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 02 avr 2013 10:00 - 11:00
Cours 11:00 - 12:00 Parler du temps, mais de manière formelle (2) Gérard Berry 02 avr 2013 Le temps et les événements en informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 02 avr 2013 11:00 - 12:00
Cours 10:00 - 11:00 Circuits et nombre 2-adiques, une nouvelle vision de l'échange temps-espace Gérard Berry 09 avr 2013 Le temps et les événements en informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 09 avr 2013 10:00 - 11:00
Cours 10:00 - 11:00 Systèmes réactifs logiciels, le design du langage synchrone Esterel v5 Gérard Berry 16 avr 2013 Le temps et les événements en informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 16 avr 2013 10:00 - 11:00
Cours 10:00 - 11:00 La compilation logicielle d'Esterel v5 Gérard Berry 23 avr 2013 Le temps et les événements en informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 avr 2013 10:00 - 11:00
Cours 10:00 - 11:00 La conception de circuits synchrones et multi-horloges en Esterel v7 Gérard Berry 14 mai 2013 Le temps et les événements en informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 14 mai 2013 10:00 - 11:00
Cours 10:00 - 11:00 Synthèse matérielle et compilation logicielle d'Esterel v7 Gérard Berry 21 mai 2013 Le temps et les événements en informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 21 mai 2013 10:00 - 11:00
Cours 10:00 - 12:00 Orchestration d'activités Web en HipHop Gérard Berry 28 mai 2013 Le temps et les événements en informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 28 mai 2013 10:00 - 12:00
Cours 16:00 - 17:00 Esterel et SCADE, de la recherche à l'industrie : la vision labo Gérard Berry 15 jan 2014 Le temps élargi : horloges multiples, temps discrets et temps continu INRIA Sophia-Antipolis 15 jan 2014 16:00 - 17:00
Cours 16:00 - 17:00 Esterel et SCADE, de la recherche à l'industrie : la vision industrielle Gérard Berry 22 jan 2014 Le temps élargi : horloges multiples, temps discrets et temps continu INRIA Sophia-Antipolis 22 jan 2014 16:00 - 17:00
Cours 16:00 - 17:00 Urgences scientifiques posées par l'industrie : causalité fine, circuits multi-horloges, ECOs et vérification formelle Gérard Berry 29 jan 2014 Le temps élargi : horloges multiples, temps discrets et temps continu INRIA Sophia-Antipolis 29 jan 2014 16:00 - 17:00
Cours 16:00 - 17:00 Circuits multi-horloges, métastabilité, synchroniseurs et FIFOs asynchrones Gérard Berry 05 Mar 2014 Le temps élargi : horloges multiples, temps discrets et temps continu Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 05 Mar 2014 16:00 - 17:00
Cours 16:00 - 17:00 Synchronisons nos montres : la synchronisation d'horloges matérielles et logicielles en environnement distribué Gérard Berry 12 Mar 2014 Le temps élargi : horloges multiples, temps discrets et temps continu Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 12 Mar 2014 16:00 - 17:00
Cours 16:00 - 17:00 Coopération entre modèles de temps et de communication Gérard Berry 19 Mar 2014 Le temps élargi : horloges multiples, temps discrets et temps continu Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 19 Mar 2014 16:00 - 17:00
Cours 16:00 - 17:00 L'électricité est constructive : l'équivalence entre la propagation électrique et le calcul Booléen constructif pour les circuits synchrones cycliques Gérard Berry 26 Mar 2014 Le temps élargi : horloges multiples, temps discrets et temps continu Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 26 Mar 2014 16:00 - 17:00
Cours 16:00 - 17:00 Jouer avec le temps Gérard Berry 02 avr 2014 Le temps élargi : horloges multiples, temps discrets et temps continu Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 02 avr 2014 16:00 - 17:00
Cours 17:30 - 18:00 Discussion et réponses aux questions de l'année Gérard Berry 09 avr 2014 Le temps élargi : horloges multiples, temps discrets et temps continu Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 09 avr 2014 17:30 - 18:00
Cours 16:00 - 17:00 La révolution informatique dans les sciences Gérard Berry 28 jan 2015 Prouver les programmes : pourquoi, quand, comment ? École normale supérieure de Lyon 28 jan 2015 16:00 - 17:00
Cours 16:00 - 17:30 De la spécification à la réalisation, au test et à la preuve : les approches formelles Gérard Berry 04 Mar 2015 Prouver les programmes : pourquoi, quand, comment ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 04 Mar 2015 16:00 - 17:30
Cours 16:00 - 17:30 Les méthodes générales : assertions, réécriture, interprétation abstraite, logiques et assistants de preuve Gérard Berry 11 Mar 2015 Prouver les programmes : pourquoi, quand, comment ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 11 Mar 2015 16:00 - 17:30
Cours 16:00 - 17:30 Des logiques d'ordre supérieur à la programmation vérifiée en Coq Gérard Berry 18 Mar 2015 Prouver les programmes : pourquoi, quand, comment ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 18 Mar 2015 16:00 - 17:30
Cours 16:00 - 17:30 La vérification de modèles (model-checking) Gérard Berry 25 Mar 2015 Prouver les programmes : pourquoi, quand, comment ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 25 Mar 2015 16:00 - 17:30
Cours 16:00 - 17:30 Vérification et optimisation booléennes d'automates et circuits Gérard Berry 01 avr 2015 Prouver les programmes : pourquoi, quand, comment ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 01 avr 2015 16:00 - 17:30
Cours 16:00 - 17:30 L'importance des langages en informatique Gérard Berry 04 nov 2015 Structures de données et algorithmes pour la vérification formelle INRIA Rennes 04 nov 2015 16:00 - 17:30
Cours 16:00 - 17:30 Les BDDs (Binary Decision Diagrams) et leurs applications Gérard Berry 09 Mar 2016 Structures de données et algorithmes pour la vérification formelle Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 09 Mar 2016 16:00 - 17:30
Cours 16:00 - 17:30 SAT : la satisfaction booléenne Gérard Berry 16 Mar 2016 Structures de données et algorithmes pour la vérification formelle Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 16 Mar 2016 16:00 - 17:30
Cours 16:00 - 17:30 SMT : la satisfaction modulo théories Gérard Berry 23 Mar 2016 Structures de données et algorithmes pour la vérification formelle Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 Mar 2016 16:00 - 17:30
Cours 16:00 - 17:30 La vérification formelle de programmes temporisés Gérard Berry 30 Mar 2016 Structures de données et algorithmes pour la vérification formelle Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 30 Mar 2016 16:00 - 17:30
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
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