Fwd: [logic-bsb] World Logic Day @ Lógica no Avião

[Rodrigo Freire]

Início da mensagem encaminhada:

De: Lógica no Avião <logica...@gmail.com>
Data: 9 de janeiro de 2020 23:24:43 BRT
Para: logi...@googlegroups.com
Assunto: [logic-bsb] World Logic Day @ Lógica no Avião
Responder A: logic-bs...@googlegroups.com



Dia Mundial da Lógica [World Logic Day - UNESCO]
14 de janeiro de 2020
Universidade de Brasília, Departamento de Filosofia
Sala de Reuniões (FIL-UnB)
16h-19h

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)

website

--
Site da organização "Lógica no Avião":
 
lna.unb.br
 
 
Site do "Seminário Permanente 'Lógica no Avião'":
 
logicbrasilia.org
---
Você recebeu essa mensagem porque está inscrito no grupo "Lógica no Avião" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logic-bsb+...@googlegroups.com.
Para ver essa discussão na Web, acesse https://groups.google.com/d/msgid/logic-bsb/CAP_Wf4XJjiiTzZeYABEYiKksVsSdK%2BSTFaeaeUvm8dmVeAaYig%40mail.gmail.com.