Conférence grand public, Pr. Bertrand Meyer, Chaire de génie logiciel à l'ETH Zürich

Dans le cadre de son invitation en tant que Chaire d"Excellence par le LabEx CIMI, le Pr. Bertrand Meyer donnera une conférence grand public le jeudi 2 février 2017  à l'Université Toulouse III- Paul Sabatier intitulée :

 
Du logiciel garanti sans bugs ? 

Résumé :

Qu’on les appelle bogues ou failles de sécurité, les erreurs de logiciel sont la plaie de l’informatique et encore plus de l’Internet. Il y a toujours eu des bugs et il y en aura toujours.

Ah oui ? En réalité la technologie de vérification des programmes a progressé considérablement, laissant entrevoir la possibilité de produire des programmes accompagnés d’une garantie d’absence de fautes, sous la forme d’une démonstration mathématique validée mécaniquement.

Cette conférence, destinée à un large public et ne présupposant pas de connaissances techniques approfondies, fait le point sur les techniques aujourd’hui disponibles, leurs applications, et les défis qui restent à surmonter pour qu’un jour tous les programmes soient garantis sans bugs.

Détails :

Rendez-vous le jeudi 2 février 2017 à 18 heures à l'Université Toulouse III- Paul Sabatier, Grand Auditorium, Bâtiment de l'Administration Central.

Pour toute demande d'informations : contact@cimi.univ-toulouse.fr