12-15 Sep 2016
Campinas, Brazil
Extended deadline; ``Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning - 40 years of CLE `` Due to numerous requests to extend the paper submission deadline, the Organizing Committee of `` Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning - 40 years of CLE `` is pleased to announce the deadline extension to July 30th, 2016. = = = = = = = = = = = = = = = Call for Papers Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning - 40 years of CLE Centre for Logic, Epistemology and the History of Science 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). - - - - - - - - - - - - - - - - - - - - - - - - Please send submissions to "trendsxvi@cle.unicamp.br" Deadline for submissions: July 30th, 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. -- ----------------------------------------------- Walter Carnielli Centre for Logic, Epistemology and the History of Science and Department of Philosophy State University of Campinas ?UNICAMP 13083-859 Campinas -SP, Brazil Phone: (+55) (19) 3521-6517 Institutional e-mail: walter.carnielli@cle.unicamp.br Website: http://www.cle.unicamp.br/prof/carnielli -- [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