FACS 2013: CALL FOR PAPERS The 10th International Symposium on Formal Aspects of Component Software Nanchang, China, October 28-30, 2013 http://www.jxcsst.com/facs2013/ Scope ===== Component-based software development is a paradigm that has been proposing sound engineering principles and techniques for coping with the complexity of software-intensive systems. However, many challenging conceptual and technological issues remain that require further research. Moreover, the advent of service-oriented and cloud computing has brought to the fore new dimensions, such as quality of service and robustness to withstand inevitable faults, which require established concepts to be revisited and new ones to be developed in order to meet the opportunities offered by those architectures. As software applications become themselves components of wider socio-technical systems, further challenges arise from the need to create and manage interactions, which can evolve in time and space, and rely on the use of resources that can change in non-computable ways. FACS 2013 is concerned with how formal methods can be used to make component-based development fit for the new architectures of today and the systems that are now pervading the socio-economic world. Formal methods have provided foundations for component-based software through research on mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification. Whilst those avenues still need to be further explored, time is also ripe to bring new techniques to the fore, such as those based on stochastic models and simulation. Topics of Interest ============ The symposium seeks to address the development and application of formal methods in all aspects of software components and services. Specific topics include, but are not limited to: -- formal models for software components and their interaction -- stochastic techniques for modeling and verification -- simulation techniques for complex networks of interacting components -- formal aspects of services, service oriented architectures, business processes, and cloud computing -- design and verification methods for software components and services -- composition and deployment: models, calculi, languages -- formal methods and modeling languages for components and services -- model based and GUI based testing of components and services -- models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services -- components for real-time, safety-critical, secure, and/or embedded systems -- industrial or experience reports, and case studies -- update and reconfiguration of component and service architectures -- component systems evolution and maintenance -- autonomic components and self-managed applications -- formal and rigorous approaches to software adaptation and self-adaptive systems Call for Papers ========= We solicit high-quality submissions reporting on (as related to topics mentioned here): [A] - original research contributions (18 pages max); [B] - applications and experiences (18 pages max); [C] - surveys, comparisons, and state-of-the-art reports (18 pages max); [D] - tool papers (6 pages max); In addition, we solicit submissions to the Doctoral Track of FACS 2013, in the form of abstracts (3 pages max) concisely capturing work in progress, related topic, context, research questions, envisaged contributions, and partial results. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Papers should be formatted according to the guidelines for Springer LNCS papers. Important Dates =========== -- Abstract submission: July 8, 2013 -- Paper submission: July 15, 2013 -- Notification: September 16, 2013 -- Final version due: October 7, 2013 Publications ======== All accepted papers will appear in the pre-proceedings of FACS 2012. Revised versions of accepted papers in the categories A-D above will appear in the post-proceedings of the symposium that will be published as a volume in Springer's LNCS series. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to appear in a special issue of the Science of Computer Programming journal. Keynote Speakers =========== -- ZHOU Chaochen (http://sourcedb.cas.cn/sourcedb_is_cas/yw/zjrc/200908/t20090818_2415411.html), Software Institute, Chinese Academy of Sciences -- Axel Legay (http://people.irisa.fr/Axel.Legay/), IRISA/INRIA, France -- Jayadev Misra (http://www.cs.utexas.edu/~misra/), University of Texas at Austin, US Organization ======== -- Conference Chair: Jinyun Xue, Jiangxi Normal University, China -- PC Chairs: José Luiz Fiadeiro, Royal Holloway, UK Zhiming Liu, UNU-IIST, Macau SAR, China -- Publicity Chair : Meng Sun, Peking University, China -- PC Members: Farhad Arbab, CWI and Leiden University, The Netherlands Christian Attiogbe, University of Nantes, France Luis Barbosa, Universidade do Minho, Portugal Roberto Bruni, University of Pisa, Italy Tevfik Bultan, University of California at Santa Barbara, US Carlos Canal, University of Málaga, Spain Chunqing Chen, HP Labs Singapore Xin Chen, Nanjing University Zhenbang Chen, National Laboratory for Parallel and Distributed Processing, China Van Hung Dang, University of Engineering and Technology, Vietnam Zhenhua Duan, Xidan University, China Marcelo Frias, Instituto Tecnologico Buenos Aires, Argentina Lindsay Groves, Victoria University of Wellington, New Zealand Rolf Hennicker, Ludwig-Maximilians-Universität München, Germany Axel Legay, IRISA/INRIA, Rennes Jing Liu, East China Normal University Shaoying Liu, Hosei University, Japan Antónia Lopes, University of Lisbon, Portugal Markus Lumpe, Swinburne University of Technology, Australia Eric Madelaine, INRIA Tom Maibaum, McMaster University, Canada Dominique Mery, Université de Lorraine, France Peter Olveczky, University of Oslo, Norway Corina Pasareanu, CMU/NASA, US Frantisek Plasil, Czech Republic Pascal Poizat, Université Paris Ouest Nanterre La Défense, France Shaz Qadeer, Microsoft Research Markus Roggenbach, Swansea University Gwen Salaün, Grenoble INP - INRIA - LIG, France Bernhard Schätz, TU München, Germany Marjan Sirjani, University, Reykjavik, Iceland Meng Sun, Peking University, China Neil Walkinshaw, The University of Leicester, UK Farn Wang, National Taiwan University, Taiwan Gianluigi Zavattaro, University of Bologna, Italy Naijun Zhan, Institute of Software, China Jianjun Zhao, Shanghai Jiao Tong University