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 42 é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 (42) 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) Séminaire Trier par du plus ancien au plus récent du plus ancien au plus récent du plus récent au plus ancien 09 avr 2013 Séminaire 11:00 - 12:00 L'évolution des microprocesseurs Olivier Temam 09 avr 2013 Le temps et les événements en informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 09 avr 2013 11:00 - 12:00 16 avr 2013 Séminaire 11:00 - 12:00 Modélisation synchrone des systèmes et des logiciels d'avionique Emmanuel Ledinot 16 avr 2013 Le temps et les événements en informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 16 avr 2013 11:00 - 12:00 23 avr 2013 Séminaire 11:00 - 12:00 Le langage SCADE 6 pour les systèmes embarqués, de la conception à la compilation Bruno Pagano 23 avr 2013 Le temps et les événements en informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 avr 2013 11:00 - 12:00 14 mai 2013 Séminaire 11:00 - 12:00 Les circuits asynchrones Jordi Cortadella 14 mai 2013 Le temps et les événements en informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 14 mai 2013 11:00 - 12:00 21 mai 2013 Séminaire 11:00 - 12:00 Elastic Circuits, Blending Synchronous and Asynchronous Technologies Jordi Cortadella 21 mai 2013 Le temps et les événements en informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 21 mai 2013 11:00 - 12:00 28 mai 2013 Séminaire 10:00 - 11:00 Programmation distribuée du Web en Hop (1) Manuel Serrano 28 mai 2013 Le temps et les événements en informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 28 mai 2013 10:00 - 11:00 Séminaire 11:00 - 12:00 Programmation distribuée du Web en Hop (2) Manuel Serrano 28 mai 2013 Le temps et les événements en informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 28 mai 2013 11:00 - 12:00 04 juin 2013 Séminaire 10:00 - 11:00 La musique du temps-réel Philippe Manoury 04 juin 2013 Le temps et les événements en informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 04 juin 2013 10:00 - 11:00 Séminaire 11:00 - 12:00 Musique informatique : de la synchronisation interprète/électronique à la partition algorithmique Arshia Cont 04 juin 2013 Le temps et les événements en informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 04 juin 2013 11:00 - 12:00 15 jan 2014 Séminaire 17:00 - 18:00 Le traitement du temps en automatique Juliette Leblond 15 jan 2014 Le temps élargi : horloges multiples, temps discrets et temps continu INRIA Sophia-Antipolis 15 jan 2014 17:00 - 18:00 22 jan 2014 Séminaire 17:00 - 18:00 Une fréquence peut-elle être instantanée ? Patrick Flandrin 22 jan 2014 Le temps élargi : horloges multiples, temps discrets et temps continu INRIA Sophia-Antipolis 22 jan 2014 17:00 - 18:00 29 jan 2014 Séminaire 17:00 - 17:30 Prototypage virtuel de système sur puce pour une simulation rapide et fidèle (1) Laurent Maillet-Contoz 29 jan 2014 Le temps élargi : horloges multiples, temps discrets et temps continu INRIA Sophia-Antipolis 29 jan 2014 17:00 - 17:30 Séminaire 17:30 - 18:45 Prototypage virtuel de système sur puce pour une simulation rapide et fidèle (2) Matthieu Moy 29 jan 2014 Le temps élargi : horloges multiples, temps discrets et temps continu INRIA Sophia-Antipolis 29 jan 2014 17:30 - 18:45 05 Mar 2014 Séminaire 17:00 - 18:00 Architecture à horloges faiblement synchronisées pour les applications d'automatique temps-réel distribuées Albert Benveniste 05 Mar 2014 Le temps élargi : horloges multiples, temps discrets et temps continu Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 05 Mar 2014 17:00 - 18:00 12 Mar 2014 Séminaire 17:00 - 18:00 Distribution d'horloges à grande échelle sur une puce François Anceau 12 Mar 2014 Le temps élargi : horloges multiples, temps discrets et temps continu Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 12 Mar 2014 17:00 - 18:00 19 Mar 2014 Séminaire 17:00 - 18:00 La modélisation et la simulation : de la physique aux langages et aux logiciels Karl Johan Åström 19 Mar 2014 Le temps élargi : horloges multiples, temps discrets et temps continu Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 19 Mar 2014 17:00 - 18:00 26 Mar 2014 Séminaire 17:00 - 18:00 Langages pour la programmation des systèmes hybrides temps discret/temps continu Marc Pouzet 26 Mar 2014 Le temps élargi : horloges multiples, temps discrets et temps continu Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 26 Mar 2014 17:00 - 18:00 02 avr 2014 Séminaire 17:00 - 18:00 Programmation de systèmes parallèles temps-réel : défis et réussites des approches synchrones et par réseaux de Kahn Marc Duranton et Albert Cohen 02 avr 2014 Le temps élargi : horloges multiples, temps discrets et temps continu Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 02 avr 2014 17:00 - 18:00 09 avr 2014 Séminaire 16:00 - 17:00 Cerveau, cognition et temps Virginie van Wassenhove 09 avr 2014 Le temps élargi : horloges multiples, temps discrets et temps continu Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 09 avr 2014 16:00 - 17:00 Séminaire 17:00 - 17:30 Le temps dans le calcul neuronal Romain Brette 09 avr 2014 Le temps élargi : horloges multiples, temps discrets et temps continu Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 09 avr 2014 17:00 - 17:30 04 Mar 2015 Séminaire 17:30 - 18:30 L'Internet des objets, une révolution à ne pas manquer Joseph Sifakis 04 Mar 2015 Prouver les programmes : pourquoi, quand, comment ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 04 Mar 2015 17:30 - 18:30 11 Mar 2015 Séminaire 17:30 - 18:30 Utilisation des méthodes formelles pour la sécurisation de systèmes complexes : une avancée industrielle Dominique Bolignano 11 Mar 2015 Prouver les programmes : pourquoi, quand, comment ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 11 Mar 2015 17:30 - 18:30 18 Mar 2015 Séminaire 17:30 - 18:30 Langages et systèmes pour la preuve interactive Christine Paulin 18 Mar 2015 Prouver les programmes : pourquoi, quand, comment ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 18 Mar 2015 17:30 - 18:30 25 Mar 2015 Séminaire 17:30 - 18:30 Prouver la sécurité informatique : la logique à la rescousse Véronique Cortier 25 Mar 2015 Prouver les programmes : pourquoi, quand, comment ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 25 Mar 2015 17:30 - 18:30 01 avr 2015 Séminaire 17:30 - 18:30 Spécification, construction et vérification de programmes : le parcours d'une pensée scientifique sur une quarantaine d'années Jean-Raymond Abrial 01 avr 2015 Prouver les programmes : pourquoi, quand, comment ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 01 avr 2015 17:30 - 18:30 04 nov 2015 Séminaire 17:30 - 18:30 Intégration de la vérification formelle dans les langages de programmation (INRIA de Rennes) Thomas Jensen 04 nov 2015 Structures de données et algorithmes pour la vérification formelle INRIA Rennes 04 nov 2015 17:30 - 18:30 09 Mar 2016 Séminaire 17:30 - 18:30 Application des BDDs dans la conception de circuits intégrés Jean-Christophe Madre et Patrick Vuillod 09 Mar 2016 Structures de données et algorithmes pour la vérification formelle Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 09 Mar 2016 17:30 - 18:30 16 Mar 2016 Séminaire 17:30 - 18:30 SAT : des victoires contre les problèmes difficiles Laurent Simon 16 Mar 2016 Structures de données et algorithmes pour la vérification formelle Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 16 Mar 2016 17:30 - 18:30 23 Mar 2016 Séminaire 17:30 - 18:30 SMT en pratique : le démonstrateur Alt-Ergo Sylvain Conchon 23 Mar 2016 Structures de données et algorithmes pour la vérification formelle Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 Mar 2016 17:30 - 18:30 30 Mar 2016 Séminaire 17:30 - 18:30 Real-Time Model Checking of Embedded Systems Kim Larsen 30 Mar 2016 Structures de données et algorithmes pour la vérification formelle Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 30 Mar 2016 17:30 - 18:30 Pagination Page courante 1 Page 2 Page suivante Dernière page
Séminaire 11:00 - 12:00 L'évolution des microprocesseurs Olivier Temam 09 avr 2013 Le temps et les événements en informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 09 avr 2013 11:00 - 12:00
Séminaire 11:00 - 12:00 Modélisation synchrone des systèmes et des logiciels d'avionique Emmanuel Ledinot 16 avr 2013 Le temps et les événements en informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 16 avr 2013 11:00 - 12:00
Séminaire 11:00 - 12:00 Le langage SCADE 6 pour les systèmes embarqués, de la conception à la compilation Bruno Pagano 23 avr 2013 Le temps et les événements en informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 avr 2013 11:00 - 12:00
Séminaire 11:00 - 12:00 Les circuits asynchrones Jordi Cortadella 14 mai 2013 Le temps et les événements en informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 14 mai 2013 11:00 - 12:00
Séminaire 11:00 - 12:00 Elastic Circuits, Blending Synchronous and Asynchronous Technologies Jordi Cortadella 21 mai 2013 Le temps et les événements en informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 21 mai 2013 11:00 - 12:00
Séminaire 10:00 - 11:00 Programmation distribuée du Web en Hop (1) Manuel Serrano 28 mai 2013 Le temps et les événements en informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 28 mai 2013 10:00 - 11:00
Séminaire 11:00 - 12:00 Programmation distribuée du Web en Hop (2) Manuel Serrano 28 mai 2013 Le temps et les événements en informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 28 mai 2013 11:00 - 12:00
Séminaire 10:00 - 11:00 La musique du temps-réel Philippe Manoury 04 juin 2013 Le temps et les événements en informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 04 juin 2013 10:00 - 11:00
Séminaire 11:00 - 12:00 Musique informatique : de la synchronisation interprète/électronique à la partition algorithmique Arshia Cont 04 juin 2013 Le temps et les événements en informatique Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 04 juin 2013 11:00 - 12:00
Séminaire 17:00 - 18:00 Le traitement du temps en automatique Juliette Leblond 15 jan 2014 Le temps élargi : horloges multiples, temps discrets et temps continu INRIA Sophia-Antipolis 15 jan 2014 17:00 - 18:00
Séminaire 17:00 - 18:00 Une fréquence peut-elle être instantanée ? Patrick Flandrin 22 jan 2014 Le temps élargi : horloges multiples, temps discrets et temps continu INRIA Sophia-Antipolis 22 jan 2014 17:00 - 18:00
Séminaire 17:00 - 17:30 Prototypage virtuel de système sur puce pour une simulation rapide et fidèle (1) Laurent Maillet-Contoz 29 jan 2014 Le temps élargi : horloges multiples, temps discrets et temps continu INRIA Sophia-Antipolis 29 jan 2014 17:00 - 17:30
Séminaire 17:30 - 18:45 Prototypage virtuel de système sur puce pour une simulation rapide et fidèle (2) Matthieu Moy 29 jan 2014 Le temps élargi : horloges multiples, temps discrets et temps continu INRIA Sophia-Antipolis 29 jan 2014 17:30 - 18:45
Séminaire 17:00 - 18:00 Architecture à horloges faiblement synchronisées pour les applications d'automatique temps-réel distribuées Albert Benveniste 05 Mar 2014 Le temps élargi : horloges multiples, temps discrets et temps continu Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 05 Mar 2014 17:00 - 18:00
Séminaire 17:00 - 18:00 Distribution d'horloges à grande échelle sur une puce François Anceau 12 Mar 2014 Le temps élargi : horloges multiples, temps discrets et temps continu Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 12 Mar 2014 17:00 - 18:00
Séminaire 17:00 - 18:00 La modélisation et la simulation : de la physique aux langages et aux logiciels Karl Johan Åström 19 Mar 2014 Le temps élargi : horloges multiples, temps discrets et temps continu Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 19 Mar 2014 17:00 - 18:00
Séminaire 17:00 - 18:00 Langages pour la programmation des systèmes hybrides temps discret/temps continu Marc Pouzet 26 Mar 2014 Le temps élargi : horloges multiples, temps discrets et temps continu Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 26 Mar 2014 17:00 - 18:00
Séminaire 17:00 - 18:00 Programmation de systèmes parallèles temps-réel : défis et réussites des approches synchrones et par réseaux de Kahn Marc Duranton et Albert Cohen 02 avr 2014 Le temps élargi : horloges multiples, temps discrets et temps continu Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 02 avr 2014 17:00 - 18:00
Séminaire 16:00 - 17:00 Cerveau, cognition et temps Virginie van Wassenhove 09 avr 2014 Le temps élargi : horloges multiples, temps discrets et temps continu Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 09 avr 2014 16:00 - 17:00
Séminaire 17:00 - 17:30 Le temps dans le calcul neuronal Romain Brette 09 avr 2014 Le temps élargi : horloges multiples, temps discrets et temps continu Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 09 avr 2014 17:00 - 17:30
Séminaire 17:30 - 18:30 L'Internet des objets, une révolution à ne pas manquer Joseph Sifakis 04 Mar 2015 Prouver les programmes : pourquoi, quand, comment ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 04 Mar 2015 17:30 - 18:30
Séminaire 17:30 - 18:30 Utilisation des méthodes formelles pour la sécurisation de systèmes complexes : une avancée industrielle Dominique Bolignano 11 Mar 2015 Prouver les programmes : pourquoi, quand, comment ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 11 Mar 2015 17:30 - 18:30
Séminaire 17:30 - 18:30 Langages et systèmes pour la preuve interactive Christine Paulin 18 Mar 2015 Prouver les programmes : pourquoi, quand, comment ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 18 Mar 2015 17:30 - 18:30
Séminaire 17:30 - 18:30 Prouver la sécurité informatique : la logique à la rescousse Véronique Cortier 25 Mar 2015 Prouver les programmes : pourquoi, quand, comment ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 25 Mar 2015 17:30 - 18:30
Séminaire 17:30 - 18:30 Spécification, construction et vérification de programmes : le parcours d'une pensée scientifique sur une quarantaine d'années Jean-Raymond Abrial 01 avr 2015 Prouver les programmes : pourquoi, quand, comment ? Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 01 avr 2015 17:30 - 18:30
Séminaire 17:30 - 18:30 Intégration de la vérification formelle dans les langages de programmation (INRIA de Rennes) Thomas Jensen 04 nov 2015 Structures de données et algorithmes pour la vérification formelle INRIA Rennes 04 nov 2015 17:30 - 18:30
Séminaire 17:30 - 18:30 Application des BDDs dans la conception de circuits intégrés Jean-Christophe Madre et Patrick Vuillod 09 Mar 2016 Structures de données et algorithmes pour la vérification formelle Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 09 Mar 2016 17:30 - 18:30
Séminaire 17:30 - 18:30 SAT : des victoires contre les problèmes difficiles Laurent Simon 16 Mar 2016 Structures de données et algorithmes pour la vérification formelle Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 16 Mar 2016 17:30 - 18:30
Séminaire 17:30 - 18:30 SMT en pratique : le démonstrateur Alt-Ergo Sylvain Conchon 23 Mar 2016 Structures de données et algorithmes pour la vérification formelle Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 23 Mar 2016 17:30 - 18:30
Séminaire 17:30 - 18:30 Real-Time Model Checking of Embedded Systems Kim Larsen 30 Mar 2016 Structures de données et algorithmes pour la vérification formelle Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 30 Mar 2016 17:30 - 18:30