posted by organizer: matteocamilli || 1777 views || tracked by 4 users: [display]

FAACS 2019 : 3rd Workshop on Formal Approaches for Advanced Computing Systems

FacebookTwitterLinkedInGoogle

Link: http://faacs.di.unimi.it
 
When Sep 9, 2019 - Sep 10, 2019
Where Paris, France
Submission Deadline Jun 8, 2019
Notification Due Jun 26, 2019
Final Version Due Jul 5, 2019
Categories    software architecture   software engineering   formal methods   software verification
 

Call For Papers

CFP: Formal Approaches for Advanced Computing Systems - workshop @ ECSA 2019

*****************************************************************

3rd Workshop on Formal Approaches for Advanced Computing Systems FAACS 2019

http://faacs.di.unimi.it

co-located with the 13th European Conference on Software Architecture (ECSA) in Paris (France)

Submission deadline: June 8, 2019 (EXTENDED)
Workshop date: September 9/10, 2019 (TBD)

*****************************************************************

** Motivation and scope **
Nowadays, services and information are owned by multiple interacting sources and delivered to an unprecedented amount of end-users thanks to the availability of advanced distributed software systems. These systems are built upon new technologies/infrastructures (e.g., cloud infrastructures, IoT connectivity, AI-powered and smart devices, wearable technology) and expose multi-paradigm computing models (e.g., mobile cloud computing, Cloud of Things, autonomic and cognitive computing, social computing). As a consequence, the development of these Advanced Computing Systems requires advanced architectural design exploiting the integration of heterogeneous architecture description languages and styles. Moreover, the employment of emerging technologies and computational models may unexpectedly expose the user to undesired consequences, such as threats to confidentiality and even financial or health danger. Therefore, assuring trustworthiness or other important quality attributes of such systems represents a very challenging issue that requires rigorous or formal approaches to design, development and validation and verification. Goal of the workshop is to foster integration between formal methods and software architecture promoting new connections and synergies between the two communities in order to strengthen links between them, and to stimulate researchers to share novel ideas, techniques, and lessons learned, from both industrial and academic experts.


** Topics **
Specific topics include, but are not limited to:
- Application of formal/semi-formal methods in:
-- Linking requirements engineering and software architectures
-- Architecture design, validation and verification, quality analysis and evaluation
-- Architecture description languages and meta-models
-- Architecture-centric model driven engineering
-- Architecture-centric process models and frameworks
-- Architectural patterns, styles and tactics, viewpoints and views
-- Architecture transformation and refinement, architecture-based synthesis
-- Architecture-based evolution
- Integrating formal/semi-formal methods and architecture-centric software engineering for:
-- Service-Oriented Architectures (SOA), Web services, and Microservices
-- reconfigurable and self-adaptive systems
-- mobile applications
-- cloud applications
-- mobile cloud applications
-- IoT applications
-- smart systems
-- ultra-large scale, long-lived systems and systems-of-systems
-- Cyber-Physical Systems
- Formal/semi-formal analysis and architecture-centric software engineering provided as a service on the Cloud or in an IoT infrastructure.
- Case studies and experience reports in using formal approaches in software architecture design and analysis.


** Intended Audience **
Researchers, educators, practitioners, tool developers and users, and technology transfer experts are all welcome.


** Submissions **
Workshop papers must be written in English and prepared following the ACM sigconf format: http://www.acm.org/publications/proceedings-template. Note that the new authoring template must be used (2017 ACM Master article template).
We solicit the following contribution types:

- Full papers about original research and/or case studies (7 pages max, ACM sigconf format);
- Short papers (up to 4 pages, ACM sigconf format) describing: new ideas/work-in-progress, or techniques and/or newly-developed tools or extensions not fully validated yet, or an industry paper reporting on work or experiences on the application of formal methods and software architectures in industry.

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

For each accepted paper, at least one of the authors is expected to be present at the workshop and present the paper. All accepted papers will be published in the ECSA 2019 Companion Proceedings by ACM’s International Conference Proceedings Series (ICPS).


** Important Dates **
- Paper submission: June 8, 2019 (EXTENDED)
- Author notification: June 26, 2019
- Camera-ready version: July 5, 2019
- Workshop date: September 9/10, 2019 (TBD)


** Workshop Co-chairs **
Alessandro Bianchi, Università degli Studi di Bari, Italy (alessandro.bianchi@uniba.it)
Matteo Camilli, Università degli Studi di Milano, Italy (matteo.camilli@unimi.it)
Patrizia Scandurra, Università degli Studi di Bergamo, Italy (patrizia.scandurra@unibg.it)


** Program Committee **
Yamine Ait Ameur, IRIT/INPT-ENSEEIHT, France
Paolo Arcaini, National Institute of Informatics, Japan
Marco Autili, Università dell'Aquila, Italy
Simon Bliudze, INRIA, France
Javier Cámara, University of York, UK
Lorenzo Capra, University of Milan, Italy
Stephanie 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

Related Resources

SIUSAI 2021-Ei Compendex 2021   2021 International Symposium on Intelligent Unmanned Systems and Artificial Intelligence(SIUSAI 2021)
ACM-MLNLP-Ei/Scopus 2019   2019 2nd International Conference on Machine Learning and Natural Language Processing
IEEE COINS 2020   Internet of Things IoT | Artificial Intelligence | Machine Learning | Big Data | Blockchain | Edge & Cloud Computing | Security | Embedded Systems | Circuit and Systems | WSN | 5G
SCAI 2019   8th International Conference On Soft Computing, Artificial Intelligence And Applications
icist 2020   acm- 10th International Conference on Information Systems and Technologies
EI-CMSME 2020   2020 3rd International Joint Conference on Materials Science and Mechanical Engineering (CMSME 2020)
PPSN 2020   Parallel Problem Solving from Nature
VLSIA 2019   5th International Conference on VLSI and Applications
EI ISCSIC 2020   2020 4th International Symposium on Computer Science and Intelligent Control(ISCSIC 2020)
CFIMA 2020-Ei Compendex & Scopus 2020   2020 International Conference on Frontiers of Intelligent Manufacturing and Automation (CFIMA 2020)