| Leonardo Chaves Dutra da Rocha | Uso de contextos temporais para classificação de documentos | Wagner Meira Júnior | 06/02/2009 |
| Adriano Alonso Veloso | Classificação Associativa Sob Demanda | Wagner Meira Júnior | 09/03/2009 |
| Fabio Tirelo | Semântica Incremental de Linguagens de programação | Roberto da Silva Bigonha | 12/03/2009 |
| Daniel Camara | Verificação formal de protocolos para redes sem fio | Antonio Alfredo Ferreira Loureiro | 22/10/2009 |
| Moisés Gomes de Carvalho | Abordagens evolucionárias para problemas relacionados a integração de dados | Alberto Henrique Frade Laender | 26/10/2009 |
| Denilson Alves Pereira | Uma abordagem baseada na Web para resolução de entidades e criação de arquivos de autoridade | Berthier Ribeiro de Araújo Neto | 04/12/2009 |
| Ruiter Braga Caldas | Modelagem, verificação formal e codificação de sistemas reativos autônomos | Sérgio Vale Aguiar Campos | 17/12/2009 |
| Pedro Mitsuo Shiroma | CoMutaR: Uma abordagem para a alocação de tarefas a um grupo de robôs multi-tarefas | Mario Fernando Montenegro Campos | 22/12/2009 |
