Conference Information
FACS 2016 : International Conference on Formal Aspects of Component Software
Submission Date:
2016-07-04 Extended
Notification Date:
Conference Date:
Besancon, France
Viewed: 1344   Tracked: 0   Attend: 0

Conference Location
Call For Papers
The component-based software development approach has emerged as a promising paradigm to cope with the complexity of present-day software systems by bringing sound engineering principles into software engineering. However, many challenging conceptual and technological issues still remain in component-/service-based software development theory and practice. Moreover, the advent of cloud computing, cyber-physical systems, and of the Internet of things has brought to the fore new dimensions, such as quality of service, reconfiguration 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.

FACS 2016 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification.

Topics of interest

The conference seeks to address the applications of formal methods in all aspects of software components and services, with a particular focus on cyber-physical systems and the Internet of things. Specific topics include, but are not limited to:

    formal models for software components and their interaction
    formal aspects of services, service oriented architectures, and business processes
    formal methods and modeling languages for components and services
    model based and GUI based testing of components and services
    composition and deployment: models, calculi, languages
    component/service re-engineering and reuse
    models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services
    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

Application areas include cyber-physical systems, as well as real-time, safety-critical, secure and/or embedded systems.
Last updated by Dou Sun in 2016-07-02
Related Publications
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
cab1ATVAInternational Symposium on Automated Technology for Verification and Analysis2017-04-212017-06-152017-10-03
bb1ISITInternational Symposium on Information Theory2018-01-092018-03-312018-06-17
cb2ISPDCInternational Symposium on Parallel and Distributed Computing2018-01-292018-03-202018-06-25
CSCIInternational Conference on Computational Science and Computational Intelligence2017-10-222017-11-022017-12-14
SENSORSIEEE Sensors2017-06-182017-08-102017-10-30
SysIntInternational Conference on System-Integrated Intelligence2013-12-062013-12-202014-07-02
cNordSecNordic Conference on Secure IT Systems2016-06-232016-08-152016-11-02
ARCInternational Symposium on Applied Reconfigurable Computing2017-12-012017-12-192018-05-02
ICAST'International Conference on Adaptive Science & Technology  2015-10-29
Related Journals
CCFFull NameImpact FactorPublisherISSN
Photonic Network Communications0.448Springer1387-974X
Applied Mathematical Modelling2.291ELSEVIER0307-904X
cInformation and Software Technology1.569ELSEVIER0950-5849
ACM Transactions on the Web ACM1559-1131
cLogical Methods in Computer Science Logical Methods in Computer Science1860-5974
Journal of the Association for Information Science and Technology2.322John Wiley & Sons2330-1643
International Journal of Intelligent Autonomous SystemsRational Publication0000-0000
Swarm Intelligence and Numerical MethodsRational Publication0000-0000
bJournal of Systems and Software2.444ELSEVIER0164-1212
bScience China Information SciencesSpringer1674-733X