04 Mar 2015 → 01 Avr 2015 Séminaire Prouver les programmes : pourquoi, quand, comment ? 04 Mar 2015 → 01 Avr 2015 Partager Facebook X (ex-Twitter) Linkedin Copier le lien
du Mercredi 4 mars au Mercredi 1 avril 2015 Voir aussi : Cours associéGérard Berry Documents et médias Télécharger le programme pdf (228.54 Ko) Programme 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 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 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 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 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 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 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 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 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 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 Voir aussi Cours en relation avec le séminaire : Prouver les programmes : pourquoi, quand, comment ? Gérard Berry, chaire Algorithmes, machines et langages
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
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
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
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
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
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
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
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
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
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
