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

fan zhang nwpuzhangfan
Thu Jan 19 04:34:40 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