FACS 2022

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.

This edition will be help online in November 2022, hosted by Oslo University, and already counts with a great line up of invited speakers and a strong program committee.

Check our website: https://facs-conference.github.io/2022.

Important Dates

  • Abstract submission deadline: 24 Jun, 2022 (AoE)
  • Paper submission deadline: 4 Jul, 2022 (AoE)
  • Notification: 5 Sep, 2022 (AoE)
  • Final version due: 26 Sep, 2022 (AoE)

Follow Us

All updates on twitter.com/facs_conf

Invited Speakers

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.

Submissions

We solicit high-quality submissions reporting on:

  • A - full papers: original research, applications and experiences, or surveys (16 pages);
  • B - short papers: tools and demonstrations (6 pages);
  • C - journal-first papers (4 pages).

Accepted papers from all categories will be published by Springer, in the Lecture Notes for Computer Science series. The page limit excludes references and appendices. Papers should be prepared in LaTeX, adhering to the Springer LNCS format and Guidelines. For further information please visit the LNCS page at https://www.springer.com/lncs.

Please use the easychair link below to submit your paper:

Full and tool/short publications (A, B)

All submissions in categories A and B must be original, unpublished, and not submitted concurrently for publication elsewhere. A special journal issue is planned for extended versions of selected papers from categories A and B from FACS 2022.

Journal-first publications (C)

