Program
09:20 - 9:30 ~ Opening remarks
09:30 - 10:30 ~ Contributed talks
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"
10:30 - 11:00 ~ Poster session
Title: "Mereological Emptiness for the the Signed Number Problem"
Title: "Paradox free"
Title: "Non-Domination and Centering in Val Plumwood’s Feminist Logic"
11:00 - 11:30 ~ Coffee break
11:30 - 12:50 ~ Contributed talks
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"
12:50 - 14:00 ~ Lunch break
14:00 - 14:45 ~ Invited talk
Title: "Zero-one laws for provability logic and its transitive sisters"
14:45 - 15:30 ~ Invited talk
Title: "Intersection types for probabilistic computation"
15:30 - 16:00 ~ Poster session
Title: "Mereological Emptiness for the Signed Number Problem"
Title: "Paradox free"
Title: "Non-Domination and Centering in Val Plumwood’s Feminist Logic"
16:00 - 16:15 ~ Coffee break
16:15 - 16:55 (17:15) ~ Contributed talks
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?"