posted by organizer: lanese || 2488 views || tracked by 6 users: [display]

FACS 2014 : 11th International Symposium on Formal Aspects of Component Software

FacebookTwitterLinkedInGoogle


Conference Series : Formal Aspects of Component Software
 
Link: http://facs2014.cs.unibo.it/index.html
 
When Sep 10, 2014 - Sep 12, 2014
Where Bertinoro, Italy
Abstract Registration Due Jun 9, 2014
Submission Deadline Jun 16, 2014
Notification Due Jul 21, 2014
Final Version Due Aug 8, 2014
 

Call For Papers

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
- formal aspects of services, service oriented architectures, business processes, cloud computing, ensembles, or similar programming artifacts
- 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
- stochastic techniques for modelling and verification
- simulation techniques for complex networks of interacting components
- 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
- tools supporting the formal methods for components and services

We solicit high-quality submissions reporting on (as related to topics above):

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 2014, 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.

All accepted papers will appear in the pre-proceedings of FACS 2014. 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 Elsevier's Science of Computer Programming journal.

Related Resources

AMAI 2021   Annals of Mathematics and Artificial Intelligence Special Issue on Theoretical and Practical Aspects of Unification
ICAASE 2020   The 4th International Conference on Advanced Aspects of Software Engineering
FM 2021   Formal Methods 2021
ASE 2021   The 36th IEEE/ACM International Conference on Automated Software Engineering
SA-TTA 2021   The 9th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) at the 36th ACM/SIGAPP Symposium On Applied Computing (SAC 2021)
SANER 2021   The 28th edition of the IEEE International Conference on Software Analysis, Evolution and Reengineering
SEKE 2021   The Thirty Third International Conference on Software Engineering and Knowledge Engineering
SOFSEM 2021   47th International Conference on Current Trends in Theory and Practice of Computer Science
CCBD--Ei Compendex & Scopus 2021   2021 The 8th International Conference on Cloud Computing and Big Data (CCBD 2021)--Ei Compendex & Scopus
ICSESS 2021   2021 12th International Conference on Software Engineering and Service Science