[Tccc] Call for papers FORDS’12 - deadline Feb 10 2012

fan zhang nwpuzhangfan
Wed Jan 18 22:37:15 EST 2012


Our apologies for multiple copies

**********************************************************************
                         Call for Papers
The 2012 International Workshop on  Formal methOds for
        Real-time Distributed Systems (FORDS?12)
                         April 11, 2012
                    Shenzhen, China
**********************************************************************
in conjunction with ISORC 2012: The 15th IEEE International
Symposium on Object/component/service-oriented Real-time
distributed computing

Objectives
The 2012 International Workshop of Formal methOds for
Real-time Distributed Systems aims to provide a forum for
engineers and scientists in academia, industry and government
to present their latest research findings in diverse fields related
to realtime distributed systems. The workshop solicits original
contributions that advance the theories, technologies and
applications of formal methods in realtime distributed systems,
with special interest in the areas of modeling, validating, testing,
monitoring and simulation of large-scale cyber-physical systems.

Scope
Topics of interest include, but are not limited to, the following subjects:
       Novel architectures and micro-architectures for cyber-physical systems
       Hardware/software and algorithm/architecture co-design
       Specification and modeling languages
       Performance simulations, measurement, and evaluations
       Control algorithms and methods for embedded systems
       Specification and analysis of quality of service properties
       Model-based and component-based development technologies
       Verification and validation (V&V) in cyber-physical systems
       Tools for design, analysis, testing and simulation of networked
control systems
       Parallel and distributed algorithms, and applications
       Data intensive applications and Internet-Of-Things
       Specific application case studies, e.g. telematics
applications, transportation networks, manufacturing and robotics.,
etc.

Important Dates
Paper Submissions:                Feb. 10 , 2012
Acceptance Notification:         March 10, 2012
Camera-Ready Papers:          March 17, 2012
Workshop Dates                     April 11, 2012

Submission Guidance:

Please email your manuscript in PDF to isorc2012 at act.buaa.edu.cn
with the subject of " FORDS submission - [AuthorName]". All papers
submitted should not be published or currently under review elsewhere.
Papers should be limited up to 6 pages in IEEE CS format. All papers
will be peer reviewed by PC members. Submitting a paper to the
workshop means that if the paper is accepted, at least one author is
required to register and to present the paper.

Publication:
Papers accepted for FORDS? 12 workshop will be published by the IEEE
Computer Society Press. All accepted papers will be included in IEEE
Xplore and indexed by EI.

Organization
Program Chair: Chao Peng, East China Normal University, China

Program Co-Chairs:
Kokichi FUTATSUGI, Japan Advanced Institute of Science and Technology, Japan
Robert de Simone, INRIA Sophia-Antipolis, France

Program Committee:
Haibin Cai, East China Normal University, China
 Mingsong Chen, East China Normal University, China
 Zhenbang Chen, National University of Defense Technology, China
 Liang Gu, Yale University, USA
 Zonghua Gu, Zhejiang University, China
 Haibin Kan, Fudan University, China
 Weiqiang Kong, Fukuoka IST, Japan
 Guoqiang Li, Shanghai Jiaotong University, China
 Christian Urban, TU Munich, Germany
 Linzhang Wang, Nanjing University, China
 Mengjun Xie, University of Arkansas, USA
 Neal X. Xiong, Georgia State University, USA
 Wei Zheng, BeiJing Jiaotong University, China
 Fan Zhang, Northwestern Polytechnical University, China
 Kuo Zhao, Jilin University, China




More information about the TCCC mailing list