| No. | Trabalho | Aluno |
|---|---|---|
| 1 | Lógica fuzzy | Aline Lermen |
| 2 | Falácias | Thais Krischer |
| 3 | Lógica modal | Alexsander |
| 4 | Lógica temporal | André |
| 5 | BDDs | Rodrigo |
| 6 | Lógica intuicionista | Ana |
| 7 | Cálculo Hoare | Felipe |
| 8 | Evolução da lógica | Germano |
| 9 | Curry-Howard | Daniel |
#Escolhas: 9/13.
| Data | Hora | Apresentação |
|---|---|---|
| 01/07 | 8.30 | Lógica fuzzy |
| 01/07 | 8.50 | BDDs |
| 01/07 | 9.10 | Falácias |
| 01/07 | 9.30 | Evolução da lógica (Germano) |
| 03/07 | 8.30 | Lógica intuicionista |
| 03/07 | 8.50 | Cálculo Hoare |
| 03/07 | 9.10 | Lógica modal |
| 03/07 | 9.30 | Lógica temporal |
| 03/07 | 9.50 | Curry-Howard |