[isabelle] COLAFORM @ ENASE 2016



 [Apologies if you receive multiple copies of this message]

*CALL FOR PAPERS*


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

*co-located to  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:*
The workshop focuses on the readability and comprehensibility of formal
methods, especially taking into account the growing importance of collaborative
aspects.
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, IBM, 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, 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



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

Dr. Maria Spichkova
Lecturer, RMIT University
School of Science, RMIT (formerly Computer Science and IT)

Ph: 03 9925 0452
Email: maria.spichkova at rmit.edu.au



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.