PRIMORIS      Contacts      FAQs      INSTICC Portal
Special Session
Special Session on
Collaborative Aspects of Formal Methods
 - COLAFORM 2017

28 - 29 April, 2017 - Porto, Portugal

Within the 12th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE 2017



Maria Spichkova
RMIT University
Brief Bio
Maria Spichkova is a Lecturer at the School of Computer Science and IT in at the RMIT University, Australia, where she has been working from 2013. She received a PhD in Computer Science in 2007 at Technical University Munich, Germany, where she worked in a Researcher and Lecturer role between 2003 and 2013. At Technical University Munich she was involved, both as participant and as project leader, in a large number of research projects in collaboration with AVL, Microsoft, DENSO Automotive, Robert Bosch GmbH, BMW Car IT, etc. She has published 6 book chapters and many articles in international journals and conferences. She has also served as the reviewer of journals and conferences (such as IEEE Transactions on Industrial Informatics, Journal of Software and Systems Modeling, Acta Informatica, etc.), the Program Committee and member for international conferences and workshops. Currently, she conducts research activity related to specification, architecture modeling, testing, and verification of safety critical systems as well as to human factor related areas.
Anna Zamansky
University of Haifa
Brief Bio
Anna Zamansky is a Senior Lecturer at the Information Systems Department at the University of Haifa. Her research interests include logic and formal methods in software engineering. She is involved in research projects in collaboration with IBM Haifa Research Lab.


The special session focuses on the readability and comprehensibility of formal methods, especially taking into account the groving 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 special session is to initiate a discourse on bridging the gap between the usefulness and applicability of formal methods in innovative Software Engineering.

• 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


Paper Submission: March 1, 2017 (expired)
Authors Notification: March 3, 2017 (expired)
Camera Ready and Registration: March 13, 2017 (expired)


Gundars Alksnis, Riga Technical University, Latvia
Daniel Berry, University of Waterloo, Canada
Stefanie Betz, Karlrsuher Institute for Technologie, Germany
Martin Gogolla, University of Bremen, Germany
James Harland, RMIT University, Australia
Ivan Jureta, UNamur, Belgium
Janis Osis, Riga Technical University, Latvia
Daniel Ratiu, Siemens AG, Germany
Guillermo Rodriguez-Navas, Mälardalen University, Sweden
Bernhard Rumpe, RWTH Aachen University, Germany
Thomas Santen, Microsoft, Germany
Rachel Tzoref-Brill, IBM Research, Israel
Colin Venters, University of Huddersfield, United Kingdom
Matthias Weidlich, Humboldt University of Berlin, Germany


Prospective authors are invited to submit papers in any of the topics listed above.
Instructions for preparing the manuscript (in Word and Latex formats) are available at: Paper Templates
Please also check the Guidelines.
Papers must be submitted electronically via the web-based submission system using the appropriated button on this page.


After thorough reviewing by the special session program committee complemented by members of the main conference program committee, all accepted papers will be published in a special section of the conference proceedings book - under an ISBN reference and on CD-ROM support - and submitted for indexation by Thomson Reuters Conference Proceedings Citation Index (CPCI/ISI), INSPEC, DBLP, EI (Elsevier Engineering Village Index) and Scopus.
SCITEPRESS is a member of CrossRef ( and every paper is given a DOI (Digital Object Identifier).
All papers presented at the conference venue will be available at the SCITEPRESS Digital Library

Open Collaboration papers:
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.
If you are interested in participating in the open collaboration paper(s) described below, please send the workshop chairs an expression of interest, consisting of a 1 page proposed outline of your planned contribution. Please also indicate whether you can attend the conference and present the paper, if it is accepted by the PC.
Deadline for expression of interest: January 14, 2017.

Visualisation in Formal Methods: A picture is worth a thousand formulas?
This paper will review how visualisation is used within FM to help understanding the constructs of formal languages in general as well as the formal specification of particular systems, both on collaboration and teaching/learning level.
Please contact Maria if you want to contribute.

Informal Formal Methods
This paper will review a review on how FM are becoming more lightweight, in order to enable communication among different stakeholders and reduce cognitive load.
Please contact Anna if you want to contribute.


ENASE Special Sessions - COLAFORM 2017