Instituto de Computação   Departamento de Teoria da Computação   Produções Cursos de extensão      Participação em cursos e disciplinas de extensão e cursos e disciplinas de especialização