IMPACT FACTOR JOURNAL RANKING CONFERENCE RANKING Conferences Journals Workshops Seminars SYMPOSIUMS MEETINGS BLOGS LaTeX 5G Tutorial Advertise
 
FAACS 2020 : 4th International Workshop on Formal Approaches for Advanced Computing Systems
FAACS 2020 : 4th International Workshop on Formal Approaches for Advanced Computing Systems

FAACS 2020 : 4th International Workshop on Formal Approaches for Advanced Computing Systems

L'Aquila, Italy
Event Date: September 14, 2020 - September 15, 2020
Submission Deadline: June 24, 2020
Notification of Acceptance: July 13, 2020
Camera Ready Version Due: July 20, 2020



About

The main objective of the workshop is to foster the integration between the formal methods and the software architecture communities, and to foster cooperation between them. We encourage researchers and practitioners to share novel ideas, methods, techniques, and tools, that seek significant achievements in improving the quality of software systems.


Call for Papers

Topics of interest include, but are not limited to:

  • formal approaches to architecture design, validation and verification;
  • formal/semi-formal architecture description languages and meta-models;
  • tools for verification and validation;
  • application of formal methods to specific domains, such as reconfigurable, autonomous, cyber-physical, robotic, intelligent, and IoT systems;
  • verification of AI systems, and AI approaches to verification;
  • architecture-centric model-driven engineering approaches;
  • architectural patterns, styles and tactics;
  • scalable formal methods in ultra-large scale systems, long-lived and emerging systems of systems;
  • formal approaches to performance analysis;
  • integration of formal methods in agile software development practices;
  • case studies developed and/or analyzed by using formal approaches;
  • experience reports on the application of formal methods to design and analysis of real-world systems.



Best Deals



Summary

FAACS 2020 : 4th International Workshop on Formal Approaches for Advanced Computing Systems will take place in L'Aquila, Italy. It’s a 2 days event starting on Sep 14, 2020 (Monday) and will be winded up on Sep 15, 2020 (Tuesday).

FAACS 2020 falls under the following areas: FORMAL METHODS, SOFTWARE ENGINEERING, SOFTWARE ARCHITECTURE, etc. Submissions for this Workshop can be made by Jun 24, 2020. Authors can expect the result of submission by Jul 13, 2020. Upon acceptance, authors should submit the final version of the manuscript on or before Jul 20, 2020 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 2020

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


Credits and Sources

[1] FAACS 2020 : 4th International Workshop on Formal Approaches for Advanced Computing Systems


Check other Conferences, Workshops, Seminars, and Events


OTHER FORMAL METHODS EVENTS

SEFM 2021: The 19th edition of the International Conference on Software Engineering and Formal Methods
Virtual
Dec 06, 2021
TASE 2021: The 15th International Symposium on Theoretical Aspects of Software Engineering
Shanghai
Aug 25, 2021
VWLD 2021: Vienna World Logic Day Lecture
Online
Jan 14, 2021
FormaliSE 2021: International Conference on Formal Methods in Software Engineering
Madrid, Spain
May 23, 2021
F-IDE 2021: 6th Workshop on Formal Integrated Development Environment
Online
May 24, 2021
SHOW ALL

OTHER SOFTWARE ENGINEERING EVENTS

SEFM 2021: The 19th edition of the International Conference on Software Engineering and Formal Methods
Virtual
Dec 06, 2021
SEA 2021: 10th International Conference on Software Engineering and Applications
Copenhagen, Denmark
Jun 19, 2021
SOENG 2021: 7th International Conference on Software Engineering
Copenhagen, Denmark
Apr 24, 2021
ICICA 2021: 10th International Conference on Intelligent Computing and Applications
Melbourne, Australia
Jun 25, 2021
ICCMS 2021: The 13th International Conference on Computer Modeling and Simulation
Melbourne, Australia
Jun 25, 2021
SHOW ALL

OTHER SOFTWARE ARCHITECTURE EVENTS

IJSEA 2021: International Journal of Software Engineering & Applications

ASOFT 2020: International Conference on Advances in Software Engineering
Sydney, Australia
Oct 24, 2020
APEQS 2020: 1st International Workshop on Architectures and Paradigms for Engineering Quantum Software
Sacramento
Nov 13, 2020
SOFT 2020: 6th International Conference on Software Engineering
Toronto, Canada
Jul 11, 2020
MDE4SA 2020: 1ST INTERNATIONAL WORKSHOP ON MODEL-DRIVEN ENGINEERING FOR SOFTWARE ARCHITECTURE
L'Aquila, Italy
Sep 14, 2020
SHOW ALL