En partenariat avec l'ENIT, l'ENSI, le FSG, l'ISI et l'ISIMS, la Cité des Sciences à Tunis et le formal Methods Europ organisent, les 15 et 16 septembre, le 5ème atelier international sur la Vérification et l'Evaluation des systèmes informatiques et de télécommunications (VECoS). Créé par le réseau euro-maghrébin de chercheurs en informatique, cet atelier a eu lieu dans plusieurs villes de par le monde : Alger en 2007, Leeds en 2008, Rabat en 2009, et Paris en 2010. Et c'est pour la première fois qu'il se tiendra en Tunisie. Le but est de réunir les chercheurs et les ingénieurs travaillant dans les domaines de la vérification, contrôle, performance, qualité de service, etc., et leur permettre d'échanger leurs expériences et leurs travaux de recherche.