Conferences, Workshops, and Seminars:
- DeKLA Workshop 2025: Kleene Logics & Beyond, University of Cagliari, Italy, 27 November 2025. On the semilattice decomposition of McCarthy algebras
- Fall Western Section of the AMS: Special Session on Algebraic Logic, University of Denver, USA, 23 August 2025, Encoding Ackermann-hard problems in substructural logics
- LATD 2025, University Siena, Italy, 25 July 2025. The structure and theory of McCarthy algebras
- Logic Colloquium 2025, TU Wien, Austria, 8 July 2025. Algebraic semantics for logics based on McCarthy conjunction
- DeKLA Workshop 2025, University of Urbino, Italy, 25 June 2025. Ordered McCarthy algebras and non-deterministic disjunction.
- DeKLA Workshop 2024, University of Cagliari, Italy, 17 October 2024. McCarthy algebras revisited
- Algebra Week, University of Siena, Italy, 10 September 2024. An algebraic study of idempotent and integral rigs (Invited Speaker)
- AILA 2024, University of Udine, Italy, 3 September 2024. Subdirectly irreducible idempotent and integral rigs
- TACL 2024, University of Barcelona, Spain, 15 July 2024. Weil Algebras and varieties of rigs
- AAA105, Charles University, Czech Republic, 2 June 2024. Decision problems from idempotent semirings to substructural logics
- MOSAIC Workshop 2023, TU Wien, Austria, September 2023. Non-primitive recursive theories for simple extensions of substructural logics
- Algebra and Logic Seminar, University of Denver, 2 June 2023. Residuated ortholattices and orthomodular quantum logic
- Mathematical Colloquium, University of Bern, 7 November 2022. Encoding decision problems in non-classical logics
- LATD 2022-MOSAIC Kick Off Meeting, Paestum (Italy), September 2022. Connexive implication in substructural logics.
- TACL
20212022, University of Coimbra, Portugal, June 2022. Associativity in Quantum Logic - Spring Western Sectional Meeting of the American Mathematical Society: Special Session on Algebraic Logic, University of Denver, 14–16 May 2022. Connexive implications in FLe-algebras. (Invited Speaker)
- Ordered Algebras and Logic Workshop, Les Diablerets, Switzerland, 30 March – 2 April 2022. Residuated ortholattices and associativity in quantum logic. (Invited Speaker)
- ALOPHIS Seminar, University of Cagliari
- 9 December 2021. A survey of residuated ortholattices.
- 28 September 2021. Sequent calculi for quantum logic and related structures
- 10 November 2020. Decidability for fragments of residuated lattices axiomatized by simple equations
- Bern Logic Seminar, University of Bern, 7 October 2021. Sequent calculi for quantum logic and related structures. (Invited Speaker)
- BLAST 2021, University of New Mexico, June 2021. A new perspective on quantum substructural logics
- Shanks Workshop 2020: Ordered Algebras and Logic, Vanderbilt University, March 2020. Fragments of residuated lattices axiomatized by simple equations and decidability. (Invited Speaker)
- BLAST 2019, University of Colorado Boulder, May 2019. Subvariety containment for idempotent semirings
- 4th Syntax Meets Semantics (SYSMICS) Workshop, Chapman University, September 2018. Undecidability of FLe in the presence of structural rules. (Invited Speaker)
- Algebra and Substructural Logics (AsubL): Take 6, University of Cagliari, Italy, June 2018. Undecidability of FLe in the presence of structural rules
- Algebra Week, University of Siena, Italy, June 2018. Undecidability for varieties of residuated lattices. (Invited Speaker)
- Graduate Algebra Seminar, University of Siena, Italy, July 2017 (Invited Speaker)
- Topology, Algebra, & Categories in Logic (TACL), Charles University, Czech Republic, June 2017. Undecidability of {·, 1, ∨}-equations in subvarieties of commutative residuated lattices
- Fall Western Sectional Meeting of the American Mathematical Society: Special Session on Algebraic Logic, University of Denver, October 2016
- Front Range Logic Seminar, University of Denver, May 2016 (Invited Speaker)
Extended Abstracts
- Luca Space and Gavin St. John, Weil Algebras and varieties of rigs. TACL 2024, Barcelona 2024.
- Davide Fazio and Gavin St. John, Connexive implication in substructural logics. LATD 2022-MOSAIC Kick Off Meeting, Paestum (Italy), September 2022.
- Wesley Fussner and Gavin St. John, Associativity in Quantum Logic. TACL2022 (Topology, Algebra, and Categories in Logic), Coimbra (Portugal). June 2022.
- Nikolaos Galatos and Gavin St. John, Undecidability methods for residuated lattices. TACL2019 (Topology, Algebra, and Categories in Logic), Nice (France), June 2019.
- Gavin St. John, Subvariety containment for idempotent semirings. BLAST 2019, University of Colorado, Boulder, May 2019.
- Nikolaos Galatos and Gavin St. John. Undecidability of FLe in the presence of structural rules. AsubL Take 6 (Algebra & Substructural Logics), University of Cagliari, June 2018.
- Gavin St. John. Undecidability of {·, 1, ∨}-equations in subvarieties of commutative residuated lattices. TACL2017 (Topology, Algebra, and Categories in Logic), Prague (Czech Republic), June 2017.
Gavin St. John 