Conference Information
FACS 2022: International Conference on Formal Aspects of Component Software
https://facs-conference.github.io/2022/
Submission Date:
2022-07-18 Extended
Notification Date:
2022-09-05
Conference Date:
2022-11-10
Location:
Oslo, Norway
Years:
18
Viewed: 5935   Tracked: 0   Attend: 0

Call For Papers
Scope

FACS 2022 is concerned with how formal methods can be applied to component-based software and system development. 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.

Topics

The conference seeks to address the applications of formal methods in all aspects of software components and services. FACS aims at developing a community-based understanding of relevant and emerging research problems through formal paper presentations and lively discussions. FACS 2022 welcomes contributions including but not limited to:

    Formal methods, models, and languages for components and services, including
        verification techniques (e.g., model checking, type systems, testing, runtime analysis),
        probabilistic techniques,
        (co-)simulation techniques,
        composition and deployment,
        component interaction,
        software variability,
        QoS and other non-functional properties (e.g., trust, compliance, security, privacy);
    Formal aspects of concrete component-based systems, including
        service-oriented architectures,
        business processes,
        cloud or edge computing,
        real-time/safety-critical systems,
        hybrid and cyber physical systems,
        quantum systems,
        components that use artificial intelligence;
    Tools supporting formal methods for components and services;
    Case studies and experience reports over the above topics.
Last updated by Dou Sun in 2022-06-26
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
cab1ATVAInternational Symposium on Automated Technology for Verification and Analysis2022-05-012022-06-242022-10-25
bb1ISITInternational Symposium on Information Theory2019-01-202019-03-312019-07-07
IWOMPInternational Workshop on OpenMP2022-05-202022-06-172022-09-20
ARCInternational Symposium on Applied Reconfigurable Computing2021-03-152021-04-162021-06-29
NSS/MICNuclear Science Symposium and Medical Imaging Conference2015-05-05 2015-10-31
ICSTEInternational Conference on Software Technology and Engineering2015-07-252015-08-102015-09-19
b4SSRRInternational Symposium on Safety, Security, and Rescue Robotics2014-07-312014-09-042014-10-27
ICSPIPPRInternational Conference on Signal Processing, Image Processing and Pattern Recognition2022-05-04 2022-06-13
ISMICTInternational Symposium on Medical Information and Communication Technology2022-02-152022-03-152022-05-02
Related Journals
CCFFull NameImpact FactorPublisherISSN
Programming and Computer Software0.105Springer0361-7688
Optimization Methods and Software1.336Taylor & Francis1055-6788
Advances in Engineering Software4.141Elsevier0965-9978
bInformation and Software Technology2.730Elsevier0950-5849
Environmental Modelling & Software5.288Elsevier1364-8152
International Journal of Control, Automation, and Systems3.314Spring1598-6446
cLogical Methods in Computer Science Logical Methods in Computer Science1860-5974
Journal of Logical and Algebraic Methods in Programming0.685Elsevier2352-2208
cInternational Journal of Information and Computer SecurityInderscience1744-1765
cBehaviour & Information Technology1.388Taylor & Francis0144-929X
Recommendation