Instituto de Computação
Departamento de Teoria da Computação
Produções
Atividades editorial
Atividades como árbitro/editor de periódicos científicos, educacionais, culturais ou artísticos, nacionais ou estrangeiras, ou como membro do corpo editorial