Programa
Dia 5 de dezembro
9h30- 10h10
Huge proofs are highly redundant: An argument in favor of NP=PSPACE
Edward Hermann Haeusler, PUC-Rio (joint work with Lew Gordeev)
10h10-10h50
Dual rearrangement cardinals
Christina Brech, IME-USP
10h50-11h10 (coffee break)
11h10-11h50
Some questions and a few answers on local MV-algebras
Ciro Russo, UFBA
11h50-12h30
Sobre categorias com morfismos verdade
Edelcio de Souza, FFLCH-USP
Almoço
14h00-14h40
Investigations in Hyperintensional Propositional Logic
Roderick Batchelor, FFLCH-USP
14h40-15h20
Some problems that happen whe one plays the Banch-Mazur game on several boards
Leandro Aurichi, ICMC-USP
15h20-16h00
An instability chaining algorithm for the general course enrollment problem
Vinicius Cifú Lopes, UFABC
16h00-16h30 (coffee break, pôsteres)
16h30-17h10
Cardinality in a model of paraconsistent set theory
Sourav Tarafder, St. Xaviers College/Kolkata
17h10-17h50
The cellular spectrum of a poset
Renan Mezabarba, UFES
Dia 6 de dezembro
9h30- 10h10
The complexity of punctual equivalence relations
Luca San Mauro, Vienna University of Technology
10h10-10h50
Game-theoretical aspects of the Borel Conjecture
Rodrigo Roque Dias, UFABC
10h50-11h10 (coffee break)
11h10-11h50
On a more generous Consequence Theory
João Marcos, UFRN
11h50-12h30
Additional set-theoretic assumptions and twisted sums of Banach spaces
Claudia Correa, UFABC
Almoço
14h00-14h40
Complemented copies of c_0(tau) in tensor products of Banach space
Vinícius Morelli Cortes, IME-USP
14h40-15h20
Russell's second order translation 110 years later
Mattia Petrolo, UFABC,
Paolo Pistone, Università di Bologna
15h20-16h00
omega_1-strongly compact cardinals and normality
Samuel Gomes da Silva, UFBA
16h00-16h30 (coffee break, pôsteres, encerramento)