FroCoS 2007 - 6th International Symposium on Frontiers of Combining Systems
Liverpool, UK, September 10-12 2007
Call for papers
BACKGROUNDIn 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 specialised formalisms and inference mechanisms for special tasks. In order to be usable in practice, these specialised 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 modularisation of complex systems has been initiated in many areas. The International Symposium on Frontiers of Combining Systems (FroCoS) traditionally focuses on this type of research questions and activities and aims at promoting progress in the field. The previous FroCoS's were held in Munich (1996), Amsterdam (1998), Nancy (2000), Santa Margherita Ligure (2002), and Vienna (2005). In 2004 and 2006, FroCoS joined IJCAR, the International Joint Conference on Automated Reasoning. Like its predecessors, FroCoS 2007 wants to offer a common forum for research activities in the general area of combination, modularisation and integration of systems (with emphasis on logic-based ones), and of their practical use.
TOPICSTypical topics of interest include (but are not limited to):
PROCEEDINGSProceedings will be published by Springer-Verlag in the Lecture Notes on Artificial Intelligence series.
OTHER EVENTSFroCoS'07 will be collocated with FTP'07 (Workshop on First-order Theorem Proving)
PAPER SUBMISSIONThe programme committee seeks high-quality submissions that are original and not submitted for publication elsewhere. All submissions must be received (in PS or PDF only) by 30th April, 2007, and should be electronically submitted via the form available at the FroCoS'07 web page. Papers should be written in English, and should be formatted according to the Springer LNCS style (with standard margins). There are two categories of submission:
A. Regular papers. Submissions should not
exceed 15 pages including figures, references, etc., and should
contain original research, and sufficient detail to assess the
merits and relevance of the contribution.
B. Tool descriptions. Submissions should not exceed 8 pages, and should describe the implemented tool and its novel features.
Programme ChairFrank Wolter, Liverpool, UK
Conference ChairBoris Konev, Liverpool, UK