Disciplina de pós-graduação do Grupo de Lógica, Inteligência Artificial e Métodos Formais, LIAMF, ministrada por 4 professores
- Professor: Flávio Soares Correa da Silva
- Professor: Leliane Nunes de Barros
- Professor: Marcelo Finger
- Professor: Renata Wassermann