Keynote speakers

• Jean-Yves Béziau ― University of Brazil, Rio de Janeiro, Brazil; and Ecole Normale Supérieure, Paris, France

Paraconsistent propositions: philosophical and mathematical aspects

• Walter Carnielli ― State University of Campinas - UNICAMP, Campinas, Brazil; and Ruhr Universität, Bochum, Germany

Evidence and Truth as an Epistemic Approach to Paraconsistency

• Andrzej Indrzejczak ― University of Łódź, Łódź, Poland

Natural deduction in Jaśkowski's research and teaching

• María Manzano ― University of Salamanca, Salamanca, Spain

Hybrid Partial Type Theory

• Sergei P. Odintsov ― Sobolev Institute of Mathematics; and Novosibirsk State University, Russia

Belnapian constants and weak definability in FDE-based logics

• Peter Schroeder-Heister ― University of Tübingen, Germany

Identity, contraction and cut: How do these principles interact?

• Max Urchs ― EBS Universität für Wirtschaft und Recht, Wiesbaden, Germany

On adjunction in discursive logic

• Alasdair Urquhart ― University of Toronto, Toronto, Canada

A notion of logical space

• Heinrich Wansing ― Ruhr Universität, Bochum, Germany

Negation as cancellation, connexive logic, and qLPm (joint work with Daniel Skurt)