Presenting interdisciplinary research at the forefront of the advances in information technologies and their foundations, this work contains pieces of work exemplifying the application of formal language tools in such fields as logic and discrete mathematics, natural language processing, natural computing and bioinformatics.