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


  • Have a look at these photos!
  • A preliminary programme is now a vailable.
  • Registration is open!
    Early registration discount expires on 31 July 2007!!

Invited speakers


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

FroCoS 2007

In 2007, FroCoS will be held for the sixth time. The first FroCoS workshop was hold in Munich (1996) followed by Amsterdam (1998), Nancy (2000), Santa Margherita Ligure (2002), and Vienna (2005). In 2004 and 2006 FroCoS was a part of the IJCAR, International Joint Conference on Automated Reasoning.

Maintained by Boris Konev, updated July 2007.