[Apologies if you receive multiple copies] 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 4th, 2017 Author notification: July 6th, 2017 Post-proceedings camera-ready version: TBA Workshop date: September 4th, 2017 ----------------------------------------------------------- CONFERENCE CHAIRS Paolo Arcaini, Charles University, Czech Republic, (arca...@d3s.mff.cuni.cz) Marina Mongiello, Politecnico di Bari, Italy, (marina.mongie...@poliba.it) Elvinia Riccobene, Università degli Studi di Milano, Italy, (elvinia.riccob...@unimi.it) Patrizia Scandurra, Università degli Studi di Bergamo, Italy, (patrizia.scandu...@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/ ----------------------------------------------------------
_______________________________________________ uai mailing list uai@ENGR.ORST.EDU https://secure.engr.oregonstate.edu/mailman/listinfo/uai
