4th International Workshop on Formal Approaches for Advanced Computing Systems
FAACS 2020
- URL: https://faacs-workshop.github.io/2020/
- Event Date: 2020-09-14 ~ 2020-09-14
- Submission Date: 2020-06-24
- Location: L'Aquila, Italy
Formal Approaches for Advanced Computing Systems - workshop @ ECSA 2020
*****************************************************************
4th International Workshop on Formal Approaches for Advanced Computing Systems FAACS 2020
https://faacs-workshop.github.io/2020/
co-located with the 14th European Conference on Software Architecture (ECSA 2020)
Sept 14, 2020. L'Aquila, Italy
Submission deadline: June 24, 2020
Workshop date: Sept 14, 2020 (TBD)
*****************************************************************
** 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, 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. 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.
Advanced computing systems require sensible architectural design that often leverages the integration of heterogeneous description languages, architectural patterns, and verification techniques. We believe that formal methods can play a significant role since they allow high precision to be achieved in both modeling, reasoning, validating, and verifying various aspects of software systems.
The main objective of the workshop is to foster the integration between the formal methods and the software architecture communities, 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.
** LIST OF TOPIC **
- 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.
** IMPORTANT DATES **
- Paper submission: June 24, 2020
- Author notification: July 13, 2020
- Workshop date: September 14, 2020 (TBD)
** SUBMISSION GUIDELINES **
All papers must be original and not simultaneously submitted to another journal or conference. They must be written in English and prepared following the Springer Communications in Computer and Information Science (CCIS) Guidelines (https://www.springer.com/series/7899). Submissions must be uploaded in PDF format through the workshop submission website hosted by EasyChair.
The following paper categories are welcome:
- FULL PAPER (between 12 & 14 pages, Springer CCIS format): original research contributions, case studies, or report on work or experiences in industry;
- SHORT PAPER (between 6 & 8 pages, Springer CCIS format): work-in-progress, new and disruptive ideas, techniques and/or tools (or extensions) not fully validated yet.
Submission link: https://easychair.org/conferences/?conf=faacs2020
Accepted contributions will be published by Springer CCIS in the ECSA 2020 companion proceedings volume.
** PROGRAM COMMITTEE (tentative) **
Yamine Ait Ameur, IRIT/INPT-ENSEEIHT, France
Paolo Arcaini, National Institute of Informatics, Japan
Marco Autili, Università dell'Aquila, Italy
Simon Bliudze, INRIA, France
Georg Buchgeher, Software Competence Center Hagenberg, Austria
Javier Cámara, University of York, UK
Lorenzo Capra, University of Milan, Italy
Stéphanie Challita, INRIA, France
Emanuele Covino, University of Bari, Italy
Stefan Hallerstede, Aarhus University, Denmark
Roxana Maria Holom, Johannes Keppler University, Austria
Sungwon Kang, Korea Advanced Institute of Science and Technology, Korea
Jan Kofron, Charles University, Czech Republic
Elizabeth Leonard, Naval Research Laboratory, USA
Claudio Menghi, University of Luxembourg, Luxembourg
Dominique Mery, University of Lorraine, France
Raffaela Mirandola, Politecnico di Milano, Italy
Gianfranco Modoni, ITIA-CNR, Italy
Marina Mongiello, Politecnico di Bari, Italy
Henry Muccini, University of L'Aquila, Italy
Elvinia Riccobene, University of Milan, Italy
Antonino Sabetta, SAP Labs, France
Lionel Seinturier, University of Lille, France
Paola Spoletini, Kennesaw State University, USA
** ORGANIZING COMMITTEE **
Matteo Camilli, Free University of Bozen-Bolzano, Italy
Stéphanie Challita, Inria, France
** VENUE **
The workshop is co-located with the 14th European Conference on Software Architecture (ECSA 2020).
L'Aquila, Italy. September 14, 2020
** CONTACT **
All questions about submissions should be emailed to: faacs2020@easychair.org
*****************************************************************
4th International Workshop on Formal Approaches for Advanced Computing Systems FAACS 2020
https://faacs-workshop.github.io/2020/
co-located with the 14th European Conference on Software Architecture (ECSA 2020)
Sept 14, 2020. L'Aquila, Italy
Submission deadline: June 24, 2020
Workshop date: Sept 14, 2020 (TBD)
*****************************************************************
** 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, 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. 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.
Advanced computing systems require sensible architectural design that often leverages the integration of heterogeneous description languages, architectural patterns, and verification techniques. We believe that formal methods can play a significant role since they allow high precision to be achieved in both modeling, reasoning, validating, and verifying various aspects of software systems.
The main objective of the workshop is to foster the integration between the formal methods and the software architecture communities, 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.
** LIST OF TOPIC **
- 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.
** IMPORTANT DATES **
- Paper submission: June 24, 2020
- Author notification: July 13, 2020
- Workshop date: September 14, 2020 (TBD)
** SUBMISSION GUIDELINES **
All papers must be original and not simultaneously submitted to another journal or conference. They must be written in English and prepared following the Springer Communications in Computer and Information Science (CCIS) Guidelines (https://www.springer.com/series/7899). Submissions must be uploaded in PDF format through the workshop submission website hosted by EasyChair.
The following paper categories are welcome:
- FULL PAPER (between 12 & 14 pages, Springer CCIS format): original research contributions, case studies, or report on work or experiences in industry;
- SHORT PAPER (between 6 & 8 pages, Springer CCIS format): work-in-progress, new and disruptive ideas, techniques and/or tools (or extensions) not fully validated yet.
Submission link: https://easychair.org/conferences/?conf=faacs2020
Accepted contributions will be published by Springer CCIS in the ECSA 2020 companion proceedings volume.
** PROGRAM COMMITTEE (tentative) **
Yamine Ait Ameur, IRIT/INPT-ENSEEIHT, France
Paolo Arcaini, National Institute of Informatics, Japan
Marco Autili, Università dell'Aquila, Italy
Simon Bliudze, INRIA, France
Georg Buchgeher, Software Competence Center Hagenberg, Austria
Javier Cámara, University of York, UK
Lorenzo Capra, University of Milan, Italy
Stéphanie Challita, INRIA, France
Emanuele Covino, University of Bari, Italy
Stefan Hallerstede, Aarhus University, Denmark
Roxana Maria Holom, Johannes Keppler University, Austria
Sungwon Kang, Korea Advanced Institute of Science and Technology, Korea
Jan Kofron, Charles University, Czech Republic
Elizabeth Leonard, Naval Research Laboratory, USA
Claudio Menghi, University of Luxembourg, Luxembourg
Dominique Mery, University of Lorraine, France
Raffaela Mirandola, Politecnico di Milano, Italy
Gianfranco Modoni, ITIA-CNR, Italy
Marina Mongiello, Politecnico di Bari, Italy
Henry Muccini, University of L'Aquila, Italy
Elvinia Riccobene, University of Milan, Italy
Antonino Sabetta, SAP Labs, France
Lionel Seinturier, University of Lille, France
Paola Spoletini, Kennesaw State University, USA
** ORGANIZING COMMITTEE **
Matteo Camilli, Free University of Bozen-Bolzano, Italy
Stéphanie Challita, Inria, France
** VENUE **
The workshop is co-located with the 14th European Conference on Software Architecture (ECSA 2020).
L'Aquila, Italy. September 14, 2020
** CONTACT **
All questions about submissions should be emailed to: faacs2020@easychair.org
Journal Promotion
|
| Acta Koreana (Acta Koreana) |
|
| Acta Via Serica (AVS) |
|
| Computers and Concrete (CAC) |
|
| Journal of Information Processing Systems (JIPS) |
|
| Journal of Internet Computing and Services (KSII - JICS) |
|
| Journal of Smart Tourism (Smart Tourism) |
|
| Membrane and Water Treatment (MWT) |
|
| Wind and Structures, An International Journal (Wind and Structures) |
MANUSCRIPTLINK © 2015 -
