about

Software reliability

Reliable software is still the main challenge in computer science...

Distributed, dynamic and decentralized problems

Distributed, dynamic and decentralized problems occur when heterogeneous partners need to collaborate...

Security

Security of software and of communication is currently a major concern

Information processing reliability

Representation of information is a major problem of computer science

Recent achievements

.

Outreach and end-product activities

Activities with impact on the non-scientific community

Historical notes

20 years of research in Computer Science and Artificial Intelligence

Collaboration in postgraduate formation

.

Team 1988-2007

Annual Reports and Plans

.

Advisory Board Reports

.

Submissions to CIENCIA and MFP Programmes

Relevant information from the submissions to CIENCIA and FCT Multi-year Funding Programmes

List of past-members

.