<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<title></title>
</head>
<body>
<div name="messageBodySection">
<div dir="auto">---------------------------------------------------------------------<br />
First Call for Papers<br />
FACS'22<br />
18th International Conference on Formal Aspects of Component Software<br />
Oslo, Norway, 10-11 November, 2022 (online)<br />
https://facs-conference.github.io/2022<br />
---------------------------------------------------------------------<br />
<br />
<br />
FOLLOW US<br />
All updates on https://twitter.com/facs_conf.<br />
<br />
IMPORTANT DATES<br />
Abstract submission deadline: 24 Jun, 2022 (AoE)<br />
Paper submission deadline: 4 Jul, 2022 (AoE)<br />
Notification: 5 Sep, 2022 (AoE)<br />
Final version due: 26 Sep, 2022 (AoE)<br />
<br />
INVITED SPEAKERS<br />
<br />
- Christel Baier, TU Dresden, Germany<br />
- Renato Neves, University of Minho, Portugal<br />
- Ina Schaefer, Karlsruhe IT, Germany<br />
- Volker Stolz, Western Norway University of Applied Science, Norway <br />
<br />
SCOPE<br />
<br />
FACS 2022 is concerned with how formal methods can be applied to component-<br />
based software and system development. Formal methods have provided <br />
foundations for component-based software through research on mathematical <br />
models for components, composition and adaptation, and rigorous approaches to <br />
verification, deployment, testing, and certification.<br />
<br />
TOPICS<br />
<br />
The conference seeks to address the applications of formal methods in all<br />
aspects of software components and services. FACS aims at developing a<br />
community-based understanding of relevant and emerging research problems<br />
through formal paper presentations and lively discussions. FACS 2022 welcomes <br />
contributions including but not limited to:<br />
<br />
- Formal methods, models, and languages for components and services, including<br />
+ verification techniques (e.g., model checking, type systems, testing, <br />
runtime analysis),<br />
+ probabilistic techniques,<br />
+ (co-)simulation techniques,<br />
+ composition and deployment,<br />
+ component interaction,<br />
+ software variability,<br />
+ QoS and other non-functional properties (e.g., trust, compliance, <br />
security, privacy);<br />
- Formal aspects of concrete component-based systems, including<br />
+ service-oriented architectures,<br />
+ business processes,<br />
+ cloud or edge computing,<br />
+ real-time/safety-critical systems,<br />
+ hybrid and cyber physical systems,<br />
+ quantum systems,<br />
+ components that use artificial intelligence;<br />
- Tools supporting formal methods for components and services;<br />
- Case studies and experience reports over the above topics.<br />
<br />
<br />
SUBMISSIONS<br />
<br />
We solicit high-quality submissions reporting on:<br />
<br />
A - full papers: original research, applications and experiences, or surveys <br />
16 pages);<br />
B - short papers: tools and demonstrations (6 pages);<br />
C - journal-first papers (4 pages).<br />
<br />
Please use the Easychair link below to submit your paper:<br />
https://easychair.org/conferences/?conf=facs2022<br />
<br />
Each paper will undergo a thorough review process. Submissions will be judged <br />
on the basis of significance, relevance, correctness, originality, and <br />
clarity. Accepted papers from all categories will be published by Springer, <br />
in the Lecture Notes for Computer Science series. The page limit excludes <br />
references and appendices. Papers should be prepared in LaTeX or Microsoft <br />
Word, adhering to the Springer LNCS format and Guidelines. Submissions must <br />
be in PDF format. For further information please visit<br />
http://www.springer.com/lncs.<br />
<br />
All accepted papers must be presented at the conference. Their authors must <br />
be prepared to sign a copyright transfer statement. At least one author of <br />
each accepted paper must register to the conference by the early registration <br />
date, and present the paper.<br />
<br />
<br />
= Full and tool/short publications (A, B) =<br />
<br />
All submissions in categories A and B must be original, unpublished, and not <br />
submitted concurrently for publication elsewhere. A special journal issue is <br />
planned for extended versions of selected papers from categories A and B from <br />
FACS 2022.<br />
<br />
= Journal-first publications (C) =<br />
<br />
Submissions in category C must be 4-page abstracts of journal papers <br />
published after January 1st, 2021. Authors of published papers in <br />
high-quality journals can submit a proposal to present their journal paper at <br />
FACS. The journal paper must adhere to the following criteria:<br />
- It is clearly in the scope of FACS.<br />
- It is recent: only journal papers available after January 1st, 2021 (online <br />
or printed) can be presented.<br />
- It reports new research results that significantly extend prior work. As <br />
such, the journal paper does not simply extend prior work with material <br />
presented for completeness only (such as omitted proofs, algorithms, minor <br />
enhancements, or empirical results).<br />
- It has not been presented at, and is not under consideration for,<br />
journal-first programs of other similar conferences or workshops.<br />
Journal-first submissions must be marked as such in EasyChair, and they must <br />
explicitly include pointers to the journal publication (such as a DOI).<br />
<br />
<br />
PROGRAM COMMITTEE<br />
Farhad Arbab, CWI and Leiden University, Netherlands<br />
Kyungmin Bae, Pohang University of Science and Technology, Korea<br />
Guillermina Cledou, University of Minho, Portugal<br />
Peter Csaba Ölveczky, University of Oslo, Norway<br />
Brijesh Dongol, University of Surrey, UK<br />
Clemens Dubslaff, Technische Universität Dresden, Germany<br />
Marie Farrell, National University of Ireland Maynooth, Irland<br />
Samir Genaim, IMDEA, Spain<br />
Fatemeh Ghassemi, University of Tehran, Iran<br />
Ludovic Henrio, INRIA, Lyon, France<br />
Sung-Shik Jongmans, Open University and CWI, Netherlands<br />
Olga Kouchnarenko, University of Franche-Comté, France<br />
Ivan Lanese, University of Bologna, Italy<br />
Zhiming Liu, Southwest University, China<br />
Mieke Massink, CNR ISTI, Italy<br />
Jacopo Mauro, University of Southern Denmark, Denmark<br />
Hernán Melgratti, University of Buenos Aires, Argentina<br />
Catuscia Palamidessi, INRIA Saclay, France<br />
Corina Pasareanu, CMU, USA<br />
José Proença, Polytechnic Institute of Porto, Portugal<br />
Violet Ka I Pun, University of Oslo, Norway<br />
Gwen Salaün, Université Grenoble Alpes, France<br />
Camilo Rocha, Pontificia Universidad Javeriana Cali, Colombia<br />
Luís Soares Barbosa, University of Minho, Portugal<br />
Silvia Lizeth Tapia Tarifa, University of Oslo, Norway<br />
Emilio Tuosto, Gran Sasso Science Institute, Italy<br />
Anton Wijs, Eindhoven University of Technology, Netherlands<br />
Shoji Yuen, Nagoya University, Japan<br />
<br />
<br />
STEERING COMMITTEE <br />
Farhad Arbab, CWI and Leiden University, Netherlands<br />
Kyungmin Bae, Pohang University of Science and Technology, Korea<br />
Peter Csaba Ölveczky, University of Oslo, Norway<br />
Sung-Shik Jongmans, Open University and CWI, Netherlands<br />
Zhiming Liu, Southwest University, China<br />
Markus Lumpe, Swinburne University of Technology, Australia<br />
Eric Madelaine, INRIA Sophia Antipolis, France<br />
Corina Pasareanu, CMU, USA<br />
José Proença, Polytechnic Institute of Porto & INESC TEC, Portugal<br />
Gwen Salaün, Université Grenoble Alpes, France<br />
Luís Soares Barbosa, University of Minho, Portugal<br />
Anton Wijs, Eindhoven University of Technology, Netherlands<br />
<br />
PROGRAM CHAIRS<br />
Silvia Lizeth Tapia Tarifa, University of Oslo, Norway<br />
José Proença, Polytechnic Institute of Porto & INESC TEC, Portugal<br />
<br />
ORGANISING COMMITTEE<br />
Rudolf Schlatte, University of Oslo, Norway<br />
Silvia Lizeth Tapia Tarifa, University of Oslo, Norway<br />
José Proença, Polytechnic Institute of Porto & INESC TEC, Portugal<br />
<br />
<br />
More information: https://facs-conference.github.io/2022<br /></div>
</div>
<div name="messageSignatureSection"><br />
<div class="matchFont">
<div dir="auto">--<br />
José Proença<br />
https://jose.proenca.org</div>
</div>
</div>
</body>
</html>