12-15 Sep 2016
Campinas, Brazil
Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning - 40 years of CLE Centre for Logic, Epistemology and the History of Science - - - - - - - - - - - - - - - - - Please circulate! - - - - - - - - - - - - - - - September 12th-15th, 2016 http://www.cle.unicamp.br/trendsxvi/index.html The event is organized by the Centre for Logic, Epistemology and the History of Science- CLE and by the Brazilian Logic Society in co-operation with Studia Logica. 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, 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 by, and devoted to, philosophical views, as well as philosophical problems approached by means of formal methods. The conference will include lectures by distinguished scholars as well as contributions from the community. A special volume of "Studia Logic" is planned to be edited with a selection of the papers presented. "Trends in Logic XVI: Consistency, Contradiction, Paraconsistency and Reasoning - 40 years of CLE" is being supported by FAPESP and is part of the celebrations of the 50 years of the State University of Campinas (Unicamp). - - - - - - - - - - - - - - - - - - - - - - - - Call for papers- please send to "trendsxvi@cle.unicamp.br" Deadline for submissions: June 15th, 2016 Submissions: Extended abstracts of a length between 1 and 3 pages (including references), which will undergo a short reviewing process should be submitted in LaTeX preferably (but not mandatorily) according to the Trends style, available for downloading at http://www.studialogica.org/. All papers should be submitted via "trendsxvi@cle.unicamp.br". At least one of the authors of an accepted paper must register for and attend the conference for the contribution to be presented. Post Conference Publication: Papers presented at Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning - 40 years of CLE, after following another reviewing process, will be published in the book series Trends in Logic/ Studia Logica Library by Springer (http://www.springer.com/series/6645), a series with 45 titles published so far. -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam