About

 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, to the Informatics Engineering Department of the Faculty of Engineering, to the Informatics Engineering Department of the University of Beira Interior, and to the School of Engineering of the Polytechnic Institute of Porto.

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.

Since January 2011 the LIACC activities are organized around two research groups: the Computer Science group, and the Distributed Artificial Intelligence and Robotics group.

More information:

• recent achievements
• outreach and end-product activities
• collaboration in postgraduate formation
  
• historical notes