[PlanetKR] CFP - COLAFORM: Workshop on Collaborative Aspects of Formal Methods

Anna Zamansky annazam at gmail.com
Sat Dec 5 02:12:56 EST 2015

**COLAFORM: Workshop on Collaborative Aspects of Formal Methods**

*co-located with  ENASE 2016,  11th International Conference on Evaluation
of Novel Approaches to Software Engineering (Rome, Italy, 27-28 April)*

*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
·       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
·       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>.*
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
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,   <marc.vanzee at uni.lu>Luxembourg

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

*Contact:* Maria Spichkova, maria.spichkova at rmit.edu.au
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://discuss.it.uts.edu.au/pipermail/planetkr/attachments/20151204/192b5edc/attachment-0001.html 

More information about the PlanetKR mailing list