LaSiD - Laboratório de Sistemas Distribuídos CTAI - Centro de Capacitação Tecnológica em Automação Industrial LAPO - Laboratório de Propriedade Óticas iVision - Intelligent Vision Research Lab FORMAS - Formalismos e Aplicações Semânticas STER - Sistemas de Tempo Real Idioma Português, Brasil