| No. | Trabalho | Grupo (Turma) |
|---|---|---|
| 1 | Lógica fuzzy | Guilherme Krüger Araujo, Franco Valdez (C) |
| 2 | Prolog | Carlos Eduardo, Gabriel Hernandez, Guilherme Uzejka (C) |
| 3 | Lógica e jogos | Pedro Paganela, Gabriel Teixeira, Arthur Ribacki (C) |
| 4 | Lógica paraconsistente | Guilherme Ribeiro, Felipe Andrade, Martin Reus (C) |
| 5 | Lógica multi-valorada | Tomás Trinidade, Eduardo Canabarro, Claudio (C) |
| 6 | Lógica temporal | Diego Volpato, Alexis Lazzaratto, Alberto Junior (C) |
| 7 | Lógica em bancos de dados | Henrique, Diego, Victor (A) |
| 8 | Lógica descritiva | Tatiana, Marcius, Cleber (A) |
| 9 | Falácias | Érica Bastos Rigo, Andrey Donelli Silveira, Giovani Ducatti Rinaldi (C) |
| 10 | Lógica deôntica | Nikolas dos Santos Mathias, Alexandre Hauber da Silva |
| 11 | Lógica modal | Antônio, Lucas (C) |
| 12 | Model checking | Luís Millani (A) |
| 13 | Lógica em circuitos | Francis, Wagner (C) |
| 14 | Lógica intuicionista | Leandro Pereira, Douglas Ohse (A) |
#Escolhas: 37/45.
Turma A
| Data | Hora | Apresentação |
|---|---|---|
| 19/06 | 8.30 | Lógica descritiva |
| 19/06 | 8.55 | Lógica em bancos de dados |
| 19/06 | 9.20 | Model checking |
| 19/06 | 9.45 | Lógica intuicionista |
Turma C
| Data | Hora | Apresentação |
|---|---|---|
| 14/06 | 10.30 | Lógica fuzzy |
| 14/06 | 10.55 | Lógica deôntica |
| 14/06 | 11.20 | Lógica temporal |
| 14/06 | 11.45 | Prolog |
| 19/06 | 10.30 | Falácias |
| 19/06 | 10.50 | Lógica e jogos |
| 19/06 | 11.10 | Lógica multi-valorada |
| 19/06 | 11.30 | Lógica paraconsistente |
| 19/06 | 11.50 | Lógica modal |
| 21/06 | 10.30 | Lógica em circuitos |