Some recorded talks delivered at UFRN in 2016

• (João Marcos) Breaking the Proof Code
• (Achim Jung) The Surprising Difficulty of Using Mathematics in Computer Science
• (Diana Costa) An Overview on Quasi Hybrid Logic
• (Samir Gorski) O Conceito de Surpresa
• (João Marcos) It ain't necessatily so: Basic Sequent Systems for Negative Modalities
• (Marcos Silva) Como entender a normatividade da razão no contexto do pluralismo lógico?