[ecoop-info] CFP: 2nd Workshop on Formal Approaches for Advanced Computing Systems (FAACS 2018) colocated with ECSA 2018

[Patrizia Scandurra]

************************************************************************
Call for Papers: FAACS 2018
The 2nd Workshop on Formal Approaches for Advanced Computing Systems
Conference on Formal Methods in Software Engineering (September 24th, 2018)
co-located with the European Conference on Software Architecture (ECSA) 
2018, Madrid, Spain

http://fmse.di.unimi.it/faacs2018/
************************************************************************

**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 
advanced software systems built on new technologies and infrastructures 
(such as IoT connectivity and smart devices), and exposing complex 
computational models (such as mobile, cloud, autonomic, and adaptive 
computing).
The development of these Advanced Computing Systems requires advanced 
architectural design exploiting the integration of heterogeneous 
architecture description languages, architectural patterns, qualitative 
and quantitative assessment of architectures, and solutions already 
individually tested in specific contexts. Moreover, the employment of 
the 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 
the correct behavior and dependability of such systems is a very 
challenging issue that requires rigorous modeling and formal analysis 
techniques.
The main goal of the workshop is to foster integration between the 
formal methods and the software architecture communities with the 
purpose to promote the connection between the two more carefully than is 
currently. After the first edition as a satellite workshop of SEFM 2017, 
this year FAACS will be co-located with ECSA 2018.


**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
   - etc.
- Formal/semi-formal analisys 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 site: https://easychair.org/conferences/?conf=faacs2018

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 2018 Companion 
Proceedings by ACM Digital Library.

**Important Dates**
- Paper submission: June 11th, 2018
- Author notification: July 3rd, 2018
- Camera-ready version: July 12th, 2018
- Workshop date: September 24th, 2018

**Workshop chairs**
Paolo Arcaini, National Institute of Informatics, Japan (arcaini at nii.ac.jp)
Marina Mongiello, Politecnico di Bari, Italy, (marina.mongiello at poliba.it)
Elvinia Riccobene, Università degli Studi di Milano, Italy, 
(elvinia.riccobene at unimi.it)
Patrizia Scandurra, Università degli Studi di Bergamo, Italy, 
(patrizia.scandurra at unibg.it)

**Program Committee**
Yamine Ait Ameur, IRIT, France
Alessandro Bianchi, University of Bari, Italy
Silvia Bonfanti, University of Bergamo, Italy
Chiara Braghin, University of Milan, Italy
Antonio Bucchiarone, Bruno Kessler Foundation of Trento, Italy
Georg Buchgeher, SCCH, Austria
Matteo Camilli, University of Milan, Italy
Antonio Filieri, Imperial College London, UK
Stefan Hallerstede, Aarhus University, Denmark
Roxana Holom, RISC Software GmbH, Austria
Fuyuki Ishikawa, National Institute of Informatics, Japan
Sungwon Kang, Korea Advanced Institute of Science and Technology, Korea
Jan Kofron, Charles University, Czech Republic
Elizabeth Leonard, Center for High Assurance Computer Systems, NRL, USA
Dominique Mery, LORIA, France
Francesco Nocera, Politecnico di Bari, Italy
Diego Perez-Palacin, Linnaeus University, Sweden
Andreas Prinz, University of Agder, Norway
Alexander Raschke, Universitat Ulm, Germany
Neeraj Kumar Singh, INPT-ENSEEIHT/IRIT, France
Colin Snook, University of Southampton, UK
Romina Spalazzese, Malmo University, Sweden
Paola Spoletini, Kennesaw State University, USA

-- 
Patrizia Scandurra
------------------
Associate Professor in Computer Science, University of Bergamo (Italy)
Department of Management, Information and Production Engineering - Viale Marconi 5, 24044 Dalmine (BG)
Phone: +39 035 2052367
Fax: +39 035 2052310
Web site: http://cs.unibg.it/scandurra/
--
Upcoming events:

==> ACM SAC SA-TTA 2018 (The 6th track on Software Architecture: Theory, Technology, and Applications)
http://dinamico2.unibg.it/sa-tta/2018/
==> FAACS at ECSA 2018 (The 2nd Workshop on Formal Approaches for Advanced Computing Systems)
http://fmse.di.unimi.it/faacs2018/dates.html
==> ABZ 2018 6th International ABZ Conference ASM, Alloy, B, TLA, VDM, Z, 2018
https://www.southampton.ac.uk/abz2018/index.page?
==> GE at ICSE2018 (track on Gender Equality in Software Engineering)
==> WSA at ECSA 2018 (track on Women in Software Architecture) https://eventos.upm.es/12427/detail/european-conference-on-software-architectures-2018-ecsa18.html