Congress
Journées internationales sur: Reseaux de predicats et logique temporelle pour la verification des systemes repartis
Journées internationales sur: Reseaux de predicats et logique temporelle pour la verification des systemes repartis
Université Ibn Khaldoun
05-10 February, 2007
Journées internationales sur: Reseaux de predicats et logique temporelle pour la verification des systemes repartis; se concentrant sur les dernières recherches, développements, avancées et nouvelles technologies dans les domaines de l'informatique, Mathématiques, Physiques, des technologies de l'information, du traitement du signal, des technologies émergentes, des communications sans fil, des réseaux intelligents et Communication verte. La conférence vise à diffuser des idées nouvelles et des tendances émergentes, des résultats de recherche et des réalisations pratiques. Des contributions originales et de haute qualité sont sollicitées, y compris des théories, des applications et des expérimentations. C'est une opportunité de réseauter, de nouer des partenariats et d'échanger des idées avec une variété de chercheurs, développeurs et praticiens expérimentés de plusieurs universités, instituts de recherche et universités.
Organization committee
BELLOUT Abderrahim
Université Ibn Khaldoun
DEROUICH Abderrahmane
Université Ibn Khaldoun
HITRANE Mohammed
Université Ibn Khaldoun
KHALIFA M'hammed
Université Ibn Khaldoun
MHAMDI Abdelhafid
Université Ibn Khaldoun