Home      Log In      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
School of Science, RMIT University
Brief Bio
Maria Spichkova is a Senior Lecturer (Software Engineering) at the School of Science, Computer Science and IT, RMIT University, since 2013. She received a PhD in Computer Science in 2007 at the Technical University of Munich (Germany), where she worked in a Researcher and Lecturer role between 2003 and 2013. Maria Spichkova conducts research activities related to formal specification, modelling, testing, and verification of safety-critical and distributed systems as well as to human factor related areas. In 2018 and 2017, as a part of interdisciplinary team, she received iAwards from the Australian Information Industry Association (AIIA).
Anna Zamansky
Information Systems, 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, Applied Computer Sciences, Riga Technical University, Latvia
Daniel Berry, Cheriton School of Computer Science, University of Waterloo, Canada
Stefanie Betz, Institut AIFB, Karlsruhe Institute of Technology, Germany
Martin Gogolla, Computer Science Department, Database Systems Group, University of Bremen, Germany
James Harland, School of Computer Science and IT, RMIT University, Australia
Ivan Jureta, Independent Researcher, Belgium
Janis Osis, Applied Computer sciences, Riga Technical University, Latvia
Daniel Ratiu, Siemens AG, Germany
Guillermo Rodriguez-Navas, School of Innovation, Design and Engineering, Mälardalen University, Sweden
Bernhard Rumpe, Software Engineering - Department of Computer Science 3, RWTH Aachen University, Germany
Thomas Santen, TU Berllin, Germany
Rachel Tzoref-Brill, , Israel
Colin Venters, School of Computing & Engineering, 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, all accepted papers will be published in a special section of the conference proceedings book - under an ISBN reference and on digital support - and submitted for indexation by DBLP, Web of Science / Conference Proceedings Citation Index, EI 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