Programação

Dia 1

30/01/2023

14h30 - 15h

Abertura da Semana Temática de Lógica, Topologia e Teoria de Conjuntos

Marco Cerami e Darllan Conceição Pinto

15h - 16h

Um convite à teoria dos conjuntos

Charles Morgan, UCL

16h - 17h

O jogo de Banach-Mazur

Marcelo Dias, IME-UFBA

17h - 18h

Uma construção algébrica de uma Teoria de Conjuntos baseada nos números surreais

Dimi Rangel

Dia 2

31/01/2023

15h - 16h

A Lógica Intuicionista de Brower-Heyting e seus modelos

Andreas B. M. Brunner, IME-UFBA

16h - 17h

Relações de independência e feixes de modelos

Charles Morgan, UCL

17h - 18h

Semântica Topológica para Lógicas Modais

Marlo Souza, IC-UFBA

Dia 3

01/02/2023

15h - 16h

Hierarquia de Leibniz: novas classes de lógicas e a busca por uma formalização

Ugo Coutinho, IME-UFBA

16h - 17h

Sobre a Liberdade I

Henrique Antunes, FFCH-UFBA

17h - 18h

Sobre a Liberdade II

Henrique Antunes, FFCH-UFBA

Page updated

Google Sites

Report abuse