Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site

Computational Logic as a Foundation for Computer Science and Intelligent Systems

Project information

The objective of the project is to promote the area of formal computational foundations of logic, computer science and intelligent systems, i. e., the area of Computational Logic, in South East Asia. The European partners are already engaged in an effort to turn Europe into the leading place for education and training in this area. The three-year pro ject aims at upgrading the staff of the Asian partners within a joint team schema, joint supervision of MSc and PhD students within a sandwich schema, courses of European professors and lectures at the Asian universities, the organisation of international summer schools, the development of curricula for single modules at the Asian universities, and the incorporation of video-teaching methods in cooperation and teaching. Cf.

Started in September 2004 and was concluded in September 2007.


Participating entities: CENTRIA - UNL, TU Dresden, Univ. Indonesia, T.U. Hanoi.


Funding entity: EU-IST - Asia-Link/VN/001.


Principal researcher: Luís Moniz Pereira.

Researcher: José Alferes.

Funding: 75000 Euro.


Received several students from Vietnam and Indonesia for 6 month stays. Hosted a professor from T.U. Hanoi for 1 month. Taught a course at T.U. Hanoi in Jan/Feb05. Participated with one lecturer in the Summer School at T.U.Hanoi, August 05. Project coordination meetings. Yearly report.

Other information

Project website

Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541