JMM 2020: AMS Special Session on Algebra and Algorithms

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