[isabelle] CfP HOFM Workshop @ SEFM 2014



 [Apologies if you receive multiple copies of this message]




*CALL FOR PAPERS*



*HOFM 2014: Human-Oriented Formal Methods Workshop *

*co-located to SEFM*, 12th International Conference on Software Engineering
and Formal Methods <http://sefm2014.inria.fr/> (Grenoble, France)

http://hofm2014.wordpress.com



**Important Dates**

Deadline for paper submission: June 15, 2014

Notification: July 5, 2014

Workshop will take place on September 1, 2014



All accepted papers will be published as part of the Lecture Notes in
Computer Science (LNCS) proceedings volume.



*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




*Aims:*

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.



*Formatting and Submission Guidelines:*

All accepted papers will be published as part of the Lecture Notes in
Computer Science (LNCS, http://www.springer.com/lncs) proceedings volume
organized by SEFM. PDF versions of papers should be submitted trough EasyChair
submission system <https://www.easychair.org/conferences/?conf=hofm2014>.
The maximum size is 15 pages using the LNCS Formatting
Guidelines<http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0>.
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.

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<http://www.igi-global.com/affiliate/katherine-blashki/253319>,
Noroff University College, Norway

Manfred Broy <http://www4.in.tum.de/~broy/>, Technical University München,
Germany

Jan Carlson <http://www.es.mdh.se/staff/40-Jan_Carlson>, Maelardalen
University, Sweden

Pedro Isaías <http://www.igi-global.com/affiliate/pedro-isaias/235259>,
Universidade Aberta, Portugal

Lalchandani Jayprakash<http://www.iiitb.ac.in/faculty-profile/lt-jayprakash>,
IIIT Bangalore, India

Peter Herrmann<http://www.item.ntnu.no/people/personalpages/fac/herrmann/start>,
NTNU Trondheim, Norway

Tim Miller <http://ww2.cs.mu.oz.au/~tmill/>, The University of Melbourne,
Australia

Srini Ramaswamy <http://in.linkedin.com/in/sriniramaswamy>, ABB –
Bangalore, India

Daniel Ratiu <http://www.fortiss.org/en/about-us/people/daniel-ratiu/>,
Siemens AG, Germany

Bernhard Schätz<http://www.fortiss.org/ueber-uns/mitarbeiter/bernhard-schaetz/>,
fortiss GmbH, Germany

Heinz Schmidt <http://goanna.cs.rmit.edu.au/~hws/>, RMIT University,
Australia – chair

Carol Smidts <http://mae.osu.edu/people/smidts.1>, Ohio State University,
USA

Maria Spichkova <https://sites.google.com/site/mspichkova/>, RMIT
University, Australia – chair

Judith Stafford <https://www.colorado.edu/cs/users/just0377>, University of
Colorado, USA



*Workshop Organizers:*

Heinz Schmidt <http://goanna.cs.rmit.edu.au/~hws/> (RMIT University,
Australia)

Maria Spichkova <https://sites.google.com/site/mspichkova/> (RMIT
University, Australia)

*Contact organizer:* Maria Spichkova,
maria.spichkova at rmit.edu.au<maria.spichkova at rmit.edu.au?subject=HOFM%202014>



=======================================



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