Lógica e Métodos
Formais
Software, Interacção e Multimédia
Especificação e Processamento de
Linguagens
Sistemas
Distribuídos
Inteligência
Artificial
Comunicações por
Computador
Engenharia de
Computadores