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.
Source : Tap
Plus : Actu News
