*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

*
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

*
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

*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

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

*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

*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

*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

*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

*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

*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

*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