TUNIS (TAP) - Le 5e Atelier International sur la Vérification et l'Evaluation des systèmes informatiques et de télécommunications (VECoS) se tiendra, les 15 et 16 septembre, à Tunis, à l'initiative de la Cité des sciences et le Formal Methods Europ. Cette rencontre organisée en partenariat avec plusieurs établissements universitaires de Tunis, Sfax et Gabès (ENIT, ENSI, FSG, ISI, ISIMS), aura pour objectif de réunir les chercheurs et les ingénieurs travaillant dans les domaines de vérification, contrôle, performance et qualité de services. L'atelier VECos leur permettra, également, d'échanger leurs expériences et leurs travaux de recherche. Créé par le réseau euro-maghrébin de chercheurs en informatique, l'atelier aura lieu pour la première fois en Tunisie. Les précédentes sessions s'étaient tenues, successivement, à Alger en 2007, Leeds (Nord de l'Angleterre) en 2008, Rabat en 2009 et Paris en 2010. Formal Methods Europ est une organisation internationale indépendante oeuvrant pour la promotion de la recherche sur les méthodes de développement du software et du hardware.