FroCoS 2005 - 5th International Workshop on Frontiers of Combining Systems
Vienna, Austria, September 19-21, 2005
|FroCoS 2005 general info:||home | cfp (txt, pdf) | poster (more) | dates | pc | oc | invited talks | submission | accepted papers | talks | program (txt) | call for participation (txt) | sponsors | abstracts | proceedings|
|FroCoS 2005 local info:||notes (on registration, accomodation, travelling) | registration | accomodation | local information (venue, registration, internet, technical facilities) | social events | local information about Vienna (public transport, restaurants, etc.) | participants | photos|
|FroCoS general info:||FroCoS homepage | FroCoS workshop series | Combination Methods in AR|
* Deadline for early registration: September 1, 2005 * Deadline for non-cash payments: September 11, 2005 * FroCoS 2005: September 19-21, 2005
BACKGROUND AND SCOPE
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 specialized formalisms and inference mechanisms for special tasks. In order to be usable in practice, these specialized 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 modularization of complex systems has been initiated in many areas. The International Workshop 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 workshops were held in Munich (1996), Amsterdam (1998), Nancy (2000) and Santa Margherita Ligure (2002). In 2004, FroCoS joined IJCAR 2004, the 2nd International Joint Conference on Automated Reasoning. Like its predecessors, FroCoS 2005 offers a common forum for research activities in the general area of combination, modularization and integration of systems (with emphasis on logic-based ones), and of their practical use.
Typical topics of interest to FroCoS include combination of logics; 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; model/problem analysis and decomposition; hybrid methods for deduction, resolution and constraint propagation; hybrid systems in computational linguistics, knowledge representation, natural language semantics, and human computer interaction; logical modelling of multi-agent systems; logical aspects of combining and modularizing programs and specifications.
PROGRAM AND PROCEEDINGS
FroCoS 2005 will feature the following 4 invited talks.
Moreover the program includes 1 tutorial and 14 regular contributed talks covering a broad range of topics. The scientific part is complemented by an interesting social program. For details as well as further comprehensive information about the event please consult the website (or go directly to program, registration, accomodation and travelling, important notes and hints)
The proceedings of FroCoS 2005 are published as a volume of LNAI (Springer) and will be available at the conference.
* Alessandro Armando (U Genova) * Franz Baader (TU Dresden) * Clark W. Barrett (NYU New York) * Frédéric Benhamou (LINA, U Nantes) * Michel Bidoit (LSV, CNRS & ENS Cachan) * Jacques Calmet (U Karlsruhe) * Jürgen Giesl (RWTH Aachen) * Bernhard Gramlich (chair) (TU Wien) * Deepak Kapur (UNM Albuquerque) * Maarten Marx (U Amsterdam) * Joachim Niehren (INRIA Futurs, U Lille) * Christophe Ringeissen (LORIA-INRIA Nancy) * Manfred Schmidt-Schauss (U Frankfurt) * Cesare Tinelli (U Iowa) * Ashish Tiwari (SRI Menlo Park) * Frank Wolter (U Liverpool)
FroCoS 2005 web site: http://www.logic.at/frocos05/