Investigadores do CRACS visitam Universidade de Carnegie Mellon
Os investigadores do Centro de Investigação em Sistemas Computacionais Avançados (CRACS), Fernando Silva, Ricardo Rocha e Vítor Santos Costa visitaram a Universidade de Carnegie Mellon nos Estados Unidos na primeira semana de Maio.
Esta visita teve como objectivos a participação num mini-workshop sobre Programação em Lógica, que teve lugar nos dias 7 e 8 de Maio, assim como o estabelecimento de objectivos de trabalho, tendo em vista a submissão de um projecto no âmbito do Programa CMU|Portugal.
