In various areas of computer science, such as logic, computation, program development and verification, artificial intelligence, and automated reasoning, there is an obvious need for using specialized formalisms and inference mechanisms for special tasks. In order to be usable in practice, these specialized systems must be combined with each other, and they must be integrated into general purpose systems. The development of general techniques and methods for the combination and integration of special formally defined systems, as well as for the analysis and modularization of complex systems has been initiated in many areas.

FroCoS, the International Symposium on Frontiers of Combining Systems, traditionally focuses on this type of research questions and activities and aims at promoting progress in the field.

Typical topics of interest:

• combination of logics (e.g., modal logics, logics in AI, ...)
• combination of decision procedures, of satisfiability procedures, and of constraint solving techniques (e.g. unification and matching algorithms, general symbolic constraints, numerical constraints)
• combinations and modularity in term rewriting
• integration of equational and other theories into deductive systems (e.g. SMT, theory resolution, constrained resolution, constrained paramodulation, ...)
• combination of deduction systems and computer algebra;
• integration of data structures (e.g., sets, multisets, lists) into CLP formalisms and deduction processes
• model/problem analysis and decomposition (e.g. isolating tractable or loosely connected sub-problems, global constraints design, etc.)
• hybrid methods for deduction, resolution and constraint propagation (e.g., combinations of local and global, complete and propagation techniques)
• hybrid systems in computational linguistics, knowledge representation, natural language semantics, and human computer interaction
• logical modelling of multi-agent systems
• logical aspects of combining and modularizing programs and specifications

Next edition: merged in IJCAR'12, June 26 - July 1, 2012, Manchester, UK.