This book presents the outcomes of the 15th International Conference on Distributed Computing and Artificial Intelligence, held in Toledo (Spain) from 20th to 22nd June 2018 and hosted by the UCLM, and which brought together researchers and developers from industry, education and the academic world to report on the latest scientific research, technical advances and methodologies. Highlighting multi-disciplinary and transversal aspects, the book focuses on the conferences Special Sessions, including Advances in Demand Response and Renewable Energy Sources in Smart Grids (ADRESS); AI- Driven Methods for Multimodal Networks and Processes Modeling (AIMPM); Social Modelling of Ambient Intelligence in Large Facilities (SMAILF); Communications, Electronics and Signal Processing (CESP); Complexity in Natural and Formal Languages (CNFL); and Web and Social Media Mining (WASMM).

The theory of formal languages is widely accepted as the backbone of t- oretical computer science. It mainly originated from mathematics (com- natorics, algebra, mathematical logic) and generative linguistics. Later, new specializations emerged from areas ofeither computer science(concurrent and distributed systems, computer graphics, arti?cial life), biology (plant devel- ment, molecular genetics), linguistics (parsing, text searching), or mathem- ics (cryptography). All human problem solving capabilities can be considered, in a certain sense, as a manipulation of symbols and structures composed by symbols, which is actually the stem of formal language theory. Language - in its two basic forms, natural and arti?cial - is a particular case of a symbol system. This wide range of motivations and inspirations explains the diverse - plicability of formal language theory ? and all these together explain the very large number of monographs and collective volumes dealing with formal language theory. In 2004 Springer-Verlag published the volume Formal Languages and - plications, edited by C. Martin-Vide, V. Mitrana and G. P?un in the series Studies in Fuzziness and Soft Computing 148, which was aimed at serving as an overall course-aid and self-study material especially for PhD students in formal language theory and applications. Actually, the volume emerged in such a context: it contains the core information from many of the lectures - livered to the students of the International PhD School in Formal Languages and Applications organized since 2002 by the Research Group on Mathem- ical Linguistics from Rovira i Virgili University, Tarragona, Spain."

The theory of formal languages is widely accepted as the backbone of t- oretical computer science. It mainly originated from mathematics (com- natorics, algebra, mathematical logic) and generative linguistics. Later, new specializations emerged from areas ofeither computer science(concurrent and distributed systems, computer graphics, arti?cial life), biology (plant devel- ment, molecular genetics), linguistics (parsing, text searching), or mathem- ics (cryptography). All human problem solving capabilities can be considered, in a certain sense, as a manipulation of symbols and structures composed by symbols, which is actually the stem of formal language theory. Language - in its two basic forms, natural and arti?cial - is a particular case of a symbol system. This wide range of motivations and inspirations explains the diverse - plicability of formal language theory ? and all these together explain the very large number of monographs and collective volumes dealing with formal language theory. In 2004 Springer-Verlag published the volume Formal Languages and - plications, edited by C. Martin-Vide, V. Mitrana and G. P?un in the series Studies in Fuzziness and Soft Computing 148, which was aimed at serving as an overall course-aid and self-study material especially for PhD students in formal language theory and applications. Actually, the volume emerged in such a context: it contains the core information from many of the lectures - livered to the students of the International PhD School in Formal Languages and Applications organized since 2002 by the Research Group on Mathem- ical Linguistics from Rovira i Virgili University, Tarragona, Spain."

Language is one of the most challenging issues that remain to be explained from the physiological and psychological points of view. As a complex system, its formal modelling and simulation present important difficulties. Models proposed up to now have not been able to give either a coherent explanation of natural language or a satisfactory computational model for the processing of natural language. To investigate natural language, we need to cross traditional academic boundaries in order to solve the different problems related to language. This book is an attempt to connect and integrate several academic disciplines and technologies in the pursuit of a common task: the study of language. The main goal of the book is to boost the interchange of knowledge and viewpoints between specialists who, working on linguistics, biology or computation, have an interest in bringing their methods together in order to provide innovative and challenging tools and formalisms to approach and improve theories and models on languages. The subject of this book will attract researchers from many fields who are interested in natural or artificial languages and want to enrich their scientific research with theories, methods and ideas coming from different disciplines. People dealing with linguistics, computer science, formal language theory and biology may find in this book new and challenging ideas.