4 Sep 2015
Natal, Brazil
Call for participation: LFIs^15 -- Workhop on the 15 years of the LFIs LFIs^15 -- Workhop on the 15 years of the LFIs Date: Sep 4, 2015 Submission deadline: April 12, 2015 https://sites.google.com/a/dimap.ufrn.br/natalogic-2015/lfis-15 This is a workshop commemorating the 15 years of the Logics of Formal Inconsistency, to be held in Natal, RN, Brazil, as part of NAT@Logic 2015. The Logics of Formal Inconsistency (LFIs) are a family of paraconsistent logics that encompasses the majority of paraconsistent systems developed within the Brazilian tradition. In a few words, LFIs have resources to express the notion of consistency inside the object language, what grants them a special philosophical interest and attracts several applications. We cordially invite contributed papers, for talks with duration of 25 minutes divided into 20 minutes for exposition followed by 5 minutes of discussion. Abstracts should have a minimum of 500 words and a maximum of 1000 words, and should be submitted in a PDF file including relevant information about the authors (name, e-mail address, and scientific affiliation). Submissions and inquiries must be sent to the email meconiglio-AT-gmail.com or walter.carnielli-AT-gmail.com by April 12, and the authors will be notified of acceptance or rejection by May 10. Keynote speakers: Arnon Avron, Tel Aviv University João Marcos, UFRN Organizers/Workshop Chairs: Walter Carnielli and Marcelo E. Coniglio