[AISWorld] CALL FOR PAPERS - COLAFORM: Workshop on Collaborative Aspects of Formal Methods

Irit Hadar hadari at is.haifa.ac.il
Thu Nov 26 04:57:54 EST 2015


*CALL FOR PAPERS*


*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
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. Papers should be submitted electronically via 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, USA

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 at rmit.edu.au


More information about the AISWorld mailing list