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