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