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