Os teoremas de incompletude de Gödel – Ciclo de Palestras da Faculdade de Engenharia Elétrica da UNICAMP (Mar – 2018)
Formal plenitude and Curry’s paradox: Sketch of an expanded theory for arithmetic – Palestra no IHPST – Institut d’Histoire et de Philosophie des Sciences et des Techniques, Sorbonne, Paris (Mar – 2015)
Seminário CCFT – Diálogos entre Cultura Científica, Filosofia e Teologia (Out – 2014)
Programa Nova Stella (PUC-SP) “Lógica e Racionalidade ” (Out – 2014)
From Curved Logic to Imaginary Sets: Inconsistent Set Theory and the Expansion of Mathematical Thinking – Moscow State University (Out 2012)