Journée Franco Marocaine Vérification Formelle & Réseaux de Capteurs

Post date: Sep 15, 2013 7:15:46 PM

Dans le cadre d'une collaboration entre les universités Pierre & marie Curie et Mohammed V Agdal sur la conception et l'analyse de réseaux de capteurs, nous organisons une journée de travail sur le thème: «vérification formelle & réseaux de capteurs».

Cette journée se déroulera dans la salle de soutenance du bâtiment, Bâtiment du CEDoc, à la faculté des sciences de Rabat, de 09h45 à 17h30.

Le poster d'annonce est disponible ici.

L'inscription à la Journée Franco Marocaine Vérification Formelle & Réseaux de Capteurs est gratuite dans la mesure des places disponibles mais, pour des raisons d'organisation, obligatoire en envoyant la fiche d'inscription complétée à Salma Mouline avant le mardi 17 septembre 2013.