During the last decades, there has been a fruitful interface between Mathematical Logic and Computer Science. The concepts that had been autonomously developed in the field of Logic have turned out to constitute the foundations of Informatics, and continue to form the theoretical platform on the basis of which new techniques have been, and are still being, developed. At the same time some applied problems which originated in Computer Science have stimulated new investigations in the field of Logic. For instance, since programming languages are based on logical paradigms, data processing requires Non Classical Logic (such as Linear Logic, Intuitionistic Logic, Fuzzy Logic). Furthermore, Algorithms and Complexity Theory represent the natural developments of Recursion Theory. The goal of this section is to train researchers in Logic and in Computer Science, focussing on applications of these disciplines.
