7th World Congress of Paraconsistency
September 2-6, 2024 Oaxaca, Mexico
The sixteenth edition of the Latin American Workshop series on Logic/Languages, Algorithms and New Methods of Reasoning (LANMR) will happen as a satellite of WCP7.
The poster is inspired by alebrijes, some of the most popular expressions of Oaxacan folk art.
Alebrijes are wood sculptures of fantastical (fantasy/mythical) creatures, often a combination of different real and fantastic animals, which are full of color and imagination ...as well as of inconsistencies and impossibilities!
Notification of decision: April 30, 2024.
Paraconsistent logic is a family of theories on what can be logically concluded from contradictions, different from the family of theories according to which contradictions entail everything. By touching on core areas of theoretical inquiry, such as truth, falsity, logicality, negation, or rationality, paraconsistent logic has opened new research directions in philosophy, science, and technology.
Within the tradition of previous world congresses on paraconsistency, WCP7 aims to show the importance of paraconsistent logic, its connection with other knowledge domains, and the variety of approaches to the topic.
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
Tomasz Jarmużek, Nicolaus Copernicus University
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
Venue
The 7th World Congress of Paraconsistency will take place at the Universidad Benito Juárez de Oaxaca (Oaxaca, Mexico).
Important dates
EXTENDED Submission deadline: April 1, 2024.
Notification of decision: April 30, 2024.