Partager Facebook X (ex-Twitter) Linkedin Copier le lien Agenda 44 événements Filtres Dates Close Dates Dates Du Au 7 prochains jours 30 prochains jours Professeur, chaire, laboratoire Close Professeur, chaire, laboratoire Professeur, chaire, laboratoire Rechercher un professeur, une chaire ou un laboratoire Gérard Berry (2012 - 2019) Domaines Close Domaines Domaines Mathématiques et sciences informatiques (44) Type d'enseignement Close 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 Conférencier invité 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 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 07 fév 2018 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 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 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
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
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
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