Na segunda dia 8/04 receberemos na UFRJ o Prof. Yuri Gurevich, Professor Emérito da Universidade de Michigan e "Principal Researcher" do Centro de Pesquisa da Microsoft em Redmont. Gostariamos de convidar a todos para sua palestra, detalhes a seguir.

Prof. Yuri Gurevich tem importantes contribuições em Lógica aplicada a Computação, principalmente Complexidade, recentemnete ele tem publicado na área de segurança e autentificação usando Lógica. Para maiores detalhes v