News and Events: Conferences

Please note that this newsitem has been archived, and may contain outdated information or links.

25 - 29 September 2017, 11th International Symposium on Frontiers of Combining Systems (FroCoS 2017), Brasilia, Brazil

Date: 25 - 29 September 2017
Location: Brasilia, Brazil
Deadline: Monday 1 May 2017

In various areas of computer science, such as logic, computation, program development and verification, artificial 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, these specialized systems must be combined with each other and integrated into general purpose systems. This has led - in many research areas - to the development of techniques and methods for the combination and integration of dedicated formal systems, as well as for their modularization and analysis.

The International Symposium on Frontiers of Combining Systems (FroCoS) traditionally focusses on these types of research questions and activities. Like its predecessors, FroCoS 2017 seeks to offer a common forum for research in the general area of combination, modularization, and integration of systems, with emphasis on logic-based ones, and of their practical use.

FroCoS 2017 will be co-located with the 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2017) and the 8th International Conference on Interactive Theorem-­Proving (ITP 2017).

The program committee seeks high-quality submissions describing original work, written in English, not overlapping with published or simultaneously submitted work to a journal or conference with archival proceedings. Selection criteria include accuracy and originality of ideas, clarity and significance of results, and quality of presentation. Abstract submission deadline: 24th April 2017.

For more information, see http://frocos2017.cic.unb.br.

Please note that this newsitem has been archived, and may contain outdated information or links.