On Fri, 16 May 2014 15:10:18 +0200 Alexis Roussel <[email protected]> wrote:
> Hello à tous, > > Je tenais à vous informer que le Conseil d'Etat m'a demandé de faire > partie de la Commission électorale de Genève. > > Je ne manquerai pas de vous tenir au courant lorsque les travaux sur > la version 2.0 de vote electronique commencerons ( dans le respect du > secret de fonction associé... C'est la règle du jeu) > > Cordialement > Alexis Roussel > _______________________________________________ > gull mailing list > [email protected] > http://forum.linux-gull.ch/mailman/listinfo/gull J'ai croisé, je vais retrouver dans l'aprèm, une "toy e-voting implementation" dans un package ayant trait à l'aide à la preuve formelle de code source, package écrit en caml. _______________________________________________ gull mailing list [email protected] http://forum.linux-gull.ch/mailman/listinfo/gull
