-------- Weitergeleitete Nachricht -------- Betreff: [AISWorld] CFP: COLAFORM@ENASE - Workshop on Collaborative Aspects of Formal Methods Datum: Thu, 7 Jan 2016 09:01:08 +0200 Von: Dirk van der Linden djt.vanderlinden@gmail.com An: aisworld@lists.aisnet.org

**COLAFORM: Workshop on Collaborative Aspects of Formal Methods** http://www.enase.org/COLAFORM.aspx

*co-located with ENASE 2016, 11th International Conference on Evaluation of Novel Approaches to Software Engineering (Rome, Italy, 27-28 April)* http://www.enase.org

*Important Dates:* Paper Submission: *January 26, 2016* Authors Notification: *February 12, 2016* Camera Ready and Registration: *February 26, 2016*

*Workshop Theme & Goals:* Successful collaboration and communication between stakeholders are key factors in the development of complex software systems. The use of formal methods in this context offers rigor and precision, while reducing ambiguity and inconsistency. However problems of readability and comprehensibility pose objective barriers hindering the adoption of formal methods in industry. These aspects become even more crucial in large-scale projects, where professionals with different technical and cultural backgrounds have to collaborate. The aim of this workshop is to initiate a discourse on bridging the gap between the usefulness and applicability of formal methods in innovative Software Engineering.

*Areas of interest include but are not limited to**:* · Collaborative aspects of formal methods in conceptual modelling, specification, and design · Collaborative aspects of testing, verification and validation of systems · Collaborative aspects of global requirements engineering · Formal methods in global requirements engineering · Standardisation of formal methods · Formal methods in/for cloud computing · Formal ontologies for software engineering · Comprehensibility and readability of formal methods in software engineering · Formal methods for handling uncertainty, vagueness, inconsistency · Usability, scalability and complexity hiding of formal methods tools · Formal methods for cyber-physical systems · Formal methods for sustainability · Cross-disciplinary automation of formal methods · Innovations and improvements of formal methods and tools · Industrial application of formal methods · Successful case studies on formal methods in collaborative projects · Teaching of formal methods and collaborative aspects thereof

*Webpage:* COLAFORM 2016 http://www.enase.org/COLAFORM.aspx

*Keynote talk:* Eitan Farchi, STSM of Software Testing Analysis and Reviews Group, IBM Haifa Research Lab, Israel

*Paper Submission:* Instructions for preparing the manuscript are available at: *Paper Templates http://www.enase.org/GuidelinesTemplates.aspx#paper_templates.* Papers should be submitted electronically via *Primoris http://www.insticc.org/Primoris*. All accepted papers will be published in the conference proceedings book under an ISBN reference, also indexed by Thomson Reuters Conf. Proc. Citation Index (ISI), INSPEC, DBLP, EI and Scopus. All papers presented at the conference venue will be available at the SCITEPRESS Digital Library.

*Open Collaboration:* Two open collaboration papers are planned to be written collectively by workshop participants and PC members. The papers will then be submitted to the workshop and undergo a standard reviewing process. For more information cf. workshop webpage.

*Program committee:* Gundars Alksnis, Riga Technical University, Latvia Stefanie Betz, Karlsruhe Institute for Technology, Germany Daniel M. Berry, University of Waterloo, Canada Jan Olaf Blech, RMIT University, Australia Ruzanna Chitchyan, University of Leicester, UK Irit Hadar, University of Haifa, Israel Alan Hartman, University of Haifa, Israel Peter Herrmann, NTNU Trondheim, Norway Ivan Jureta, University of Namur, Belgium James Harland, RMIT University, Australia Janis Osis, Riga Technical University, Latvia Daniel Ratiu, Siemens AG, Germany Guillermo Rodriguez-Navas, Maelardalen University, Sweden Bernhard Rumpe, RWTH Aachen, Germany

Thomas Santen, Microsoft, Germany

Natalia Sidorova, TU Eindhoven, Netherlands Maria Spichkova, RMIT University, Australia Rachel Tzoref-Brill, IBM, Israel Colin C. Venters, University of Huddersfield, UK Matthias Weidlich, Humboldt University of Berlin, Germany Marc van Zee, University of Luxembourg, Luxembourg

*Workshop Organizers/Chairs:* Maria Spichkova, RMIT University, Australia Anna Zamansky, University of Haifa, Israel

*Contact:* Maria Spichkova, maria.spichkova@rmit.edu.au _______________________________________________ AISWorld mailing list AISWorld@lists.aisnet.org