Atlas home || Conferences | Abstracts | about Atlas
Host: LORIA
Homepage: http://www.loria.fr/conferences/frocos2000/
Email: frocos@loria.fr
Description:
In various areas of computer science, such as logic, computation, program development and proof, artificial intelligence, 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 for the combination and integration of special systems has been initiated in many
areas. The two previous international workshops on ``Frontiers of Combining Systems'' were held in Munich (1996) and in Amsterdam (1998). Like its
predecessors, FroCoS'2000 is intended to offer a common forum for research activities in the general area of combination and integration of systems, and on their
practical use.
Topics
Suggested, but not exclusive topics of interest for the workshop are:
combination of logics combination of constraint solving techniques, of decision procedures, of term rewriting systems combination of deduction systems and computer algebra integration of decision procedures and other solving processes into constraint programming and deduction systems modelisation of hybrid systems logic modelling of multi-agent systems.
Date received: June 11, 1999
© 2008 Atlas Conferences Inc.