AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Archive pour April, 2011

Session AFSEC lors des journées GPL - Appel à communication

Monday 4 April 2011

Comme chaque année, l’action AFSEC est invitée à organiser une session lors des journées du GDR GPL qui se dérouleront à Lille, du 8-10 juin 2011.

Si vous souhaitez faire un exposé de vos travaux dans le cadre de la session AFSEC de ces journées, merci de faire parvenir par email (à Olivier H Roux) un titre et un résumé de votre présentation.

Publié dans Actions Afsec, Journées | 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 »