On the structure of balanced residuated partially-ordered monoids, talk on joint work with Stefano Bonzio, José Gil-Férez, Adam Přenosil and Melissa Sugimoto, 21st International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2024), Charles University, Prague, Czech Republic, August 19 - 22, 2024
Frames and spaces for distributive quasi relation algebras and involutive FL-algebras, talk on joint work with Andrew Craig and Claudette Robinson, 21st International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2024), Charles University, Prague, Czech Republic, August 19 - 22, 2024
On the structure of balanced residuated posets, joint work with Stefano Bonzio, José Gil-Férez, Adam Přenosil and Melissa Sugimoto, TACL 2024: Topology, Algebra, and Categories in Logic, University of Barcelona, Spain, July 1 - 5, 2025
An introduction to Residuated Lattices, invited talk at the University of Cagliari, Sardinia, Italy, June 20, 2024
Plonka sums of metamorphisms applied to balanced residuated posets, invited talk on joint work with Stefano Bonzio, José Gil-Férez, Adam Přenosil and Melissa Sugimoto at the Workshop on Logics of Variable Inclusion (Part 2) , University of Cagliari, Sardinia, Italy, June 13, 2024
The structure of some Residuated Lattices (video), talk at the Mathematics, Philosophy and Physics (MPP) seminar, Chapman University, California, USA, November 10, 2023
Commutative idempotent residuated lattices are disjoint unions of Brouwerian algebras, invited two-hour talk on joint work with J. Gil-Férez, S. Lodhia, M. Sugimoto, Algebra Week 2023, University of Siena, Italy, July 4 - 7, 2023
On representations of distributive involutive residuated lattices by binary relations, talk on joint work with Jaš Šemrl, BLAST 2023, University of North Carolina, Charlotte, May 16 - 20, 2023
Using Prover9 for research on ortholattices and locally integral involutive po-monoids, talk at the Panglobal Algebra and Logic Seminar, University of Colorado at Boulder, April 18, 2023
Universal Algebra for Algebraic Logic, invited speaker (4 hour-long talks and 4 exercise sessions) at the Summer Research School LIACT 2023: Logic at the intersection of Algebra, Categories and Topology, University of Johannesburg, South Africa, January 3 - 13, 2023
Structural results about involutive residuated lattices and involutive po-monoids (video), joint work with José Gil-Férez and Sid Lodhia, in the Special Session on Ordered Structures, Fall Central Sectional Meeting of the American Mathematical Society, University of Texas, El Paso, Texas, USA, September 17 - 18, 2022
Weakening Relation Algebras, invited talk on joint work with Nick Galatos and Jaš Šemrl, Tarskian Algebraic Logic, Relativity Theory and Methodology of Science --- István Németi is 80, September 15 - 17, 2022
On partially ordered algebras and preclones, video, joint work with Reinhard Pöschel and Erkko Lehtonen, BLAST 2022, a conference focusing on Boolean Algebras, Lattices, Algebraic and Quantum logic, Universal Algebra, Set Theory, Set-theoretic and Point-free Topology, Chapman University, Orange, California, USA, August 8 - 12, 2022
On equational bases for the benzene ortholattice and Płonka sums of generalized Boolean algebras, invited talk on joint work with J.B. Nation, Ralph Freese (U. Hawaii), and Melissa Sugimoto (U. Leiden), Trends in Logic XXII: Strong and weak Kleene logics, University of Cagliari, Sardinia, Italy, July 18 - 20, 2022
On varieties of residuated po-magmas and the structure of finite ipo-semilattices, joint work with Melissa Sugimoto, TACL 2022: Topology, Algebra, and Categories in Logic, University of Coimbra, Portugal, June 20 - 24, 2022
Primitive lattice varieties, joint work with J.B. Nation (U. Hawaii), in the special session on Algebraic Logic, Spring Western Sectional Meeting of the American Mathematical Society, University of Denver, Colorado, USA, May 14 - 15, 2022
A survey of partially ordered algebras, video, joint work with Bianca Newell and José Gil-Férez Panglobal Algebra and Logic Seminar (PALS), University of Colorado, Boulder, Colorado, USA, November 16, 2021
Unary-determined distributive l-magmas and bunched implication algebras, talk given by Melissa Sugimoto on joint work with Natanael Alpay and Peter Jipsen, 19th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2021), CIRM (Centre International de Rencontres Mathématiques), Marseille, France, November 2 - 5, 2021
Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm PEARL. 19th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2021), CIRM (Centre International de Rencontres Mathématiques), Marseille, France, November 2 - 5, 2021
Unary-determined distributive lattice-ordered magmas, joint work with Natanael Alpay and Melissa Sugimoto, New Mexico State University Online Algebra Seminar, Las Cruzes, New Mexico, USA, October 18, 2021
Bunched implication algebras, Heyting algebras with a residuated unary operator and their Kripke semantics, joint work with Natanael Alpay and Melissa Sugimoto, in the special session on Nonclassical Logic, Association of Symbolic Logic, North American Annual Meeting, University of Notre Dame, Indiana, USA, June 22 - 25, 2021
Algorithmic correspondence for relevance logics: The algorithm PEARL and its implementation, talk given by Willem Conradie on joint work with Valentin Goranko and Peter Jipsen, BLAST 2021, Las Cruces, New Mexico, USA, June 9 - 13, 2021
Commutative doubly-idempotent semirings determined by chains and by preorder forests, video, talk given by Natanael Alpay on joint work with Peter Jipsen, 18th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2020), Online, France, October 26 - 29, 2020
Weakening relation algebras and FL^2-algebras, video, joint work with Nikolaus Galatos, 18th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2020), Online, France, October 26 - 29, 2020
Commutative idempotent involutive residuated posets from Plonka sums of generalized Boolean algebras, annotated slides, video (Password: R!HKy4Z2) of seminar talk, Nonclassical Logic Webinar, October 2, 2020
Nonclassical relation algebras as expansions of residuated lattices, abstract, video of seminar talk, General Algebra and its applications, LaTrobe University, Australia, September 8, 2020
The structure of Boolean commutative idempotent residuated lattices, invited talk at the Shanks 2020 Workshop on Ordered Algebras and Logic, Vanderbilt University, Nashville, USA, March 5 - 7, 2020
The structure of idempotent involutive residuated lattices and weakening relation algebras, talk in the AMS Special Session on Algebras and Algorithms at the AMS MAA Joint Mathematics Meeting, Denver, Colorado, USA, January 15 - 18, 2020
A full description of finite commutative idempotent involutive residuated lattices, invited talk in the Universal Algebra and Logic Seminar, Vanderbilt University, Nashville, USA, November 18, 2019
Three undergraduate research experiences in abstract algebra , American Mathematical Society Fall Western Sectional Meeting, University of California at Riverside, USA, November 9 - 10, 2019
Partially ordered varieties of idempotent residuated posets, TACL 2019: Topology, Algebra, and Categories in Logic, University of Nice, France, June 17 - 21, 2019
On the structure of idempotent residuated lattices, BLAST 2019, a conference focusing on Boolean Algebras, Lattices, Algebraic logic, Universal Algebra, Set Theory, Set-theoretic and Point-free Topology, University of Colorado at Boulder, Colorado, USA, May 20 - 24, 2019
On the structure of generalized effect algebras and separation algebras, joint work with Sarah Alexander and Nadiya Upegui, 17th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2017), Groningen, Netherlands, October 29 - November 1, 2018
Partially-ordered multi-type algebras, multi-type frames and the category of polarities, Logic, Algebra and Truth Degrees, LATD 2018, Bern, Switzerland, August 28 - 31, 2018
Gave 4 invited tutorial lectures on Residuated Frames for substructural logics, Part 1, Part 2, Part 3, Part 4, SYSMICS Logic Summer School, Les Diablerets, Switzerland, August 22 - 26, 2018
Nonassociative right hoops, BLAST 2018, a conference focusing on Boolean Algebras, Lattices, Algebraic and Quantum logic, Universal Algebra, Set Theory, Set-theoretic and Point-free Topology, University of Denver, Colorado, USA, August 6 - 10, 2018
Nonassociative right hoops, invited talk at Algebraic Proof Theory for Social Behaviour, Delft University of Technology, Netherlands, July 2 - 6, 2018
Greatest Hits of the Hawaiian Legends of Universal Algebra and Lattice Theory, invited talk at ALH-2018: Conference on Algebra and Lattice Theory in honor of Ralph Freese, Bill Lampe, and JB Nation, University of Hawaii, Honolulu, USA, May 22 - 24, 2018
Effect algebras, involutive residuated posets, and a brief introduction to the LEAN theorem prover, invited talk at the Workshop on Logic and its Applications 2018, University of Johannesburg, South Africa, January 29 - 30, 2018
On the enduring impact of Bjarni Jónsson's research in Lattice Theory, Relation Algebras and Boolean Algebras with Operators, Part 1, Part 2, two invited hour-long tutorial talks at BLAST 2017, a conference in memory of Bjarni Jónsson focusing on Boolean Algebras, Lattices, Algebraic and Quantum logic, Universal Algebra, Set Theory, Set-theoretic and Point-free Topology, Vanderbilt University, Nashville, Tennessee, USA, August 14 - 18, 2017
Classical and Intuitionistic Relation Algebras, joint work with Nick Galatos, TACL 2017: Topology, Algebra, and Categories in Logic 2017, Prague, Czech Republic, June 26 - 30, 2017
Relation algebras, idempotent semirings and generalized bunched implication algebras, 16th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2017), at ENS Lyon, France, May 15 - 19, 2017
Algebras of weakening relations and partially ordered groupoid semantics , invited talk at the Workshop on Logic and its Applications, University of Johannesburg, South Africa, January 24 - 25, 2017
Algebraic cut elimination for residuated lattices, invited talk at research retreat in Margate, South Africa, January 17, 2017
Right generalized hoops, varieties of loops and partial algebras, ADAM 2016: Automated Deduction and its Application to Mathematics, University of New Mexico, August 5 - 7, 2016
Divisible left-residuated posets, semilattices and Heyting algebras with operators (abstract ), invited talk at the 5th Conference on Logic, Algebra and Truth Degrees (LATD 2016), Phalaborwa, June 28 - 30, 2016
Right-divisible residuated posets, semilattices and residuated Heyting algebras , at OAL 2016: Conference on Frames and Lattice-Ordered Groups, In Honor of the 90th Birthday of Bernhard Banaschewski, Penn State Behrend, Erie PA, USA, June 8 - 10, 2016
Computational partial algebras and structural clones, at Algebra and Algorithms: A workshop on constraint satisfaction, structure theory and computation in algebra, University of Colorado, Boulder CO, USA, May 19 - 22, 2016
Residuated lattices, Kripke semantics and correspondence, invited talk at Unified Correspondence, Lorentz Center, International center for scientific workshops, University of Leiden, The Netherlands, February 15 - 19, 2016
Poset-product decompositions of ordered algebras and equational decidability, Department of Mathematics, University of Salerno, Italy, January 11, 2016
Duality for partial algebras, bunched implication algebras and GBI-algebras, invited talk at Coherence and Truth 2015: In memoriam Franco Montagna, Certosa di Pontignano, Siena, Italy, December 16 - 18, 2015
From Residuated Lattices to Boolean Algebras with Operators, invited talk at The Department of Mathematics and Statistics, California State University at Long Beach, CA, USA, October 16, 2015
From Residuated Lattices via GBI-algebras to BAOs, invited talk at WoLLIC 2015: 22nd Workshop on Logic, Language, Information and Computation, Indiana University, Bloomington, IN, USA, July 20 - 23, 2015
Complex algebras of tree-semilattices, at TACL 2015: Topology, Algebra, and Categories in Logic, Ischia, Italy, June 21 - 26, 2015
Generalized Effect Algebras as Models of Concurrent Resources, joint work with M. Andrew Moshier, invited talk at BLAST 2015, a conference focusing on Boolean Algebras, Lattices, Algebraic and Quantum logic, Universal Algebra, Set Theory, Set-theoretic and Point-free Topology, University of North Texas, Denton, TX, USA, June 8 - 12, 2015
Complex algebras of tree-semilattices, at OAL 2015: A conference on Order, Algebra, Logic, Florida Atlantic University, Jupiter, FL, USA, May 8 - 10, 2015
Algebraic Models for Concurrent Programs and Bunched Implication Algebras, joint work with M. Andrew Moshier, at BLAST 2015, a conference focusing on Boolean Algebras, Lattices, Algebraic and Quantum logic, Universal Algebra, Set Theory, Set-theoretic and Point-free Topology, New Mexico State University, Las Cruzes, NM, USA, January 5 - 9, 2015
Reducts and Expansions of Residuated Lattices, plenary talk at the 16th Latin American Symposium on Mathematical Logic (SLALM 2014), University of Buenos Aires, Argentina, July 28 - Aug 1, 2014
The lattice of varieties generated by small residuated lattices (abstract), 4th Conference on Logic, Algebra and Truth Degrees (LATD 2014), part of the Vienna Summer of Logic, Vienna, Austria, July 16 - 19, 2014
Searching for evidence or failure of the amalgamation property, seminar talk at the Department Informatik, Friedrich-Alexander Universität, Erlangen, Germany, July 8, 2014
Concurrent Kleene algebra with tests, 14th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2014), Marienstatt im Westerwald, Germany, April 27 - May 1, 2014
An orderly algorithm to enumerate finite (semi)modular lattices, joint work with Nathan Lawless, AMS Fall Southeastern Sectional Meeting, University of Louisville, October 5-6, 2013, with a special session on Finite Universal Algebra
Computing with finite ordered algebraic structures, Workshop on Computational Universal Algebra, University of Louisville, KY, Oct 4, 2013
Basic Logic, SMT solvers and finitely generated varieties of GBL-algebras (abstract), TACL 2013: Topology, Algebra, and Categories in Logic, Vanderbilt University, July 28 - August 1, 2013
Computational general algebra on ten dollars a day (abstract), plenary invited talk at General Algebra and Its Applications: GAIA 2013, Latrobe University, Melbourne, Australia, July 15 - 19, 2013
Prover9 and Other Provers with Sage/Python/LaTeX Input and Output, ADAM 2013: Automated Deduction and its Application to Mathematics, University of New Mexico, June 6 - 8, 2013
Varieties of generalized hoops and integral GBL-algebras, Algebra, Lattices, Varieties Special Session, Western Sectional Meeting of the American Mathematical Society, University of Colorado at Boulder, April 13 - 14, 2013
Finite models and practical decision procedures in propositional substructural logics I, II, III, 3 hour-long invited tutorial, Proof and Computation, University of Bern and Les Diablerets, Switzerland, January 27 - 31, 2013
Categories of algebraic contexts equivalent to idempotent semirings and domain semirings, 13th International Conference on Relational and Algebraic Methods in Computer Science, University of Cambridge, UK, September 17 - 20, 2012
The categorical equivalence between complete (semi)lattices with operators and contexts with relations, Duality Theory in Algebra, Logic and Computer Science, Mathematical Institute, University of Oxford, UK, June 13 - 15, 2012
Categories of contexts dual to complete semilattices, algebraic lattices, and lattices, 2012 Spring Western Section Meeting of the American Mathematical Society, University of Hawaii, Honolulu, March 3 - 4, 2012
Computational Investigations of the Lattice of Lattice Varieties, First CSU Fullerton - Chapman University Joint Mathematics Colloquium, Chapman University, California, November 18, 2011
Some results obtained with the Universal Algebra Calculator, theorem provers and constraint satisfiers in a Sage package, 2011 Spring Central Section Meeting of the American Mathematical Society, University of Iowa, Iowa City, March 18 - 20, 2011 (Sage package available here for installation)
Generalizations of Relation Algebras from the perspective of (semi)lattices with operators, Workshop on Lattices, Relations and Kleene Algebras, University College London, UK, September 21 - 23, 2010
Decision Procedures in Algebra and Logic, week-long PhD course at the University of Milan, Italy, July 12 - 16, 2010
Relation Algebras as expanded FL-algebras, BLAST 2010, a conference focusing on Boolean Algebras, Lattices, Algebraic Logic, Quantum Logic, Universal Algebra, Set Theory, Set-theoretic Topology and Point-free Topology, University of Colorado at Boulder, Colorado, June 3 - 5, 2010
Some open problems regarding lattice-ordered pregroups, OCCTAL Workshop on Contemporary Topology, Chapman University, California, January 4 - 15, 2010
On Domain Semigroups, Stably Supported Quantales and Frames, Workshop on Frames: Algebra vs. Topology, University of Florida, Gainsville, Florida, December 3 - 5, 2009
Domain and antidomain semigroups, RelMiCS 11 / AKA 6, The 11th International Conference on Relational Methods in Computer Science and the 6th International Conference on Applications of Kleene Algebra, Qatar University, Doha, Qatar, November 1 - 5, 2009
Tutorial on Universal Algebra (4 per page), 2 hour invited tutorial, BLAST 2009 at New Mexico State University, Las Cruces, NM, August 10 - 14, 2009
Topological Duality and Lattice Expansions Part I: A Topological Construction of Canonical Extensions, plenary talk (abstract), TACL 2009: Topology, Algebra and Categories in Logic, Amsterdam, Netherlands, July 7 - 11, 2009
Computing in lattice ordered groups and related structures, 12th Annual ORD/OAL l-groups vs. MV-algebras, Bowling Green State University, Ohio, June 15 - 18, 2009
Tutorial on residuated lattices (4 per page), Semantics: Residuated frames (4 per page), invited tutorial talks in the Workshop on Algebraic Logic at the Third Indian Conference on Logic and its Applications, Chennai, India, January 7 - 11, 2009
Decompositions of ordered algebraic structures, BLAST 2008, a conference on Boolean algebras, Lattices, Algebraic Logic, Set Theory and Topology, University of Denver, Colorado, USA, August 2008
Computational mathematics research via the integration of computer algebra systems with theorem provers and model finders, ADAM 2008: Automated Deduction and its Application to Mathematics, University of New Mexico, July 24 - 26, 2008
The structure of free domain semirings, RelMiCS 10 / AKA 5, The 10th International Conference on Relational Methods in Computer Science and the 5th International Workshop on Applications of Kleene Algebra, Frauenwörth, Germany, April 7 - 11, 2008
Using Gentzen system techniques with existing automated theorem provers and rewriting tools, Proof Theory and Algebra, Shanks Workshop, Vanderbilt University, Nashville, March 6 - 8, 2008
Enumerating finite structures, Sage Days 7, Institute for Pure and Applied Mathematics, UCLA, Los Angeles, February 5 - 9, 2008
ASCIIMath 2.0: A free way to add formulas and graphs to webpages(slides), MAA Southern California-Nevada Sectional Meeting, Santa Ana College, October 13, 2007
The Blok-Ferreirim Theorem for normal GBL-algebras and its application, Algebraic and Topological Methods in Non-Classical Logics III, the Mathematical Institute, University of Oxford, England, August 5 - 9, 2007
Searching for finite models, ADAM 2007: Automated Deduction and its Application to Mathematics, University of New Mexico, June 21 - 23, 2007
Representability of small relation algebras and involutive FL-algebras, International Conference on Order Algebra and Logics in conjunction with the 22nd annual Shanks Lectures, Vanderbilt University, June 12 - 16, 2007
Text-based input formats for mathematical formulas, IMA "Hot Topic" Workshop, The Evolution of Mathematical Communication in the Age of Digital Libraries, Institute for Mathematics and its Applications, University of Minnesota, December 8 - 9, 2006
Foundations of Relations and Kleene Algebras (slides, tex), RelMiCS 9 / AKA 4, The 9th International Conference on Relational Methods in Computer Science and the 4th International Workshop on Applications of Kleene Algebra, University of Manchester, UK, August 28 - September 2, 2006
The Mathematical Structures pages: current status and future plans , ADAM 2006: Automated Deduction and its Application to Mathematics, University of New Mexico, June 22 - 24, 2006
Integrating MathML and SVG in Moodle and elsewhere, MathFest 2005, Mathematics Association of America Conference, Albuquerque, New Mexico, August 4 - 6, 2005
Algebraic Gentzen systems and ordered structures (.ps), invited talk at Algebraic and Topological Methods in Non-Classical Logics II, University of Barcelona, Spain, June 15 - 18, 2005
Using Online Mathematics Discussions in Moodle with the Discovery Method (login as a guest), 8th Legacy of R. L. Moore Conference, Austin, Texas, April 29 - May 1, 2005
On congruences in Kleene algebras and generalized ordinal sums (.ps), 8th International Conference on Relational Methods in Computer Science and 3rd Workshop on Kleene Algebra, St. Catharines, Canada, February 22-26, 2005
Basic logic algebras and lattice-ordered groups as algebras of binary relations pdf (no slides), Conference on Residuated Structures and Multi-valued Logics, University of Patras, Greece, June 2-5, 2004
Lattice-ordered groups as algebras of binary relations, Conference in Lattice-Ordered Groups and f-Rings, University of Florida Gainesville, FL, March 3-6, 2004
An overview of generalized basic logic algebras, invited talk at Soft Computing 2003, Brno, Czech Republic, Oct 18-20, 2003
An online database of classes of algebraic structures, Annual Meeting of the Association for Symbolic Logic, University of Illinois at Chicago, June 1-4, 2003
An Overview of Residuated Kleene Algebras and Lattices, Algebra and Substructural Logics (AsubL 2002), JAIST, Kanazawa, November 12-14, 2002
Lattice Ordered Groups and Residuated Lattices, Introductory part of two talks given at the Japan Advanced Institute of Science and Technology, Kanazawa, January 2002
The many descendants of Tarski's Relation Algebras, Alfred Tarski Centenary Conference, Warsaw, May 28-June 1, 2001
Implementing quasi-equational logic on the web, AMS Sectional Meeting, University of South Carolina, March 16-18, 2001.
Computational Aspects of Residuated Lattices, Conference on lattice-ordered groups and f-rings, University of Florida, February 28-March 03, 2001