In variou s areas of computer science, such as logic, comput ation, program development and verification, artif icial intelligence, knowledge representation, and automated reasoning, there is an obvious need for using specialized formalisms and inference systems for selected tasks. To be usable in practice, the se specialized systems must be combined with each other and integrated into general purpose systems. This has led - in many research areas - to the de velopment of techniques and methods for the combin ation and integration of dedicated formal systems, as well as for their modularization and analysis.
\n\nThe International Symposium on Fronti ers of Combining Systems (FroCoS) traditionally fo cusses on these types of research questions and ac tivities. Like its predecessors, FroCoS 2017 seeks to offer a common forum for research in the gener al area of combination, modularization, and integr ation of systems, with emphasis on logic-based one s, and of their practical use.
\n\nFroCoS 2017 will be co-located with the 26th Internationa l Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2017) and t he 8th International Conference on Interactive The orem-Proving (ITP 2017).
\nT he program committee seeks high-quality submission s describing original work, written in English, no t overlapping with published or simultaneously sub mitted work to a journal or conference with archiv al proceedings. Selection criteria include accurac y and originality of ideas, clarity and significan ce of results, and quality of presentation. Abstra ct submission deadline: 24th April 2017.
\ n