AUJOURD'HUI A NANCY...
L'actualité culturelle à Nancy et ses environs
L'actualité culturelle à Nancy et ses environs
Agenda
Par thèmes
Annuaire des lieux
Recherche par mot clefs
Nos Flux
Nos dernières newsletters
Ce week end
Messes du 54
Le Mag'
Aide
Ajoutévènement
-
Accueil
- Conférence Sciences et société "A la chasse aux bugs ou comment rendre l'informatique plus sûre ?"
|
Conférence Sciences et société "A la chasse aux bugs ou comment rendre l'informatique plus sûre ?"
Evénement disponible
du :
Au :
Contact Facebook :
Contact via Messenger en ligne
Réservations
Réserver
Prochaines dates
| Aucun évènement |
Polytechnicien et ingénieur du corps des Mines, Gérard Berry a rejoint Inria en 1980. C’est le premier professeur titulaire d’une chaire en Informatique au Collège de France. Il est médaillé d’or du CNRS en 2014, la plus haute distinction scientifique française. Il est également membre de l’Académie des Sciences.
À la chasse aux bugs ou comment rendre l’informatique plus sûre ?
C’est Gérard Berry, médaille d’or du CNRS 2014, qui répondra à cette question le 19 novembre prochain à 20 h 30 dans les locaux d’Inria Nancy – Grand Est.
La généralisation de l’informatisation aux processus et objets de tous ordres permet de réaliser des choses extraordinaires et impossibles auparavant. Mais elle se heurte à un problème fondamental : la facilité avec laquelle les bugs s’introduisent dans toute application informatique. Les bugs ne sont pas des erreurs ou des pannes de machines, mais bel et bien des erreurs des hommes qui les programment. Ils peuvent perturber ou anéantir le fonctionnement prévu, mais aussi, de façon plus sournoise, compromettre la cyber-sécurité en ouvrant des vulnérabilités permettant l’attaque des systèmes par les hackers. Nous analyserons en profondeur la notion même de bug, puis décrirons les méthodes pragmatiques et scientifiques
pour détecter voire éradiquer les bugs. Ces méthodes vont des tests bien conduits, qui permettent de trouver des erreurs mais pas de montrer leur absence, à la vérification formelle, sujet où la France est tout à fait en pointe. La vérification formelle permet de prouver sur papier ou de préférence en machine l’absence de (certains) bugs à l’aide d’algorithmes et de formalismes logiques, ceci sans même exécuter le programme.
Cette conférence a lieu dans le cadre des conférences « Sciences et société », organisées par l’IUT Nancy - Charlemagne, l’Institut Elie Cartan de Lorraine et la Fédération Charles Hermite, avec le soutien de l’Université de Lorraine, la Région Lorraine, Inria Nancy – Grand Est et Cap’Maths.
Coordonnées :
Longitude : 6.15563297
Latitude : 48.66400909
Latitude : 48.66400909
Alerte mail
Restez quotidiennement informés des nouvelles informations renseignées dans notre agenda.
Vous pourrez vous désabonner à partir de n'importe quel mail reçu en cliquant sur le lien prévu à cet effet.
Vous pourrez vous désabonner à partir de n'importe quel mail reçu en cliquant sur le lien prévu à cet effet.