posted by user: marinamongiello || 1126 views || tracked by 2 users: [display]

FAACS 2017 : 1st Workshop on Formal Approaches for Advanced Computing Systems

FacebookTwitterLinkedInGoogle

Link: http://fmse.di.unimi.it/faacs2017/
 
When Sep 4, 2017 - Sep 4, 2017
Where Trento (Italy)
Submission Deadline Jun 11, 2017
Notification Due Jul 6, 2017
 

Call For Papers

DEADLINE EXTENDED - New deadline: 11 june 2017

Call for Papers
--------------------------------------------------------------

=========================================================
1st Workshop on Formal Approaches for Advanced Computing Systems (FAACS 2017)

September 4th, 2017
FBK, Trento, Italy
(in conjunction with SEFM 2017)


http://fmse.di.unimi.it/faacs2017/

----------------------------------------------------------

IMPORTANT DATES


Paper submission: June 11th, 2017 (EXTENDED)
Author notification: July 6th, 2017
Post-proceedings camera-ready version: TBA
Workshop date: September 4th, 2017


-----------------------------------------------------------

CONFERENCE CHAIRS

Paolo Arcaini, Charles University, Czech Republic, (arcaini@d3s.mff.cuni.cz)
Marina Mongiello, Politecnico di Bari, Italy, (marina.mongiello@poliba.it)
Elvinia Riccobene, Università degli Studi di Milano, Italy, (elvinia.riccobene@unimi.it)
Patrizia Scandurra, Università degli Studi di Bergamo, Italy, (patrizia.scandurra@unibg.it)


----------------------------------------------------------

RATIONALE

The way services and information are currently delivered to a multitude of
end-users is changing impressively thanks to the availability of systems
built on new technologies (as IoT connectivity and smart devices), and
exposing complex computational models (as mobile, cloud, autonomic, adaptive, etc.).
The development of these Advanced Computing Systems requires the integration
of heterogeneous methods, techniques, solutions already individually tested
in specific contexts. Moreover, the employment of the emerging technologies
may unexpectedly expose the user to undesired consequences; therefore,
ensuring reliability, safety, and availability of such systems, is a very
challenging issue that requires rigorous modeling and analysis techniques.
Formal approaches have been widely developed in the area of classical distributed
systems and applied to several case studies. The challenge now is how to deal
with the new problems (e.g., uncertainty, untrustworthiness, information loss, etc.)
that are emerging in the development and maintenance
of advanced computing systems.
The workshop will be a forum for researchers and practitioners to discuss if
current formal methods are suitable for the specification and analysis of
advanced computing systems, and what are the upcoming challenges for the formal
method community in devising rigorous approaches able to deal with
characteristics of the emerging technologies and computational models.


-----------------------------------------------------------

Topics
List of topics includes but is not limited to:
- Formal methods and semi-formal methods for modeling, validation,
and verification of functional and non-functional properties of:
cloud applications
mobile applications
mobile cloud applications
self-adaptive systems
Collective Adaptive Systems
systems of systems
IoT applications
smart systems
socio-technical systems
large-scale distributed applications
cyber-Physical Systems
etc.
- Functional, performance, and QoS testing, provided as a service on the Cloud or in an IoT network
- Case studies and experience reports


-----------------------------------------------------------


SUBMISSION POLICY, INSTRUCTIONS, CONFERENCE PROCEEDINGS


Two kinds of contributions are invited (written in English and
prepared using the specific LNCS templates):

- Research papers: they must be between 6 and 15 pages long
(including references) for the submission and the pre-proceedings.
Up to 2 additional pages will be given for the post-proceedings,
only to address reviewers' comments and feedback from the workshop.

- Short new ideas/work-in-progress papers describing new approaches,
techniques and/or tools that are not fully validated yet: they must
be up to 6 pages (including references). No additional pages will be
given for the post-proceedings. The paper must contain
"(short paper)" as subtitle.


Submission site: https://easychair.org/conferences/?conf=faacs2017


All accepted papers will be published in a joint LNCS proceedings volume for SEFM co-located events.


-----------------------------------------------------------


PROGRAM COMMITTEE

Yamine Ait Ameur, IRIT, France
Chiara Braghin, University of Milan, Italy
Antonio Bucchiarone, Bruno Kessler Foundation of Trento, Italy
Georg Buchgeher, SCCH, Austria
Matteo Camilli, University of Milan, Italy
Tommaso Di Noia, Politecnico di Bari, Italy
Antonio Filieri, Imperial College London, UK
Stefan Hallerstede, Aarhus University, Denmark
Roxana Holom, RISC Software GmbH, Austria
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
Martina Maggio, Lund University, Sweden
Dominique Méry, LORIA, France
Raffaela Mirandola, Politecnico di Milano, Italy
Francesco Nocera, Politecnico di Bari, Italy
Hongyu Pei-Breivold, ABB Corporate Research, Sweden
Diego Pérez-Palacin, University of Zaragoza, Spain
Andreas Prinz, University of Agder, Norway
Alexander Raschke, Universität Ulm, Germany
Ella Roubtsova, Open Universiteit, Nederland
Guido Salvaneschi, TU Darmstadt, Germany
Neeraj Kumar Singh, INPT-ENSEEIHT/IRIT, France
Colin Snook, University of Southampton, UK
Romina Spalazzese, Malmö University, Sweden
Paola Spoletini, Kennesaw State University, USA


-----------------------------------------------------------

VENUE

The conference will take place in Trento at the FBK's Science and Technology Hub
Address: FBK's Science and Technology Hub, Via Sommarive, 18 - POVO, 38123 TRENTO

Further details on the venue will be announced on the workshop site
http://fmse.di.unimi.it/faacs2017/

----------------------------------------------------------

Related Resources

LCPC 2020   Languages and Compilers for Parallel Computing
OMCS 2020   3rd IEEE Conference on Optimization and Modeling of Complex Systems
LADC 2020   10th Latin-American Symposium on Dependable Computing
PerIoT 2020   Software Approaches to Improve the Performance of IoT Systems - Applied Sciences (IF 2.217)
NLPUH - PUC 2020   Natural Language Processing in Ubiquitous Healthcare
ICCPR--Ei and Scopus 2020   2020 9th International Conference on Computing and Pattern Recognition (ICCPR 2020)--Ei Compendex, Scopus
EAI MobiQuitous 2020   MobiQuitous 2020 - 17th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services
SBESC 2020   X Brazilian Symposium on Computing Systems Engineering
IEEE iCCECE 2020   3rd IEEE International Conference on Computing, Electronics and Communications Engineering 2020
ISCAI 2020   2020 2nd International Symposium on Computing and Artificial Intelligence (ISCAI 2020)