Some Talks by Peter Jipsen

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

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

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