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

Main page

Photos

Registration

(Preliminary) programme

Call for papers

Invited speakers

Accepted papers

Important dates

Venue

Travel and accommodation

Committees

Related events


News

Invited speakers

Background

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, B.Konev@csc.liv.ac.ukLast updated July 2007.