10:00

Welcome and CCTC presentation, R. Oliveira

10:30

Area: High Performance and Gaphics, Alberto Proença

11:00

Area: Large Scale Distributed Systems, Carlos Baquero

11:30

Area: Computer Communications and Networks, Paulo Carvalho

12:00

Area: Artificial Intelligence, Victor Alves

Lunch

14:00

Invited Talke by Prof. Qiu Zongyan, Peking University, on "Formal Methods for Web Services"

14:45

Area: Foundations and Applications of Software Technology

16:15 End