[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