Workshop on Algebra in Computer Science