2o semestre
Local: sala 268-A
Horário: segundas-feiras, das 17h30 às 19hs.
Coordenação: prof. Hugo Luiz Mariano, IME-USP
8 de agosto
título: " Códigos para morfismos entre lógicas"
palestrante: Darllan Conceição Pinto, recém-doutor IME-USP
15 de agosto
título: " Categorias de lógicas"
palestrante: Caio de Andrade Mendes, doutorando IME-USP
12 de setembro
título: "Institution, π-Institution and Abstract Glivenko’s Theorem"
palestrante: Darllan Conceição Pinto, recém-doutor IME-USP
3 de outubro
título: "Lógica proposicional com variáveis e NBG".
palestrante: Daniel Kawai, bacharelando IME-USP