“...Algebraic Logic and Universal Algebra in Computer Science Conference, Ames, Iowa...”