Liverpool port
   FroCoS 2007 - 6th International Symposium on Frontiers of Combining Systems
Liverpool, UK, September 10-12 2007

Main page



(Preliminary) programme

Call for papers

Invited speakers

Accepted papers

Important dates


Travel and accommodation


Related events

Contact us

Call for papers

Text version PDF version


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 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.


Typical topics of interest include (but are not limited to):
  • combinations of logics such as combined predicate, temporal, modal, or epistemic logics;
  • combinations and modularity in ontologies
  • combination of decision procedures, of satisfiability procedures, and of constraint solving techniques;
  • combinations and modularity in term rewriting;
  • integration of equational and other theories into deductive systems;
  • combination of deduction systems and computer algebra;
  • integration of data structures into CLP formalisms and deduction processes;
  • hybrid methods for deduction, resolution and constraint propagation
  • hybrid systems in knowledge representation and natural language semantics;
  • combined logics for distributed and multi-agent systems;
  • logical aspects of combining and modularising programs and specifications.


Proceedings will be published by Springer-Verlag in the Lecture Notes on Artificial Intelligence series.


FroCoS'07 will be collocated with FTP'07 (Workshop on First-order Theorem Proving)


The 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.


Abstract submission deadline: 23rd April, 2007
Full paper submission deadline:   30th April, 2007
Notification of acceptance: 5th June, 2007
Camera Ready Copy: 20th June, 2007
Conference: 10-12th September, 2007

Programme Chair

Frank Wolter, Liverpool, UK

Conference Chair

Boris Konev, Liverpool, UK

Programme Committee

Maintained by Boris Konev, updated July 2007.