AeS passa a ser associada do Projeto DEPLOY (http://www.deploy-project.eu/), com um projeto de criação de uma metodologia de desenvolvimento formal para sistemas críticos. Este projeto terá a duração de aproximadamente 2 anos, e contará com o apoio de diversas universidades da Comunidade Européia.