Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] CfP HOFM Workshop @ SEFM 2014


view this post on Zulip Email Gateway (Aug 19 2022 at 14:32):

From: Maria Spichkova <maria.spichkova@rmit.edu.au>
[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@rmit.edu.au<maria.spichkova@rmit.edu.au?subject=HOFM%202014>

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


Last updated: Mar 28 2024 at 20:16 UTC