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

News

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

Sava Krstic
Roberto Sebastiani
Viorica Sofronie-Stokkermans (joint session with FTP'07)
Michael Zakharyaschev

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.

FroCoS workshop series homepage

Maintained by Boris Konev, B.Konev@csc.liv.ac.uk. Last updated July 2007.