2013 Workshop on Computational Universal Algebra