IMPACT SCORE JOURNAL RANKING CONFERENCE RANKING Conferences Journals Workshops Seminars SYMPOSIUMS MEETINGS BLOG LaTeX 5G Tutorial Free Tools
FAACS 2022 : 6th International Workshop on Formal Approaches for Advanced Computing Systems
FAACS 2022 : 6th International Workshop on Formal Approaches for Advanced Computing Systems

FAACS 2022 : 6th International Workshop on Formal Approaches for Advanced Computing Systems

Prague, Czechia
Event Date: September 19, 2022 - September 20, 2022
Submission Deadline: July 01, 2022
Notification of Acceptance: July 29, 2022
Camera Ready Version Due: August 05, 2022




Call for Papers

MOTIVATION AND SCOPE

The way services and information are currently delivered to a multitude of end-users is changing impressively thanks to the availability of new technologies (e.g., IoT connectivity, digitalization, and smart devices) and complex computational models (e.g., autonomic, adaptive computing, and artificial intelligence). Many approaches used nowadays to develop such large, complex, advanced software systems are still not able to ensure the correctness and dependability of the delivered products. Emerging technologies and methodologies gain great popularity while some of their aspects are developed ad-hoc, not rigorously, due to the lack of more formal approaches. Nevertheless, unreliable or unpredictable behavior, such as threats to confidentiality and even financial or health danger, cannot be tolerated as society increasingly depends on them. Assuring safety, security, privacy, performance, trustworthiness and other important qualities of such systems currently represents a challenge that calls for novel rigorous and formal approaches to system design, development, validation, and verification. Indeed, in the digitalized era where physical artifacts are controlled by their Digital Twins, unexpected exposure of users to unwanted behaviors is highly undesirable.

The goal of the workshop is to foster integration between formal methods and software architecture promoting new connections and synergies between the two research communities in order to address the challenges of the upcoming generation of computing systems.

=====================================================================================

LIST OF TOPICS

Areas of interest include, but are not limited to:

- requirements formalization and formal specification
- formal/semi-formal architecture design, validation and verification, quality analysis and evaluation
- formal/semi-formal approaches to digitalization, development of digital society and Digital Twins
- methodologies and approaches focusing on addressing challenges of modern computing systems that are currently addressed ad-hoc
- architecture description languages and metamodels
- architectural patterns, styles and tactics, view-points and views
- architecture transformation and refinement, architecture based synthesis
- model-driven engineering
- approaches and tools for verification and validation
- performance analysis based on formal approaches
- compliance assurance using formal methods
- application of methodologies, theories, approaches and techniques specific to the aforementioned areas to AI-based, autonomous, robotic, cyber-physical, and self-adaptive systems
- reports on practical experience in the application of formal methods to industrial case studies


*********************
SUBMISSION GUIDELINES
*********************

Submissions must follow the LNCS style (https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines). All papers should be submitted before the submission deadline using the online submission site: EasyChair FAACS 2022 Workshop.

We solicit the following contribution types:

* Full paper (12 pages + 2 extra pages for references): original research contributions, case studies, or report on work or experiences in industry.
* Short papers (8 pages + 2 extra pages for references): work-in-progress, new and disruptive ideas, techniques and/or tools or extensions not fully validated yet.

Submission link: https://easychair.org/conferences/?conf=faacs2022

ECSA 2022 will use a two-step process for workshop proceedings. Online proceedings (available before the start of the conference) will include all the accepted papers of the workshops and will be published online on the ECSA 2022 web page (no proceedings). The accepted papers will be accessible only by the ECSA 2022 workshop participants and the format should conform to LNCS style. After the conference, we will organise post-proceedings of selected and extended papers of workshops that will be published in a Springer LNCS volume (up to 16 pages). Workshop papers submitted for the post-proceedings will undergo a minor revision cycle where the extensions with respect to the workshop versions will be checked by the reviewers.


*****************
PROGRAM COMMITTEE
*****************
- Yamine Ait Ameur, IRIT/INPT-ENSEEIHT, France
- Paolo Arcaini, National Institute of Informatics, Japan
- Marcello M. Bersani, Politecnico di Milano, Italy
- Chiara Braghin, University of Milan, Italy
- Radu Calinescu, University of York, UK
- Matteo Camilli, Free University of Bozen-Bolzano, Italy
- Antonio Filieri, Imperial College, UK
- Stefan Hallerstede, Aarhus University, Denmark
- Jan Kofron, Charles University, Czech Republic
- Claudio Menghi, McMaster University, Canada
- Pedro Ribeiro, University of York, UK
- Catia Trubiani, Gran Sasso Science Institute, Italy