Submissions in category C must be 4-page abstracts of journal papers published after January 1st, 2021. Authors of published papers in high-quality journals can submit a proposal to present their journal paper at FACS. The journal paper must adhere to the following criteria:

  • It is clearly in the scope of FACS.
  • It is recent: only journal papers available after January 1st, 2021 (online or printed) can be presented.
  • It reports new research results that significantly extend prior work. As such, the journal paper does not simply extend prior work with material presented for completeness only (such as omitted proofs, algorithms, minor enhancements, or empirical results).
  • It has not been presented at, and is not under consideration for, journal-first programs of other similar conferences or workshops.
  • It is clearly in the scope of FACS.
  • It is recent: only journal papers available after January 1st, 2021 (online or printed) can be presented.
  • It reports new research results that significantly extend prior work. As such, the journal paper does not simply extend prior work with material presented for completeness only (such as omitted proofs, algorithms, minor enhancements, or empirical results).
  • It has not been presented at, and is not under consideration for, journal-first programs of other similar conferences or workshops.
    • It is clearly in the scope of FACS.
    • It is recent: only journal papers available after January 1st, 2021 (online or printed) can be presented.
    • It reports new research results that significantly extend prior work. As such, the journal paper does not simply extend prior work with material presented for completeness only (such as omitted proofs, algorithms, minor enhancements, or empirical results).
    • It has not been presented at, and is not under consideration for, journal-first programs of other similar conferences or workshops.

    Journal-first submissions must be marked as such in EasyChair, and they must explicitly include pointers to the journal publication (such as a DOI).

        Call for Papers
      
    </h2><hr><h2 id="important-dates">Important Dates</h2><ul><li>Abstract submission deadline: 24 Jun, 2022 (AoE)</li><li>Paper submission deadline: 4 Jul, 2022 (AoE)</li><li>Notification: 5 Sep, 2022 (AoE)</li><li>Final version due: 26 Sep, 2022 (AoE)</li></ul><h2 id="follow-us">Follow Us</h2><p>All updates on <a href="https://twitter.com/facs_conf" target="_blank" rel="nofollow">twitter.com/facs_conf</a></p><h2 id="invited-speakers">Invited Speakers</h2><ul><li><a href="../speakers/christelbaier/" target="_blank" rel="nofollow">Christel Baier</a>, TU Dresden, Germany</li><li><a href="../speakers/renatoneves/" target="_blank" rel="nofollow">Renato Neves</a>, University of Minho, Portugal</li><li><a href="../speakers/inaschaefer/" target="_blank" rel="nofollow">Ina Schaefer</a>, Karlsruhe IT, Germany</li><li><a href="../speakers/volkerstolz/" target="_blank" rel="nofollow">Volker Stolz</a>, Western Norway University of Applied Science, Norway</li></ul><h2 id="scope">Scope</h2><p>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.

    Submissions

    We solicit high-quality submissions reporting on:

    • A - full papers: original research, applications and experiences, or surveys (16 pages);
    • B - short papers: tools and demonstrations (6 pages);
    • C - journal-first papers (4 pages).

    Accepted papers from all categories will be published by Springer, in the Lecture Notes for Computer Science series. The page limit excludes references and appendices. Papers should be prepared in LaTeX, adhering to the Springer LNCS format and Guidelines. For further information please visit the LNCS page at https://www.springer.com/lncs.

    Please use the easychair link below to submit your paper:

    Full and tool/short publications (A, B)

    All submissions in categories A and B must be original, unpublished, and not submitted concurrently for publication elsewhere. A special journal issue is planned for extended versions of selected papers from categories A and B from FACS 2022.

    Journal-first publications (C)

    Submissions in category C must be 4-page abstracts of journal papers published after January 1st, 2021. Authors of published papers in high-quality journals can submit a proposal to present their journal paper at FACS. The journal paper must adhere to the following criteria:

    • It is clearly in the scope of FACS.
    • It is recent: only journal papers available after January 1st, 2021 (online or printed) can be presented.
    • It reports new research results that significantly extend prior work. As such, the journal paper does not simply extend prior work with material presented for completeness only (such as omitted proofs, algorithms, minor enhancements, or empirical results).
    • It has not been presented at, and is not under consideration for, journal-first programs of other similar conferences or workshops.

    Journal-first submissions must be marked as such in EasyChair, and they must explicitly include pointers to the journal publication (such as a DOI).

    Important Dates

    • Abstract submission deadline: 24 Jun, 2022 (AoE)
    • Paper submission deadline: 4 Jul, 2022 (AoE)
    • Notification: 5 Sep, 2022 (AoE)
    • Final version due: 26 Sep, 2022 (AoE)

    Follow Us

    All updates on twitter.com/facs_conf

    Invited Speakers

    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.

    Submissions

    We solicit high-quality submissions reporting on:

    • A - full papers: original research, applications and experiences, or surveys (16 pages);
    • B - short papers: tools and demonstrations (6 pages);
    • C - journal-first papers (4 pages).

    Accepted papers from all categories will be published by Springer, in the Lecture Notes for Computer Science series. The page limit excludes references and appendices. Papers should be prepared in LaTeX, adhering to the Springer LNCS format and Guidelines. For further information please visit the LNCS page at https://www.springer.com/lncs.

    Please use the easychair link below to submit your paper:

    Full and tool/short publications (A, B)

    All submissions in categories A and B must be original, unpublished, and not submitted concurrently for publication elsewhere. A special journal issue is planned for extended versions of selected papers from categories A and B from FACS 2022.

    Journal-first publications (C)

    Submissions in category C must be 4-page abstracts of journal papers published after January 1st, 2021. Authors of published papers in high-quality journals can submit a proposal to present their journal paper at FACS. The journal paper must adhere to the following criteria:

    • It is clearly in the scope of FACS.
    • It is recent: only journal papers available after January 1st, 2021 (online or printed) can be presented.
    • It reports new research results that significantly extend prior work. As such, the journal paper does not simply extend prior work with material presented for completeness only (such as omitted proofs, algorithms, minor enhancements, or empirical results).
    • It has not been presented at, and is not under consideration for, journal-first programs of other similar conferences or workshops.
  • It is clearly in the scope of FACS.
  • It is recent: only journal papers available after January 1st, 2021 (online or printed) can be presented.
  • It reports new research results that significantly extend prior work. As such, the journal paper does not simply extend prior work with material presented for completeness only (such as omitted proofs, algorithms, minor enhancements, or empirical results).
  • It has not been presented at, and is not under consideration for, journal-first programs of other similar conferences or workshops.
    • It is clearly in the scope of FACS.
    • It is recent: only journal papers available after January 1st, 2021 (online or printed) can be presented.
    • It reports new research results that significantly extend prior work. As such, the journal paper does not simply extend prior work with material presented for completeness only (such as omitted proofs, algorithms, minor enhancements, or empirical results).
    • It has not been presented at, and is not under consideration for, journal-first programs of other similar conferences or workshops.

    Journal-first submissions must be marked as such in EasyChair, and they must explicitly include pointers to the journal publication (such as a DOI).

        Call for Papers
      
    </h2><hr><h2 id="important-dates">Important Dates</h2><ul><li>Abstract submission deadline: 24 Jun, 2022 (AoE)</li><li>Paper submission deadline: 4 Jul, 2022 (AoE)</li><li>Notification: 5 Sep, 2022 (AoE)</li><li>Final version due: 26 Sep, 2022 (AoE)</li></ul><h2 id="follow-us">Follow Us</h2><p>All updates on <a href="https://twitter.com/facs_conf" target="_blank" rel="nofollow">twitter.com/facs_conf</a></p><h2 id="invited-speakers">Invited Speakers</h2><ul><li><a href="../speakers/christelbaier/" target="_blank" rel="nofollow">Christel Baier</a>, TU Dresden, Germany</li><li><a href="../speakers/renatoneves/" target="_blank" rel="nofollow">Renato Neves</a>, University of Minho, Portugal</li><li><a href="../speakers/inaschaefer/" target="_blank" rel="nofollow">Ina Schaefer</a>, Karlsruhe IT, Germany</li><li><a href="../speakers/volkerstolz/" target="_blank" rel="nofollow">Volker Stolz</a>, Western Norway University of Applied Science, Norway</li></ul><h2 id="scope">Scope</h2><p>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.

    Submissions

    We solicit high-quality submissions reporting on:

    • A - full papers: original research, applications and experiences, or surveys (16 pages);
    • B - short papers: tools and demonstrations (6 pages);
    • C - journal-first papers (4 pages).

    Accepted papers from all categories will be published by Springer, in the Lecture Notes for Computer Science series. The page limit excludes references and appendices. Papers should be prepared in LaTeX, adhering to the Springer LNCS format and Guidelines. For further information please visit the LNCS page at https://www.springer.com/lncs.

    Please use the easychair link below to submit your paper:

    Full and tool/short publications (A, B)

    All submissions in categories A and B must be original, unpublished, and not submitted concurrently for publication elsewhere. A special journal issue is planned for extended versions of selected papers from categories A and B from FACS 2022.

    Journal-first publications (C)

    Submissions in category C must be 4-page abstracts of journal papers published after January 1st, 2021. Authors of published papers in high-quality journals can submit a proposal to present their journal paper at FACS. The journal paper must adhere to the following criteria:

    • It is clearly in the scope of FACS.
    • It is recent: only journal papers available after January 1st, 2021 (online or printed) can be presented.
    • It reports new research results that significantly extend prior work. As such, the journal paper does not simply extend prior work with material presented for completeness only (such as omitted proofs, algorithms, minor enhancements, or empirical results).
    • It has not been presented at, and is not under consideration for, journal-first programs of other similar conferences or workshops.

    Journal-first submissions must be marked as such in EasyChair, and they must explicitly include pointers to the journal publication (such as a DOI).

    José Proença
    José Proença
    Assistant Researcher

    José Proença is a senior researcher and invited professor at Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, working in the Research Center in Real-Time & Embedded Computing Systems, investigating mainly coordination aspects and formal methods in the context of Cyber-Physical Systems. He is actively involved in a H2020 project and in 2 FCT projects, in one of which as coordinator. He currently belongs to the steering committee of 2 international conferences in fundamental computer science, he chaired the program committee of 5 international research venues with edited proceedings, edited 2 journal volumes, and was the member of 16 program-committees of international venues.