Title: "Realising weak versions of Zorn's lemma"
Shujun Zhang and Naoki Nishida
Title: "On Transforming Cut-free Cyclic Proofs into Rewriting Induction Proofs"
Nicole Schrader
Title: "First-Order Logic with Connectivity Operators"
Title: "Mereological Emptiness for the the Signed Number Problem"
Title: "Paradox free"
Title: "Non-Domination and Centering in Val Plumwood’s Feminist Logic"
Title: "Rules in Intuitionistic Modal Logics"
Title: "Game Approach to Logical Validity: A Case of Mezhirov's Provability Game"
Cleo Pau
Title: "Symbolic Techniques for Proximity Relations over Full Fuzzy Signatures"
Katarzyna W. Kowalik
Title: "Long and normal solutions for Ramsey-type principles over a weak base theory"
Title: "Zero-one laws for provability logic and its transitive sisters"
Title: "Intersection types for probabilistic computation"
Title: "Mereological Emptiness for the Signed Number Problem"
Title: "Paradox free"
Title: "Non-Domination and Centering in Val Plumwood’s Feminist Logic"
Alejandro Díaz-Caro, Malena Ivnisky, Hernan Melgratti and Benoît Valiron
Title: "A finite-dimensional model for affine, linear quantum lambda calculi with general recursion"
Raheleh Jalali (Unable to attend)
Title: "On the complexity of disjunction property"
Title: "Women in the History of Logic: Why does it Matter Who Our Foremothers Are?"