Ce 27 novembre 2003, le CETIC a participé à un workshop sur les méthodes formelles qui se tenait à Gand. La journée rassemblait une cinquantaine d’acteurs de la communauté formelle belge et internationale, avec notamment des intervenants anglais, allemands et italiens. L’accent était mis à la fois sur les implications industrielles et éducationnelles des techniques et outils formels.
Le CETIC a largement contribué à cette journée (2 exposés sur 8) et a montré que ses activités dans le domaine formel adressaient l’entièreté du cycle de développement logiciel :
La journée a été l’occasion de s’informer sur travaux respectifs en cours, les méthodes d’enseignement et a également permis de nouer des contacts intéressants.