- New Project: FAST members participate in EFACEC's InPACT project
- Co-chair: J. C. Campos was designated co-chair of the programme committee of INTERACÇÃO'08.
- New Paper: Simulation and Formal Verification of Industrial Systems Controllers
- New Paper: Formal analysis of interactive systems: opportunities and weaknesses
- New Paper: Connecting rigorous system analysis to experience centred design