posted by user: mengsun || 5332 views || tracked by 26 users: [display]

FACS 2013 : The 10th International Symposium on Formal Aspects of Component Software

FacebookTwitterLinkedInGoogle


Conference Series : Formal Aspects of Component Software
 
Link: http://www.jxcsst.com/facs2013/
 
When Oct 28, 2013 - Oct 30, 2013
Where Nanchang, China
Abstract Registration Due Jul 8, 2013
Submission Deadline Jul 15, 2013
Notification Due Sep 16, 2013
Final Version Due Oct 7, 2013
Categories    formal methods   software
 

Call For Papers

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
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

Related Resources

FACS 2017   14th International Conference on Formal Aspects of Component Software
IJESA 2017   International Journal of Embedded Systems and Applications
LICS 2018   Logic in Computer Science
FM 2018   22nd International Symposium on Formal Methods
OSDI 2018   13th USENIX Symposium on Operating Systems Design and Implementation
ICSA 2018   International Conference on Software Architecture
SCSSS 2018   6th Scandinavian Conference System and Software Safety
ICIST 2018   24th International Conference on Information and Software Technologies
ICSE Workshops 2018   ACM Workshops@International Conference on Software Engineering
CONCUR 2018   29th International Conference on Concurrency Theory