During the past years, other fields have used several subjects, methods and approaches of Theoretical Computer Science, and several results have been integrated into practical applications. Solutions for NP-hard problems, algorithmic-oriented AI and data mining procedures, new models and methods in system biology and bioinformatics, automata theory approaches in software and hardware verification, prospective new models of computation and future computer architecture are good examples to buttress the above statement.

We set double aims as the scope of this conference: on one hand side we expect ideas and solutions from the field of Theoretical Computer Science which have been directly applied in real world applications.  On the other side we want to collect theoretical results based on some fruitful idea that may be useful to adopt for practical problems. 

Part of Information Society 2016