********************
ORGANIZING COMMITTEE
********************
- Silvia Bonfanti, University of Bergamo, Bergamo, Italy ([email protected])
- Tsutomu Kobayashi, Japan Aerospace Exploration Agency, Tsukuba, Japan ([email protected])
- Diego Perez-Palacin, Linnaeus University, Växjö, Sweden ([email protected])

======================================================================================

VENUE
The workshop is co-located with the 16th European Conference on Software Architecture (ECSA 2022) and it will be held hybrid, the physical venue will be in Prague, Czech Republic.

CONTACT
You can contact the organizers for further questions at: [email protected] [email protected] [email protected]

For more information, visit: https://faacs-workshop.github.io/2022/


Summary

FAACS 2022 : 6th International Workshop on Formal Approaches for Advanced Computing Systems will take place in Prague, Czechia. It’s a 2 days event starting on Sep 19, 2022 (Monday) and will be winded up on Sep 20, 2022 (Tuesday).

FAACS 2022 falls under the following areas: FORMAL METHODS, VERIFICATION, SOFTWARE ENGINEERING, etc. Submissions for this Workshop can be made by Jul 1, 2022. Authors can expect the result of submission by Jul 29, 2022. Upon acceptance, authors should submit the final version of the manuscript on or before Aug 5, 2022 to the official website of the Workshop.

Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines.

Other Details of the FAACS 2022

  • Short Name: FAACS 2022
  • Full Name: 6th International Workshop on Formal Approaches for Advanced Computing Systems
  • Timing: 09:00 AM-06:00 PM (expected)
  • Fees: Check the official website of FAACS 2022
  • Event Type: Workshop
  • Website Link: https://faacs-workshop.github.io/2022/
  • Location/Address: Prague, Czechia


Credits and Sources

[1] FAACS 2022 : 6th International Workshop on Formal Approaches for Advanced Computing Systems


Check other Conferences, Workshops, Seminars, and Events


OTHER FORMAL METHODS EVENTS

OVERLAY 2022: 4th Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
Udine (Italy)
Nov 28, 2022
F-IDE 2022: 7th Workshop on Formal Integrated Development Environment
Berlin, Germany
Sep 26, 2022
RL-CONFORM 2022: 2nd RL-CONFORM Workshop: Reinforcement Learning meets HRI, Control, and Formal Methods
Kyoto, Japan
Oct 23, 2022
SOFTPA 2022: International Conference on Emerging Practices in Software Process & Architecture
Sydney, Australia
Jun 18, 2022
TIME 2022: 29th International Symposium on Temporal Representation and Reasoning
online
Nov 7, 2022
SHOW ALL

OTHER VERIFICATION EVENTS

FAVPQC 2022: International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols
TBD
Oct 24, 2022
OVERLAY 2022: 4th Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
Udine (Italy)
Nov 28, 2022
ASYDE 2022: Automated and verifiable Software sYstem DEvelopment
Computer Science Humboldt Univ. Berlin
Sep 28, 2022
RP 2022: Reachability Problems
Kaiserslautern
Oct 17, 2022
SBMF 2022: 25th Brazilian Symposium on Formal Methods
Aracaju, Brazil
Dec 5, 2022
SHOW ALL

OTHER SOFTWARE ENGINEERING EVENTS

ACM ICMLSC 2023: ACM--2023 The 7th International Conference on Machine Learning and Soft Computing (ICMLSC 2023)
Chongqing, China
Jan 5, 2023
IPMV 2023: 2023 5th International Conference on Image Processing and Machine Vision (IPMV 2023)
Macau, China
Jan 13, 2023
SPIE ICMV 2022: SPIE--2022 The 15th International Conference on Machine Vision (ICMV 2022)
Rome, Italy
Nov 18, 2022
ICSEB 2022: 2022 6th International Conference on Software and e-Business (ICSEB 2022)
Shenzhen, China
Dec 9, 2022
CIIS 2022: CIIS-UL 2022 : V International Congress in Systems Engineering
Lima-Perú
Oct 10, 2022
SHOW ALL