Workshop on Presentations and Geometry in Semigroups, Algorithms, Automata and Languages Thematic Term