Book excerpt: The research results published in this set of proceedings range from pure semigroup theory to theoretical computer science, in particular formal languages and automata. Contributed by internationally recognized researchers, the papers address issues in the algebraic and combinatorial theories of semigroups, the structure theory of automata, the classification theory of formal languages and codes and applications of these theories to various areas like circuit testing, coding theory, or cryptography. The underlying theme is the semigroup and automaton theories and their role in certain applications.