JMM 2020
## JMM 2020: AMS Special Session on Algebra and Algorithms

Denver, Wednesday, January 15, 2020

organized by Keith Kearnes, Peter Mayr, Agnes Szendrei (CU Boulder)

Program

Talks
- Nick Galatos, University of Denver:

Inverse-free reducts of lattice-ordered groups [pdf]

- Peter Jipsen, Chapman University:

The structure of idempotent involutive residuated lattices and weakening relation algebras [pdf]

- Ralph S Freese, University of Hawaii:

A class of modular lattices embedded into congruence lattices of algebras in almost all varieties [pdf]

- Clifford Bergman, Iowa State University:

Varieties of Semilattice Sums [pdf]

- George F McNulty, University of South Carolina:

What I would still like to know about equational logic [pdf]

- Matthew Moore, University of Kansas:

Supernilpotence Need Not Imply Nilpotence [pdf]

- Alexandr Kazda, Charles University:

Maltsev conditions invariant under permutation group actions [pdf]

- Benoit Larose, LACIM/UQAM Montreal:

QCSPs on finite groups [pdf]

- Dmitriy Zhuk, Lomonosov Moscow State University:

Four types of subuniverses and the complexity of the constraint satisfaction problem [pdf]

- Matt Valeriote, McMaster University:

Finite algebras and regular tree languages [pdf]

- Trevor Elliott Jack, University of Colorado Boulder:

Computational Complexity of Semigroup Properties [pdf]

- William DeMeo, Charles University:

Formalizing Universal Algebra with Dependent and Inductive Types [link] [pdf]

- Ralph McKenzie, Vanderbilt University:

Open Problems [pdf]