[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] Second Call for Papers: International Symposium on RevisionCalculus and Applications (RCA '09)

RCA '09

International Symposium on Revision Calculus and Applications

Nanjing, China, October 12-14, 2009


Second Call for Papers

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. RCA '09 is organized jointly by Beihang University (China), Nanjing University (China), and Southern Polytechnic State University (USA).

Invited Speakers
* Henk Barendregt (Radboud University, Nijmegen, The Netherlands), http://www.cs.ru.nl/~henk/
* Jean Gallier (University of Pennsylvania, Philadelphia, USA), http://www.cis.upenn.edu/~jean/
* Wei Li (Beihang University, Beijing, China), http://www.nlsde.buaa.edu.cn/zhuren2.htm

RCA '09 solicits submissions of original research papers (8-10 pages) and progress reports (4-6 pages) on all aspects of revision calculus and its applications. Specific topics for the symposium include, but are not limited to:
* Formal systems, decision theories, and algorithms for revision calculus
* Resolution and operational approaches to revision
* Modeling languages and software version control with revision calculus
* Software testing and debugging based on revision calculus
* Revision calculus for semantic web, knowledge and knowledgebase processing
* Software tools for revolution and evolution studies
* Automated learning and adaptive reasoning with revision calculus
* Formalization and specification of processes of scientific discovery
* Philosophy and methodology of revision calculus
* Framework for scientific language environments
* Revision calculus for education
Full papers and progress reports should be written in English and submitted using PDF format. Please refer to the Springer LNCS web site for the paper formatting instructions (http://www.springer.com/computer/lncs?SGWID=0-164-2-72376-0) and the RCA '09 web site for submission instructions (http://nlsde.buaa.edu.cn/rca09/submission.html). All submissions will be peer-reviewed by members of the RCA '09 Program Committee and external referees.

The proceedings of RCA '09 will be printed and distributed at the symposium. Selected papers presented at the symposium will be published in relevant journals.

Important Dates
Submission deadline: June 30, 2009.
Acceptance notification: August 31, 2009
Camera-ready copy due: September 20, 2009
Symposium taking place: October 12-14, 2009

Conference Chairs
Fangmin Song (Nanjing University, China)
Dongming Wang (UPMC-CNRS, France and Beihang University, China)

Program Committee
Andy J. Wang (Southern Polytechnic State University, USA), Chair
James Delgrande (Simon Fraser University, Canada)
Jose M. Garrido (Kennesaw State University, USA)
Andreas Herzig (Universite Paul Sabatier, France)
Jingshan Huang (University of South Alabama, USA)
Shier Ju (Sun Yat-sen University, China)
Peng Chiou Lam (Edith Cowan University, Australia)
Huaizhong Li (Wenzhou University, China)
Xiaoshan Li (University of Macau, Macau, China)
Fangzhen Lin (Hong Kong University of Science and Technology, China)
Zuoquan Lin (Peking University, China)
Fenrong Liu (Tsinghua University, China)
Shangmin Luan (Chinese Academy of Sciences, China)
Shilong Ma (Beihang University, China)
Thomas Meyer (Meraka Institute, South Africa)
Sarah North (Clark Atlanta University, USA)
Maurice Pagnucco (University of New South Wales, Australia)
Svetlana Peltsverger (Southern Polytechnic State University, USA)
Han Reichgelt (Southern Polytechnic State University, USA)
Ashraf Saad (Armstrong Atlantic State University, USA)
Zhongyuan Sun (Renmin University of China, China)
Frank Tsui (Southern Polytechnic State University, USA)
Timothy Wang (Kennesaw State University, USA)
Jitian Xiao (Edith Cowan University, Australia)
Dongmo Zhang (University of Western Sydney, Australia)
Wujia Zhu (Nanjing University of Aeronautics and Astronautics, China)

Publicity Chair
Jie Luo (Beihang University, China)

Local Arrangements
Fangmin Song (Nanjing University, China), Chair
Dongsheng Xie (Nanjing University, China)

Tourist Information
RCA '09 will organize a tour to Nanjing, Yangzhou and surrounding area.