A basic system of paraconsistent Nelsonian logic of conditionals,
2022
April 19, 2022, Bochum Nonclassical Logic Workshop II, Ruhr University Bochum,
Satoru Niki, Provable contradictions in constructive logics
Heinrich Wansing, Some remarks on conditional connexive logic.
April 22-23, 2022, Logic4Peace, Amsterdam (hybrid), Heinrich Wansing, Title: Beyond Paraconsistency. A plea for a radical breach with the Aristotelean orthodoxy in logic.
June 29, 2022, Types, Constructions and Proofs: A Workshop with Peter Milne, Ruhr University Bochum, Heinrich Wansing, Constructiveness, the Drinker Paradox, and the Drinker Truism.
August 24, 2022, Advances in Modal Logic 2022, Renne, France, Satoru Niki, Title: Intuitionistic Modality and Beth Semantics.
September 5-8, 2022, The Sixth World Congress of Paraconsistency (WCP6), Toruń Poland,
Satoru Niki and Heinrich Wansing, On the provable contradictions of the con-nexive logics C and C3
Heinrich Wansing, Title: Beyond Paraconsistency. A plea for a radical breach with the Aristotelean orthodoxy in logic.
September 11-15, 2022, Logica 2022, The Premonstratensian Monastery of Teplá, Heinrich Wansing, Title: Some remarks on semantic information and logic.
September 29, 2022, Tsinghua Logic Salon, Tsinghua University – University of Amsterdam Joint Research Centre for Logic, Heinrich Wansing, Title: Beyond Paraconsistency. A plea for a radical breach with the Aristotelean orthodoxy in logic.
October 26-28, 2022, 7th Workshop on Connexive Logics, Mexico City, Universidad Nacional Autónoma de México, Heinrich Wansing, Title: Constructive logic is connexive and contradictory.
November 14-18, 2022, Mal'tsev Meeting 2022, Sobolev Institute of Mathematics SB RAS, Grigory Olkhovikov, Title: On first-order extensions of connexive logic C.
November 18, 2022, The Second Łódź-Bochum Workshop, Ruhr-University Bochum, Satoru Niki, Title: Provable contradictions and Kamide's negations.
2023
January 28, 2023, Fitting at 80, City University of New York, Graduate Center, online, Heinrich Wansing, Title: Remarks on semantic information and logic. From semantic tetralateralism to the pentalattice 65536_5.
February 17, 2023, Workshop on Mathematical Logic and Constructive Mathematics, Kanazawa, Japan, Satoru Niki, Title: Provable contradictions and double negation as minimal negation.
May 10, 2023, Logic & Metaphysics Workshop, City University of New York, Graduate Center, Heinrich Wansing, Title: Quantifiers in connexive logic (in general and in particular) (joint work with Zach Weber).
August 23, 2023, ECAP11: 11th European Congress of Analytic Philosophy, University of Vienna, Grigory Olkhovkov, Title: On some first-order connexive logics.
August 29, 2023, Logic Seminar, Tohoku University, Sendai, Satoru Niki, Title: How can an intuitionistic logician understand connexive constructible falsity?.
August 30, 2023, Trivalent Suspension, Uncertainty and Reasoning with Conditionlas, University of Regensburg, Edoardo Canonica, Title: Reasoning from a negated conditional.
September 18, 2023, Symposium on Proof-theoretic Semantics at Tableaux 2023, Czech Technical University, Prague,
Sara Ayhan, Title: Proofs and Refutations Are the Same (and yet different).
Heinrich Wansing, Title: Bilateralism and Connexive Logic (remotely).
November 29, 2023, 8th Workshop on Connexive Logic, University of Turin, Heinrich Wansing, Title: Logical Bilateralism and Connexive Logic.
December 6-8, 2023, 1st Workhop on Contradictory Logics, Ruhr University Bochum,
Edoarado Canonica, Title: Inferring from Negated Conditionals: an experimental investigation into a Boethian inference
Satoru Niki, Title: Proving and disproving contradictions in the connexive logic C
Yaroslav Shramko, Ttitle: Connexive Exclusion: one more case for a contradictory logic (joint work with Heinrich Wansing)
Heinrich Wansing, Title: Quantifiers in connexive logic and bilattice logic (joint work with Zach Weber).
December 17, 2023, Proof-Theoretic Semantics and Truth, University of Bristol, Sara Ayhan, Title: The Obstacles of a Bilateral Sequent Calculus.
2024
January 10, 2024, Dagstuhl Seminar 24021: From Proofs to Computation in Geometric Logic and Generalizations, Schloss Dagstuhl, Satoru Niki, Title: From a constructive logic to a contradictory logic.
March 11 and March 12, 2024, Logica Copernicana Seminars, University of Toruń , Department of Logic, Heinrich Wansing, Titles: Lecture 1, Quantifiers in connexive logic (joint work with Zach Weber), Lecture 2, Logical bilateralism and non-trivial negation inconsistency. logicacopernicana.umk.pl/previous.html
March 21, 2024, Proof, Argumentation, Computation, Modalities And Negation (PACM∧N), University of Verona, Satoru Niki, Title: Provable contradictions in relevant connexive logics of Francez and Weiss.
April 12, 2024, Proofs, Rules, and Meanings, University of St Andrews, Sara Ayhan, Title: Bilateral Derivability - How to Implement (Constructive) Notions of Proof and Refutation in a Sequent Calculus.
April 15, 2024, 2nd Workshop on the Objects and Grounds of Structural Rules, University of Lisbon, Heinrich Wansing, Title: From Bilateralism to Nontrivial Negation Inconsistency.
June 25, 2024, Logic Colloquium 2024, European Summer Meeting of the Association for Symbolic Logic, Gothenburg, Sweden,
Grigory Olkhovikov, Title: Conditionals in constructive logics.
Heinrich Wansing, Title: Quantifiers in connexive logic (in general and in particular).
Sara Ayhan, Title: Obstacles of a truly bilateral sequent calculus.
August 8, 2022, 4th Symposium on Proof-theoretic Semantics (@ESSLLI2024), University of Leuven, Belgium, Sara Ayhan, Title: Contradictions without Negation: a bilateralist account of non-trivial inconsistent logics.
August 22, 2024, Dagstuhl Seminar 24341: Proof Representations: From Theory to Applications, Schloss Dagstuhl, Heinrich Wansing, Title: Negation inconsistent logics.
September 6, 2024, NCL'24: Non-Classical Logic: Theory and Applications 2024, University of Łódź, Poland, Satoru Niki, Title: Kamide is in America, Moisil and Leitgeb are in Australia (joint work with Hitosh Omori).
September 8-9, 2024, 9th Workshop on Connexive Logic, University of Łódź, Poland,
Sara Ayhan, Title: Queer feminist views on contradictory logics: A symbiotic relationship.
Satoru Niki, (invited talk) Title: Another constructive motivation for some connexive logics.
Grigory Olkhovikov, (invited talk) Title: Non-classical conditionals and connexivity.
Heinrich Wansing, Title: Connexive Counterpart Theory.
September 21, 2024, LLAL@GSIS (IV), Tohoku University, Japan, Satoru Niki, Title: Connexive logic, splitted.
September 25, 2024, German Congress for Philosophy, University ofsites.google.com/view/tennantfest Münster, Germany, Sara Ayhan, Title: Feminist logic(s): Possibilities and the case of contradictions.
October 10, 2024, Feminist Analytic Philosophy, TU Dortmund, Germany, Sara Ayhan, Title: Queer feminist logic & contradictory logics: A symbiotic relationship.
November 28-29, 2024, Bochum Nonclassical Logic Workshop III, Ruhr University Bochum,
Sara Ayhan, Title: Queer feminist logic & contradictory logics: A symbiotic relationship.
Heinrich Wansing, Title: Theorems and theories.
December 10, 2024, Logic and Feminism, University of Bergen, Norwaysites.google.com/view/tennantfest , Sara Ayhan, Title: Feminist logic(s): Potentials, challenges and the case of contradictions.
2025
January 30, 2025, Bochum Nonclassical Logic Workshop IV, Ruhr University Bochum, Satoru Niki, Title: Abelian logic on the Bochum Plan (and the American Plan as well) (j.w.w. Heinrich Wansing).
February 5, 2025, 5th Symposium on Proof-theoretic Semantics, Institute of Philosophy, School of Advanced Study, University of London, Sara Ayhan, Title: Mapping the Landscape of Logical Bilateralism.
February 14, 2025, University of Bologna, Department of Arts, Heinrich Wansing, Title: Theorems and theories.
February 20, 2025, Theoretical Philosophy Colloquium, Utrecht University, Sara Ayhan, Title: Queer feminist logic & contradictory logics: A symbiotic relationship.
March 2, 2025, A Kyoto-Taipei Workshop on Logic of Agent, Kyoto University, Sara Ayhan, Title: Sense and denotation in systems for proofs and refutations.
March 5, 2025, LLAL@GSIS Workshop (VI), Tohoku University, Sara Ayhan, Title: Problems and consequences of bilateral notions of (meta-)derivability.
May 7, 2025, 28th Conference Applications of Logic in Philosophy and the Foundations of Mathematics, Szklarska Poręba, Heinrich Wansing, Title: Abelian Logic on the Bochum Plan (And the American Plan as Well) (j.w.w. Satoru Niki).
May 14, 2025, Logica 2025, Hejnice Monastery, Czech Republic, Sara Ayhan, Title: Contradictory Logics are Queer Feminist Logics
June 6, 2025, BIRS 5-Day Workshop "Proof Representations: From Theory to Applications", Banff International Research Station,
Sara Ayhan, Contradictory Logics and the Bochum Plan (Lightning Talk)
Robin Martinot, Semantic Pollution (Lightning Talk)
June 11, 2025, Summer Logic Double Feature, City University of New York, Graduate Center, Heinrich Wansing, Title: Solving a New Paradox of Deontic Logic (and a dozen other paradoxes) with RNmatrices for MC-based Modal Logics, (j.w.w. Daniel Skurt).
June 14, 2025, Logic, Inference and Rationality A Conference in Honor of Neil Tennant, Columbus, Ohio State University, Heinrich Wansing, Abelian Logic on the Bochum Plan (And the American Plan as Well) (j.w.w. Satoru Niki).
June 17, 2025, Sara Ayhan, Trends in Logic XXV. Non-Classical Approaches to Traditional Philosophical Problems, Institute for Philosophical Research of UNAM, Mexico CIty, Sara Ayhan, Contradictory logics are queer feminist logics.
June 24, 2025, Workshop on Philosophical Topics in Mathematics and Proof Theory, Utrecht University,
Robin Martinot, Title: Meaningful proof systems and bilateralism.
Heinrich Wansing, Title: Another view on Abelian logic (j.w.w. Satoru Niki).
June 27, 2025, Cracow Logic Conference (CLoCk), Department of Logic, Institute of Philosophy, Jagiellonian University in Kraków, Grigory Olkhovikov, Title: Conditionals over constructive logics: two case studies.
July 7-11, 2025 , ASL Logic Colloquium 2025, TU Wien, Vienna,
Sara Ayhan, Title: Contradictions without negation and a proof-theoretic understanding of connexive logics.
Grigory Olkhovikov, Title: Constructive, connexive, and contraclassical: conditionals over C.
July 10, 2025, Logic and Decision Theory Colloquium, MCMP, LMU Munich, Sara Ayhan, Title: Queer feminist logic & contradictory logics: A symbiotic relationship.
July 18, 2025, Quantum Theory, Reasoning and Computation. A Workshop Celebrating Roberto Giuntini's 65th Birthday, Heinrich Wansing, Title: Another view on Abelian logic (j.w.w. Satoru Niki).