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 06 avr 2016 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 31 jan 2018 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 14 fév 2018 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 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 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 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 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 13 déc 2018 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 06 fév 2019 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 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 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 Pagination Première page Page précédente Page 1 Page courante 2
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
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
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
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
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
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
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
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
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
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
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