AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Archive pour November, 2011

Journée WEED du 23 Novembre 2011

Wednesday 9 November 2011

Journée WEED du mercredi 23 novembre 2011 (10h30-16h30) a eu lieu à l’ICT Lab — 23 avenue d’Italie, 75013 Paris. Elle a réuni 13 participants.
Programme:

Participation gratuite mais réservation obligatoire (Marc.Boyer  —- onera.fr) .

Publié dans WEED | Pas de commentaire »

Compte-rendu de la journée “Méthodes formelles pour la bio-informatique”

Friday 4 November 2011

Journée “Méthodes formelles pour la bio-informatique” du jeudi 20 octobre 2011 au LIP6 à Paris.

25 participants.

Nous remercions particulièrement Béatrice Bérard et Fabrice Kordon pour l’organisation locale.

Les transparents des quatre présentations sont disponibles :

Publié dans Actions Afsec, Journées | Pas de commentaire »