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