* Extended deadline: 1st May (abstracts), 5th May (full papers)*
Welcome to FroCoS 2017 in Brasília!
The 11th International Symposium on Frontiers of Combining Systems will take place in Brasília - the garden city of Brazil and UNESCO World Heritage Site for its modernistic design. It will be hosted by the Department of Computer Science at the University of Brasília, from 27-29 September 2017.
FroCoS is the main international event for research on the development of techniques and methods for the combination and integration of formal systems, their modularization and analysis. The first FroCoS symposium was held in Munich, Germany, in 1996. Initially held every two years, since 2004 it has been organised annually with alternate years forming part of IJCAR.
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 FroCoS 2017 conference will be published in the Springer series Lecture Notes in Artificial Intelligence (LNAI).