[FOM] Trends in Logic XVI: 40 years of CLE (Campinas, SP, Brazil)

[Walter Alexandre Carnielli]

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 at 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 at 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.