[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 20*, 2014 (AoE) 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, [email protected]<[email protected]?subject=HOFM%202014> =======================================
---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
