PROGRAMAÇÃO
16h - 16h30, Gregory Carneiro (doutorando, FIL-UnB), Posições jurídicas fundamentais em lógicas input/output
16h30-17h , Antônio Dantas (mestrando, FIL-UnB), Reflexões céticas em epistemologia das modalidades
17h-17h30, Gustavo Schmidt (mestrando, FIL-UnB), A complexidade de Kolmogorov na correspondência de Curry-Howard
17h30-18h, Gabriel Lima (doutorando, FIL-UnB), Retrocausalidade: sobre a noção de causalidade inversa
INTERVALO
18h30-19h, Prof. Edgar Almeida (Instituto Federal de Brasília), Existência e teorias de primeira ordem
Moderador das comunicações: Prof. Alexandre Costa-Leite (FIL-UnB)