تلتئم الورشة الدولية الخامسة لفحص وتقييم أنظمة الاعلامية والاتصال اليوم وغدا بمدينة العلوم بتونس، وهي من تنظيم المؤسسة الأوروبية Formal Methods Europ ومدينة العلوم بتونس وذلك بالتعاون مع المدرسة الوطنية للمهندسين بتونس، والمدرسة الوطنية لعلوم الاعلامية، وكلية العلوم بقابس، والمعهد العالي للاعلامية، والمعهد العالي للإعلامية والملتيميديا بصفاقس. وقد انتظمت هذه الورشة في العديد من المدن عبر العالم من بينها الجزائر سنة 2007 وليدز سنة 2008 والرباط سنة 2009 وباريس سنة 2010، وتنعقد هذه السنة لأول مرة في تونس، وتهدف هذه الورشة الى اتاحة الفرصة للباحثين والمهندسين العاملين في مجالات الفحص والمراقبة وتطوير وجودة الخدمات في ميادين الاتصالات والمعلوماتية الى تبادل الخبرات.