Email Gateway (Aug 22 2022 at 12:10): Email Gateway (Aug 22 2022 at 12:10):From: Maria Spichkova <maria.spichkova@rmit.edu.au>
The deadline for the COLAFORM workshop is extended!
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: February 5, 2016
Authors Notification: February 19, 2016
Camera Ready and Registration: March 4 , 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@uni.lu>Luxembourg
Workshop Organizers/Chairs:
Maria Spichkova, RMIT University, Australia
Anna Zamansky, University of Haifa, Israel
Contact: Maria Spichkova, maria.spichkova@rmit.edu.au
Dr. Maria Spichkova
Lecturer, RMIT University
School of Science, RMIT (formerly Computer Science and IT)
Last updated: Nov 21 2024 at 12:39 UTC