The Laboratory of Artificial Intelligence and Computer Science of the University of Porto (LIACC) was created in 1988 to promote the collaboration of researchers that were separately working in the fields of Computer Science and Artificial Intelligence in different Faculties. At present the LIACC researchers belong to the Computer Science Department of the Faculty of Science of the University of Porto (FCUP), to the Informatics Engineering Department of the Faculty of Engineering of the University of Porto (FEUP), to the School of Engineering of the University of Minho (EEUM), University of Coimbra (UC), University of Beira Interior (UBI), Portuguese Catholic University, Polytechnic Institute of Porto (ISEP/IPP, ESTSP/IPP and ISCAP/IPP)), University Institute of Lisbon (ISCTE), Polytechnic Institute of Bragança (IPB), Polytechnic Institute of Viana do Castelo (IPVC, Polytechnic Institute of Cávado e Ave (IPCA), .
LIACC aims at helping to solve the following general problems posed by the use of computers:
- software reliability,
- problems of a distributed, dynamic and decentralized nature,
- security, and
- information processing reliability.
These hard, real-world problems can only be solved in the long term by combining the power of formal methods with more technology-oriented approaches and were used as a frame of reference in defining the LIACC short-term goals.
LIACC activities are organized around three research groups: the Computer Science group, and the Distributed Artificial Intelligence and Intelligent Simulation group and the Human-Machine Intelligent Cooperation Group..
- recent achievements
- outreach and end-product activities
- collaboration in postgraduate formation
- historical notes