12-15 September 2016, Trends in Logic XVI: Consistency, Contradiction Paraconsistency and Reasoning - 40 years of CLE, Campinas, Brasil

The conference is centered around the areas of logic, epistemology, philosophy and history of science, while bringing together scholars in the fields of philosophy, logic, mathematics, and computer science and other disciplines who have contributed significantly to what Studia Logica is today and to what CLE has achieved in its four decades of existence. It intends to celebrate CLE's strong influence in Brazil and Latin America and the tradition of investigating formal methods inspired in, and devoted to, philosophical views, as well as philosophical problems approached by means of formal methods.

For more information, see http://www.cle.unicamp.br/trendsxvi/