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

2020

*
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

2019

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

2018

*
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

2017

*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

2016

*
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

2015

*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

2014

*
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

2013

*
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

2012

*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

2011

*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)

2010

*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

2009

*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

2008

*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

*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

2007

*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

*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

2006

*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

2005

*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

2004

*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

2003

*
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

2002

*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

2001

*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