[isabelle] CfP HOFM Workshop @ SEFM 2015 (York, UK)

 [Apologies if you receive multiple copies of this message]


*HOFM 2015: 2nd Human-Oriented Formal Methods Workshop *

*co-located to SEFM*, 13th International Conference on Software Engineering
and Formal Methods, http://www.cs.york.ac.uk/sefm2015 (York, UK)

**Important Dates**

Deadline for paper submission: June 3, 2015
Notification: June 19, 2015
Workshop will take place on Monday, September 7, 2015.


While designing and applying formal methods, 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 Formal Methods to real-world problems especially in
domains listed below
* Optimization of the development tools based on formal models
* Specification/modeling notations and tools for human readability
* Human factors of/for formal methods
* Formal methods and design for usability
* Usability and scalability of formal methods tools
* Human error and human factors in software/systems dependability
* Interface design, formal specification and human factors
* Cross-disciplinary automation and hybrid formal methods
* Verification/testing automation
* Usability evaluation in automated verification and testing
* Visualisation of/in formal methods and tools
* Domain-specific languages for verification and validation
* Crowd-enabling and gamification for human-centred verification
* Domain-specific formal methods for real-world problems
* Teaching of Formal Methods, especially wrt. human factors

*Formatting and Submission Guidelines:*

All accepted papers will be published as part of the Lecture Notes in
Computer Science (LNCS) proceedings volume organized by SEFM.
PDF versions of papers should be submitted trough EasyChair submission
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:*

Katherine Blashki, Noroff University College, Norway
Manfred Broy, Technical University MÃnchen, Germany
Pedro IsaÃas, Universidade Aberta, Portugal
Lalchandani Jayprakash, IIIT Bangalore, India
Peter Herrmann, NTNU Trondheim, Norway
Tim Miller, The University of Melbourne, Australia
Srini Ramaswamy, ABB, USA
Daniel Ratiu, Siemens AG, Germany
Guillermo Rodriguez-Navas, Maelardalen University, Sweden
Bernhard Rumpe, RWTH Aachen, Germany
Bernhard SchÃtz, fortiss GmbH, Germany
Heinz Schmidt, RMIT University, Australia â chair
Guillermo Rodriguez-Navas, Maelardalen University, Sweden
Ruimin Shen, Shanghai Jiao Tong University, China
Maria Spichkova, RMIT University, Australia â chair
Judith Stafford, University of Colorado, USA

*Workshop Organizers:*
Maria Spichkova, AICAUSE, RMIT University, Australia (contact organizer)
Heinz Schmidt, AICAUSE, RMIT University, Australia


Dr. Maria Spichkova
Research Fellow, RMIT University
School of Computer Science and Information Technology
Australia-India Research Centre for Automation Software Engineering

Building 96, Level 01
17-23 Lygon Street CARLTON VIC 3053
Ph:  03 9925 0452
Fax: 03 9925 0399
Email: maria.spichkova at rmit.edu.au

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