We are pleased to announce the following confirmed keynote speakers:
Branden Fitelson (Northeastern University)
Automated Theorem Provers Tutorials
Walter Carnielli (UNICAMP/CLE)
Inconsistency, Information and Rationality
Juliana Bueno (UNICAMP/CLE)
On Paraconsistent Epistemology
Rodolfo E. Biraben (UNICAMP/CLE)
Some Algebraic Remarks on Univocity
Rafael Ongaratto (UNICAMP/CLE)
Inconsistency, Information and Rationality
Julio Stern (IME/USP)
Homology & Archetype, Analogy & Prototype,
Probability & Truth as Sources of Knowledge