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 [email protected] 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 _______________________________________________ IEEE Communications Society Tech. Committee on Computer Communications (TCCC) - for discussions on computer networking and communication. [email protected] https://lists.cs.columbia.edu/cucslists/listinfo/tccc
