09h15-09h30
09h30-10h00
Gregory Chaitin
Francisco Doria: exceptional thinker and good friend; or why I immigrated to Brazil
10h00-10h45
Hermann Hauesler
Huge propositional proofs are redundant
10h45-11h00
11h00-11h45
Petrucio Viana
On axiomatizations of the arithmetics of natural numbers
11h45-12h30
Mario Novello
Topological Invariants and Accelerating Expansion of the Universe
12h30-14h00
14h00-14h45
Jose Acacio de Barros
Contextuality in Physics and Language
14h45-15h30
Manuel Doria
Strangers In A Strange Land? Scale Relativity Of Ontology And The Possibility Of Naďve Realism
15h30-15h45
15h45-16h30
Mauricio Kritz
Revisiting the systemic 50’s, from a present-day, organisational, perspective
16h30-17h15
Alexandre Rademaker
On How Kelsenian Jurisprudence and Intuitionistic Logic help to avoid Contrary-to-Duty paradoxes in Legal Ontologies
09h15-10h00
Sami Ibrahim Alsuwailem
Gödelian Rationality
10h00-10h45
Itala D'Ottaviano
Galois Pairs with Modal Operators of the Paraconsitent Logic J3
10h45-11h00
11h00-11h45
Joăo Ricardo Barroca Mendes
The Satisfaction Conception of Truth
11h45-12h30
Luiz Carlos Garcia de Andrade
Helical Magnetic Fields with Torsion
12h30-14h00
14h00-14h45
Jean-Yves Beziau
What is an Axiom?
14h45-15h30
Antonio Marmo da Cunha Oliveira
Problems with Half-Truths - And What They Do (Not) Mean
15h30-15h45
15h45-16h30
Francisco Antonio Doria
The Chaitin--Thorp theorem