The project "Automata, Semigroups and Applications" aims to contribute to the development of the theories of automata and semigroups, and some of their applications. Besides connections between these areas of, say, Theoretical Informatics and Mathematics, they are also naturally connected with the theory of formal languages. On the other hand, the usage of sophisticated methods (as is the case of symbolic dynamics, representation theory, or geometric group theory) will also lead to the further exploration of natural connections with other branches of Mathematics.