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)