• MOMPES 2008 - Model-based Methodologies for Pervasive and Embedded Software
• Interacção 2008 - 3ª Conferência Interacção Pessoa-Máquina
• XATA 2008 - 6th national conference of XML: Applications and Technologies. Évora, 14,15 February 2008

                        (more...)

• 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

                        (more...)