International Symposium on Revision Calculus and Applications
Revision Calculus is an emerging subject of research focusing on the development of logical inference systems for handling dynamic changes and revisions as well as reasoning with first-order languages. Such formal systems can be used for software testing and specification revision, knowledgebase upgrade and maintenance, and formalizing the processes of making conjectures and refutations and refining theories in scientific research and discovery.
The international symposium RCA '09 aims at bringing together leading experts, young researchers, and software developers to review, present, and discuss new results, research progress, and the current state of the art on revision calculus and its applications in science, engineering, technology, and software development.