Bonjour,
Je suis actuellement en thèse à l'IRISA (project VerTeCs pour ceux qui
connaissent) et je m'interesse aux preuves formelles de programmes dans
le domaine de la sécurité. Je partirai probablement de la problématique
du vote éléctronique (si ce n'est pour ma thèse, au moins pour le projet
de recherche POLITESS auquel je participe) comme cas d'étude. Je n'ai
pas vu sur le Wiki si vous organisez de temps en temps des réunions de
travail sur demexp.
Jérémy
--
Liste de discussion demexp-fr.
Pour se désinscrire, cliquer sur le lien ci-après.
mailto:[EMAIL PROTECTED]
