AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Archive pour la catégorie 'Uncategorized'

Migration du serveur AFSEC

Friday 1 February 2013

Suite à la migration du serveur hébergeant l’AFSEC, nous avons d’une part été dans l’incapacité de mettre à jour le site et d’autre part privé de mailing list pendant quelques semaines.

Veuillez nous en excuser.
Tout semble maintenant opérationnel et les messages sur le site et par email vont pouvoir reprendre.

Publié dans Uncategorized | Pas de commentaire »

AFSEC change de nom de domaine

Monday 4 April 2011

Le nom de domaine de l’AFSEC a basculé de afsec-cnrs.org vers afsec.asr.cnrs.fr

L’adresse du site web est maintenant : http://afsec.asr.cnrs.fr/

L’adresse de la mailing-list est maintenant : afsec@afsec.asr.cnrs.fr

Publié dans Uncategorized | Pas de commentaire »