José Siqueira: O próximo talk será o do Davide Trotta (colaborador da @Valeria de Paiva ), terça-feira 11 de Maio as 16:15 BST (BST = GMT+1). Estão convidados!
José Siqueira: Título: The Gödel fibration . Detalhes estão aqui http://talks.cam.ac.uk/talk/index/160420 -- Valeria de Paiva http://vcvpaiva.github.io/ https://topos.institute/ http://www.cs.bham.ac.uk/~vdp/ -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXs9Y-YZycaLzn8Ax90erb%2Bu0Rhs4KFXtKzB5DOjA1vOfw%40mail.gmail.com.
