CFP: 7th World Congress of Paraconsistency

Keynote speakers

• Eduardo Barrio, Universidad de Buenos Aires
• Diderik Batens, Ghent University | Batens Symposium
• Verónica Borja Macías, Universidad Tecnológica de la Mixteca
• Katalin Bimbó, University of Alberta
• Elena Ficara, Universität Paderborn
• David Gaytán, Universidad Autónoma de la Ciudad de México
• João Marcos,  Universidade Federal de Santa Catarina

Tutorials

• “Symbolization of contradiction”, Jean-Yves Béziau and Caroline Pires Ting
• TBA, Bryson Brown
• “Recent work on paraconsistent logic”, Luis Estrada-González 

CALL FOR PAPERS

We welcome contributions on the different aspects of paraconsistency. Topics include but are not limited to the following:

• Particular systems of paraconsistent logic

•  General tools and frameworks for paraconsistent systems

•  Interactions of paraconsistent logic with other logics

•  Philosophical issues in paraconsistency

• Applications of paraconsistent logic

•  History of paraconsistent logic

• Paraconsistency and computation.

There will also be a half-day symposium within WCP7 celebrating the 80 years of Diderik Batens. Any submission on the scope of Diderik's wide interests (adaptive logics, rationality, problem-solving processes, defeasible reasoning, logical dynamics, set theory, proper semantics, etc.) is most welcome.

Submissions should be anonymized 300- to 700-word abstracts and be sent to [email protected], indicating clearly in case it is intended for the Batens' symposium. Contact details, including paper title, affiliation, and email address, should be submitted as a separate PDF.

All submissions will be anonymously refereed. 

Some contributions may be accepted for presentation in a poster session.

Important dates

EXTENDED Submission deadline: April 1, 2024

Notification of decision: April 30, 2024.