| No. | Trabalho | Grupo (Turma) |
| 1 | Gödel | Bruno Reckziegel Filho, Rodrigo Claro Zembrzuski, Samuel Dario da Silva |
| 2 | Lógica fuzzy | Raphael Baldi, Leonardo Chatain, Maurício Longoni |
| 3 | Falácias | Tiago Rosa da Silva, André Martins, Filipe Correa |
| 4 | Prolog | Pablo Guedes, Alan Delgado, Samuel Grimm |
| 5 | Lógica temporal | Júlia, Leonardo Moura e Tomaz Rocha da Silva |
| 6 | Lógica deôntica | Andre Olivera, Daniela Zamberlan, Priscila Folle |
| 7 | Lógica em Banco de dados | Frederico Betting, Diego Tomasi, Aline Lermen |
| 8 | Cálculo Hoare | Kassius, Thomas da Silva Rodrigues, Bruno Marques |
| 9 | Lógica modal | Rodrigo Malossi, Henrique Lovison, Douglas |
| 10 | Lógica intuicionista | Germano Thomas, Victor Miyai, Vitor Reus |
| 11 | Programa Hilbert | Gustavo, Rodrigo Ferreira, Ana |
| 12 | ZFC | Henrique Monteiro, Carlos Eduardo, Angelo |
| 13 | | |
| 14 | | |