posted by user: sadegh_rk || 562 views || tracked by 3 users: [display]

FACS 2022 : 18th International Conference on Formal Aspects of Component Software

FacebookTwitterLinkedInGoogle


Conference Series : Formal Aspects of Component Software
 
Link: https://facs-conference.github.io/2022/
 
When Nov 10, 2022 - Nov 11, 2022
Where Oslo, Norway (online)
Abstract Registration Due Jun 24, 2022
Submission Deadline Jul 4, 2022
Notification Due Sep 5, 2022
Final Version Due Sep 26, 2022
Categories    formal methods   cyber-physical systems   software
 

Call For Papers

FOLLOW US
All updates on https://twitter.com/facs_conf.

INVITED SPEAKERS

- Christel Baier, TU Dresden, Germany
- Renato Neves, University of Minho, Portugal
- Ina Schaefer, Karlsruhe IT, Germany
- Volker Stolz, Western Norway University of Applied Science, Norway

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.


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

Please use the Easychair link below to submit your paper:
https://easychair.org/conferences/?conf=facs2022

Each paper will undergo a thorough review process. Submissions will be judged
on the basis of significance, relevance, correctness, originality, and
clarity. 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 or Microsoft
Word, adhering to the Springer LNCS format and Guidelines. Submissions must
be in PDF format. For further information please visit
http://www.springer.com/lncs.

All accepted papers must be presented at the conference. Their authors must
be prepared to sign a copyright transfer statement. At least one author of
each accepted paper must register to the conference by the early registration
date, and present the paper.

  The authors of a selected subset of accepted papers will be invited to submit
  an extended versions of their papers to a special issue in the Formal Aspects
  of Computing: Applicable Formal Methods (FAC) journal:
    https://dl.acm.org/journal/fac.

= 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).


PROGRAM COMMITTEE
Farhad Arbab, CWI and Leiden University, Netherlands
Kyungmin Bae, Pohang University of Science and Technology, Korea
Guillermina Cledou, University of Minho, Portugal
Peter Csaba Ölveczky, University of Oslo, Norway
Brijesh Dongol, University of Surrey, UK
Clemens Dubslaff, Technische Universität Dresden, Germany
Marie Farrell, National University of Ireland Maynooth, Irland
Samir Genaim, IMDEA, Spain
Fatemeh Ghassemi, University of Tehran, Iran
Ludovic Henrio, INRIA, Lyon, France
Sung-Shik Jongmans, Open University and CWI, Netherlands
Olga Kouchnarenko, University of Franche-Comté, France
Ivan Lanese, University of Bologna, Italy
Zhiming Liu, Southwest University, China
Mieke Massink, CNR ISTI, Italy
Jacopo Mauro, University of Southern Denmark, Denmark
Hernán Melgratti, University of Buenos Aires, Argentina
Catuscia Palamidessi, INRIA Saclay, France
Corina Pasareanu, CMU, USA
José Proença, Polytechnic Institute of Porto, Portugal
Violet Ka I Pun, University of Oslo, Norway
Gwen Salaün, Université Grenoble Alpes, France
Camilo Rocha, Pontificia Universidad Javeriana Cali, Colombia
Luís Soares Barbosa, University of Minho, Portugal
Silvia Lizeth Tapia Tarifa, University of Oslo, Norway
Emilio Tuosto, Gran Sasso Science Institute, Italy
Anton Wijs, Eindhoven University of Technology, Netherlands
Shoji Yuen, Nagoya University, Japan


STEERING COMMITTEE
Farhad Arbab, CWI and Leiden University, Netherlands
Kyungmin Bae, Pohang University of Science and Technology, Korea
Peter Csaba Ölveczky, University of Oslo, Norway
Sung-Shik Jongmans, Open University and CWI, Netherlands
Zhiming Liu, Southwest University, China
Markus Lumpe, Swinburne University of Technology, Australia
Eric Madelaine, INRIA Sophia Antipolis, France
Corina Pasareanu, CMU, USA
José Proença, Polytechnic Institute of Porto & INESC TEC, Portugal
Gwen Salaün, Université Grenoble Alpes, France
Luís Soares Barbosa, University of Minho, Portugal
Anton Wijs, Eindhoven University of Technology, Netherlands

PROGRAM CHAIRS
Silvia Lizeth Tapia Tarifa, University of Oslo, Norway
José Proença, Polytechnic Institute of Porto & INESC TEC, Portugal

ORGANISING COMMITTEE
Rudolf Schlatte, University of Oslo, Norway
Silvia Lizeth Tapia Tarifa, University of Oslo, Norway
José Proença, Polytechnic Institute of Porto & INESC TEC, Portugal

Related Resources

IEEE-Ei/Scopus-FSPSE 2022   [IEEE/EI/Scopus]2022 International Conference on Frontiers of Signal Processing and Software Engineering (FSPSE 2022)
FTSCS 2022   8th International Workshop on Formal Techniques for Safety-Critical Systems
SEFM 2022   20th International Conference on Software Engineering and Formal Methods
FM 2023   Formal Methods
AI 2022   8th International Conference on Artificial Intelligence and Applications
SBMF 2022   25th Brazilian Symposium on Formal Methods
ICSE 2023   45th International Conference on Software Engineering
ICAASE 2022   The 5th International Conference on Advanced Aspects of Software Engineering
OVERLAY 2022   4th Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
SANER 2023   The 30th IEEE International Conference on Software Analysis, Evolution and Reengineering