2o Encontro USP-UFBA em Lógica e Fundamentos
e Semana Temática em Lógica, Topologia e Teoria dos Conjuntos da UFBA
19 de fevereiro de 2024
10h40-12h30 Minicurso
14h00-15h00 Ciro Russo
15h00-15h30 Enathielle Thiala Souza de Andrade
15h30-16h00 Moacyr Rodrigues
16h00-16h30 Coffee Break
16h30-17h30 Renan Maneli Mezabarba
17h30-18h00 Dimi Rocha Rangel
18h00-18h30 Paulo Sérgio Farias Magalhães Júnior
20 de fevereiro de 2024
10h40-12h30 Minicurso
14h00-14h20 Marcelo Oliveira Dias
14h20-14h40 Michel Viana Smykalla
14h40-15h00 Pedro Lucas Santos dos Reis
15h00-16h00 Marlo Vieira Souza
16h00-16h30 Coffee Break
16h30-17h00 Gabriel Fernandes (remoto)
17h00-17h30 Hendrick Maia (remoto)
17h30-18h30 Jorge Petrucio Viana
21 de fevereiro de 2024
10h40-12h30 Minicurso
14h00-15h00 Hugo Luiz Mariano
15h00-16h00 Ana Luiza Tenório (remoto)
16h00-16h30 Coffee Break
16h30-17h00 José Goudet Alvim (remoto)
17h00-17h30 Thiago Alexandre (remoto)
17h30-18h00 Juan Ferrer Meleiro
18h00-18h30 Ugo Almeida
22 de fevereiro de 2024
10h40-12h30 Minicurso
14h00-15h00 Andreas B. M. Brunner
15h00-16h00 Charles Morgan
16h00-16h30 Coffee Break
16h30-17h30 Marcelo Esteban Coniglio (remoto)
17h30-18h30 Sessão especial ABMB
23 de fevereiro de 2024
10h40-12h30 Minicurso
14h00-14h30 Kaique Santos (remoto)
14h30-15h00 Kaique Roberto (remoto)
15h00-16h00 Darllan Conceição Pinto
16h00-16h30 Coffee Break
16h30-17h00 Jean Cerqueira Berni (remoto)
17h00-17h30 João Paulo Cirineu
17h30-18h30 Francisco Miraglia
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1o Encontro USP-UFBA em Lógica e Fundamentos
17 de abril de 2017
14:00 -14:30 Samuel Gomes da Silva, IME-UFBA, “On star covering properties related to countable compactness and pseudocompactness”
14:40-15:10 Francisco Miraglia, Matemática IME-USP, “Bounds for the representation of quadratic forms”
15:20-15:50 Fernando Garcia Yamauti, mestrando IME-USP, “About Martin-Löf Type Theory and Categorical Logic”
15:50-16:20: Coffee break
16:20- 16:50 Rogerio Fajardo, Matemática IME-USP, “Espaços de Banach da forma $C(K)$ com poucos operadores”
17:00-18:00: Minicurso “Introdução à Análise Não Standard: principais abordagens e algumas aplicações no Cálculo”, João Paulo Cirineu de Jesus e Geovani Pereira Machado, pós-graduandos IME-USP
18 de abril de 2017
14:00 -14:30 Marco Cerami, IME-UFBA, “An introduction to Fuzzy Description Logics”
14:40-15:10 Marcelo Finger, Computação IME-USP , “Quantitative Logic Reasoning”
15:20-15:50 Daniel Kawai, bacharelando IME-USP , “Formalizando a noção de sistema formal por uma variante do Metamath”
15:50-16:20: Coffee break
16:20- 16:50 Renata Wasserman, Computação IME-USP, “Belief Revision in Description Logics”
17:00-18:00: Minicurso “Introdução à Análise Não Standard: principais abordagens e algumas aplicações no Cálculo”, João Paulo Cirineu de Jesus e Geovani Pereira Machado, pós-graduandos em Matemática IME-USP
19 de abril de 2017
14:00 -14:30 Darllan Conceição Pinto, IME-UFBA, “Filter functor hierarchy: a new way to treat abstract logic”
14:40-15:10 Caio de Andrade Mendes, doutorando IME-USP, “ Applications of the Abstract Glivenko's Theorem in the Rieger-Nishimura Lattice”
15:20-15:50 Renan M. Mezabarba, doutorando ICMC-USP, “Ordens produtivamente ccc e a propriedade de Knaster”
15:50-16:20: Coffee break
16:20- 16:50 Dimi Rocha Rangel, doutorando IME-USP, “ A theory of sets based on the surreal numbers”
17:00-18:00: Minicurso “Introdução à Análise Não Standard: principais abordagens e algumas aplicações no Cálculo”, João Paulo Cirineu de Jesus e Geovani Pereira Machado, pós-graduandos em Matemática IME-USP
20 de abril de 2017
14:00 -14:30 Marcelo Dias Passos, IME-UFBA, “A propriedade $(a)$ para $\Psi$-espaços”
14:40-15:10 Kaique Matias de Andrade Roberto, mestrando IME-USP, “Functors between many axiomatizations of quadratic forms theory”
15:20-15:50 Hugo Rafael de Oliveira Ribeiro, doutorando IME-USP, “Promiscuously Quadratic Rings”
15:50-16:20: Coffee break
16:20- 16:50 Jean Cerqueira Berni , doutorando IME-USP , “Some logical and geometric aspects of $C^\infty$-rings”
17:00-18:00: Minicurso “Introdução à Análise Não Standard: principais abordagens e algumas aplicações no Cálculo”, João Paulo Cirineu de Jesus e Geovani Pereira Machado, pós-graduandos em Matemática IME-USP