[conférence] (07/03/15) Mathematic Park

Modérateur : cravate

Répondre
cravate
Messages : 145
Enregistré le : mar. juil. 23, 2013 8:29 pm
Contact :

[conférence] (07/03/15) Mathematic Park

Message par cravate » lun. févr. 09, 2015 10:30 pm

La prochaine conférence Mathematic Park à l'Institut Henri Poincaré aura lieu le 7 mars et Jean-Christophe Filliâtre parlera de vérification déductive de programmes.

Résumé :
L'histoire du logiciel, pourtant relativement courte, est déjà émaillée d'un grand nombre de faillites célèbres. Notre quotidien lui-même est régulièrement affecté par des erreurs logicielles et le mot « bug » est passé sans mal dans le langage courant. Cet exposé donnera une introduction à la vérification déductive de programmes, une activité visant à établir de manière irréfutable la correction d'un programme par une série de déductions logiques mécanisées.

Les inscriptions sont toujours sur la page
http://www.ihp.fr/fr/seminaire/mathpark-inscription
---
@roger_mansuy sur twitter

cravate
Messages : 145
Enregistré le : mar. juil. 23, 2013 8:29 pm
Contact :

Re: [conférence] (07/03/15) Mathematic Park

Message par cravate » mer. mars 04, 2015 10:05 pm

Voici le lien pour le live de JC Filliâtre @Math Park, ce samedi 7 mars à 15h:

http://youtu.be/Jf5TYvpkXuc
---
@roger_mansuy sur twitter

Répondre

Qui est en ligne

Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 1 invité