Accueil
NEWSLETTER  Inscription
Rechercher : dans Devenir Fan sur facebook Suivez-nous sur Twitter Suivez-nous sur Viadeo Suivez-nous sur LinkedIn RSS
http://www.oradist.com.tn/ http://www.tritux.com/ https://www.facebook.com/ASUS.Tunisie http://www.iomegafrance.com/emailing/2012-03-05CD/ http://www.viadeo.com http://www.lpi-maghreb.org/
Le Journal

La Tunisie accueille le 5e atelier international sur la Vérification et l'Evaluation des systèmes informatiques

sam..27.08.11
La Cité des sciences à Tunis et le Formal Methods Europ organisent, les 15 et 16 septembre, le 5e atelier international sur la Vérification et l'Evaluation des systèmes informatiques et de télécommunications (VECoS) en partenariat avec plusieurs établissements universitaires de Tunis, Sfax et Gabès (ENIT, ENSI, FSG, ISI, ISIMS).

Lancé par le réseau euro-maghrébin de chercheurs en informatique, cet atelier se tiendra pour la première fois en Tunisie. Il aura pour objectif de réunir les chercheurs et les ingénieurs travaillant notamment dans les domaines de la vérification, du contrôle, de la performance et de la qualité de services et de leur permettre d'échanger leurs expériences et leurs travaux de recherche.

Cet atelier a déjà eu lieu dans plusieurs villes de par le monde: Alger en 2007, Leeds (Nord de l'Angleterre) en 2008, Rabat en 2009 et Paris en 2010.

Formal Methods Europ est une organisation indépendante oeuvrant pour la promotion de la recherche sur les méthodes de développement du software et du hardware.


Articles de même catégorie

Ajouter aux Favoris Tunisia IT: Page de démarrage Qui-sommes-nous? Contactez-nous Contactez-nous Publicité