[isabelle] HOFM @ STAF / SEFM 2016: call for papers



[Apologies if you receive multiple copies of this message]


*CALL FOR PAPERS*


**HOFM 2016: 3rd Human-Oriented Formal Methods Workshop **
http://hofm2016.wordpress.com
(Vienna, Austria)

*co-located to Software Technologies: Applications and Foundations (STAF),
a federation of leading conferences on software technologies.*
 http://staf2016.conf.tuwien.ac.at/


**Important Dates**

*Deadline for paper submission: May 1, 2016 (AoE)*
Notification: May 25, 2016 (AoE)
Workshop will take place on July 4, 2016.


*Aims:*

While designing and applying formal methods (FMs), computer scientists have
dominantly focused on two factors, only: firstly, the method must be
precise and sound and secondly, it must be mathematically concise and
aesthetic. Other important characteristics such as simplicity,
learnability, readability, memorability, ease of use and communication or,
even support for integrating tools into larger development tool chains are
ignored too often. These nonfunctional properties, however, are key
attributes of usability and user satisfaction. If usability is compromised,
methods are not fit for the purpose of documenting, reproducing and
communicating key design and realization decisions, or analysis results,
especially when these need to communicate or mediate between expertise in
different disciplines, different tool chains or across technological or
organizational boundaries. For these reasons, many engineers and
practitioners largely reject formal methods and formal specification
languages as âtoo hard to understand and use in practiceâ while admitting
that they are powerful and precise.

With increasing computing power and its consequent automation capabilities,
the research and development community however is slowly but definitely
focusing on usability in combination with automation. Moreover
practitioners across numerous domains are increasingly interested in formal
domain-specific modelling, simulation and validation, whether in
application areas of energy, robotics, health, biology, climate and
sustainable development, or, for specific technologies of importance such
as data analytics and user interface specification for an exponentially
growing number of hand-held or wearable devices.

While there are many applications of formal methods to analyze
human-machine interaction and to construct user interfaces, the field of
application of human factors to the analysis and to the optimization of
formal methods area is almost unexplored.

This workshop aims to bring together researchers, engineers and
practitioners from academia and industry to baseline the state of the art
in this increasingly important domain. It also aims to develop a future
vision and roadmap of usability and automation, focusing especially on
readability and ease of use.


*Areas of interest include but are not limited to:*

â Integration of formal methods in the industrial development life cycle,
application of FMs to real-world problems especially in domains listed below
â Optimization of the development tools based on FMs
â Readability and usability of specification/modeling notations and tools
â Human factors of/for FMs
â Visualization of/in FMs
â Human error and human factors in software engineering
â Cross-disciplinary automation and hybrid FMs
â Usability and scalability of FMs and the corresponding tools
â Usability evaluation in automated verification and testing
â Crowd-enabling and gamification for human-centered software development,
verification and testing, especially based on formal specification and
methods
â Teaching of FMs as a software engineering discipline

*Formatting and Submission Guidelines:*

All accepted papers will be published as part of the Lecture Notes in
Computer Science (LNCS) proceedings volume organized by STAF 2016.
PDF versions of papers should be submitted trough EasyChair submission
system.
The maximum size is 15 pages using the LNCS Formatting Guidelines.
If you submit a paper and it gets accepted, at least one of the
(co)author(s) is expected to be present at the workshop to present the
paper.
All papers submitted to the workshop must be unpublished original work and
should not be under review or submitted elsewhere while being under
consideration.

We invite submissions in three categories:
â Research papers reporting innovative and original research in the field.
â Work-in-Progress/vision describing ongoing research, emerging results and
future ideas&trends.
â Tool papers describing operational tool and its contributions.

Submitted papers will be reviewed by 3 members of Program/Organizing
Committee (or their sub-reviewers) and selection of accepted papers will
based on relevance, quality and originality of the submitted papers.


*Program Committee:*

Luis Barbosa, University of Minho, Portugal
Daniel Berry, University of Waterloo, Canada
Antonio Cerone IMT Inst. for Advanced Studies Lucca, Italy
Eitan Farchi IBM Haifa Research Lab, Israel
Pedro IsaÃas, Universidade Aberta, Portugal
Irit Hadar, University of Haifa, Israel
Peter Herrmann, NTNU Trondheim, Norway
Gerwin Klein, NICTA/Data61, UNSW, Australia
Jayprakash Lalchandani, IIIT Bangalore, India
James Noble, Victoria University of Wellington, New Zealand
Srini Ramaswamy, ABB, USA
Daniel Ratiu, Siemens AG, Germany
Guillermo Rodriguez-Navas, Maelardalen University, Sweden
Bernhard Rumpe, RWTH Aachen, Germany
Thomas Santen, Microsoft, Germany
Heinz Schmidt, RMIT University, Australia â chair
Maria Spichkova, RMIT University, Australia â chair
Richard Trefler, University of Waterloo, Canada
Andreas Vogelsang, TU Munich, Germany
Anna Zamansky, University of Haifa, Israel

Workshop Organizers:
Maria Spichkova (School of Science, RMIT University, Australia)
Heinz Schmidt (AICAUSE & eResearch, RMIT University, Australia)

Contact organizer: Maria Spichkova, maria.spichkova at rmit.edu.au


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

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



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