Research in Theory and Formal Methods at the Department of Informatics has a long tradition at the scientific level, with significant links to national industry, and a deep involvement in the department's teaching activities, at both the undergraduate and the postgraduate level. The group currently consists of 12 staff members and 15 PhD students. Research in this area has in the last few years involved many undergraduate students (FCT BIC grant-holders) and junior researchers (FCT BI grant-holders). A number of former grant-holders are now doing their PhDs externally, co-supervised by members of the team. Regular activities in this area include a research seminar that provides a stimulating meeting opportunity for the whole team, including post-grad and final year undergraduate students.