| No. | Trabalho | Alunos |
|---|---|---|
| 1 | Lógica fuzzy | Felipe, Maurício |
| 2 | Falácias | Luis Felipe Rodrigues, Murilo Santos Bueno |
| 3 | Jape | Guilherme Dadall, Nellison |
| 4 | Lógica nao-monotonica | Jordan, Jonathan |
| 5 | Lógica temporal | Kim, Bruna |
| 6 | BDD | João, Norton |
| 7 | Cálculo Hoare | Humberto, Gabriel |
| 8 | Lógica intuicionista | Lucas, Kauê |
| 9 | Lógica modal | Guilherme Bender, Leonardo Goron |
| 10 | Lógica multi-valorada | Ahmed |
| 11 | Satisfatibilidade | Dalbem |
#Escolhas: 20/23.
| Data | Hora | Apresentação |
|---|---|---|
| 02/12 | 15.30 | 4 |
| 02/12 | 15.50 | 3 |
| 02/12 | 16.10 | 10 |
| 02/12 | 16.30 | 5 |
| 02/12 | 16.50 | 1 |
| 04/12 | 15.30 | 2 |
| 04/12 | 15.50 | 7 |
| 04/12 | 16.10 | 9 |
| 04/12 | 16.30 | 6 |
| 04/12 | 16.50 | 8 |
| 04/12 | 17.10 | 11 |