* [[List of Logical Lists]]
  * [[Métodos Ágeis para Dispositivos Móveis - Turma 2016]]
  * [[Lógica para Computação]]
  * [[Current Research Projects]]