Workshop on Model Theory, Profinite Topology and Semigroups in Semigroups, Algorithms, Automata and Languages Thematic Term