<div dir="ltr"><div style="font-size:13px;font-family:arial,sans-serif;border-style:none none double;border-bottom-width:2.25pt;border-bottom-color:windowtext;padding:0cm 0cm 1pt"><p class="MsoNormal" style="border:none;padding:0cm">
<span lang="DE"><font face="arial, helvetica, sans-serif"> </font></span>[Apologies if you receive multiple copies of this message]</p><p class="MsoNormal" style="border:none;padding:0cm"><br></p></div><p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif">
<b><span lang="DE"><font face="arial, helvetica, sans-serif"> </font></span></b></p><p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><b><span lang="DE"><font face="arial, helvetica, sans-serif">CALL FOR PAPERS</font></span></b></p>
<p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><span lang="DE"><font face="arial, helvetica, sans-serif"> </font></span></p><p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif">
<font face="arial, helvetica, sans-serif"><b><span lang="DE">HOFM 2014: Human-Oriented Formal Methods Workshop </span></b></font></p><p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><font face="arial, helvetica, sans-serif"><b><span lang="DE">co-located to SEFM</span></b><span lang="DE">, </span><span style="color:windowtext"><a href="http://sefm2014.inria.fr/" target="_blank">12th International Conference on Software Engineering and Formal Methods</a> </span>(Grenoble, France)<b></b></font></p>
<p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><span lang="DE"><a href="http://hofm2014.wordpress.com/" target="_blank">http://hofm2014.wordpress.com</a></span></p><p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif">
<span lang="DE"><font face="arial, helvetica, sans-serif"> </font></span></p><p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><font face="arial, helvetica, sans-serif"><b>*Important Dates*</b>
</font></p>
<p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><font face="arial, helvetica, sans-serif">Deadline for paper submission: </font><span style="font-family:arial,helvetica,sans-serif"><b>June 20</b>, 2014
 (AoE)</span></p>
<p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><font face="arial, helvetica, sans-serif">Notification: July 5, 2014
</font></p><p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif">
<font face="arial, helvetica, sans-serif">Workshop will take place on September 1, 2014
</font></p><p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><font face="arial, helvetica, sans-serif"> </font></p>
<p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><font face="arial, helvetica, sans-serif">All accepted papers will be published as part of the Lecture Notes in Computer Science (LNCS) proceedings volume. </font></p>
<p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><font face="arial, helvetica, sans-serif"> </font></p><p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><font face="arial, helvetica, sans-serif"><b>Areas of interest include but are not limited to:</b>
</font></p>
<p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><font face="arial, helvetica, sans-serif">• Integration of formal methods in the industrial development life cycle
, </font><span style="font-family:arial,helvetica,sans-serif">application of Formal Methods to real-world problems especially in domains listed below</span></p>
<p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><font face="arial, helvetica, sans-serif">• Optimization of the development tools based on formal models
</font></p><p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif">
<font face="arial, helvetica, sans-serif">• Specification/modeling notations and tools for human readability
</font></p><p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><font face="arial, helvetica, sans-serif">• Human factors of/for formal methods
</font></p>
<p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><font face="arial, helvetica, sans-serif">• Formal methods and design for usability
</font></p><p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif">
<font face="arial, helvetica, sans-serif">• Usability and scalability of formal methods tools
</font></p><p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><font face="arial, helvetica, sans-serif">• Human error and human factors in software/systems dependability
</font></p>
<p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><font face="arial, helvetica, sans-serif">• Interface design, formal specification and human factors
</font></p><p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif">
<font face="arial, helvetica, sans-serif">• Cross-disciplinary automation and hybrid formal methods
</font></p><p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><span style="font-family:arial,helvetica,sans-serif">• Verification/testing
 automation</span><font face="arial, helvetica, sans-serif"><br>
</font></p><p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><font face="arial, helvetica, sans-serif">• Usability evaluation in automated verification and testing
</font></p><p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif">
<font face="arial, helvetica, sans-serif">• Visualisation of/in formal methods and tools
</font></p><p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><font face="arial, helvetica, sans-serif">• Domain-specific languages for verification and validation
</font></p>
<p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><font face="arial, helvetica, sans-serif">• Crowd-enabling and gamification for human-centred verification
</font></p><p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif">
<font face="arial, helvetica, sans-serif">• Domain-specific formal methods for real-world problems
</font></p><p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><font face="arial, helvetica, sans-serif">• Teaching of Formal Methods, especially wrt. human factors<span lang="DE"></span></font></p>
<span style="font-size:13px;font-family:arial,helvetica,sans-serif"> </span><span style="font-size:13px;font-family:arial,sans-serif">   </span><p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><span lang="DE"><font face="arial, helvetica, sans-serif"> </font></span></p>
<p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><b><span lang="DE"><font face="arial, helvetica, sans-serif">Aims:</font></span></b></p><p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif">
<font face="arial, helvetica, sans-serif">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.
</font></p>
<p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><font face="arial, helvetica, sans-serif"><br></font></p><p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><font face="arial, helvetica, sans-serif">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.
</font></p>
<p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><font face="arial, helvetica, sans-serif"><br></font></p><p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><font face="arial, helvetica, sans-serif">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.</font></p>
<p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><font face="arial, helvetica, sans-serif"><br></font></p><p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><font face="arial, helvetica, sans-serif">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.</font></p>
<p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><font face="arial, helvetica, sans-serif"> </font></p><p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><font face="arial, helvetica, sans-serif"><b>Formatting and Submission Guidelines:</b>
</font></p>
<p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><font face="arial, helvetica, sans-serif">All accepted papers will be published as part of the Lecture Notes in Computer Science (LNCS, <a href="http://www.springer.com/lncs" target="_blank"><span style="color:windowtext;text-decoration:none">http://www.springer.com/lncs</span></a>) proceedings volume organized by SEFM. PDF versions of papers should be submitted trough <a href="https://www.easychair.org/conferences/?conf=hofm2014" target="_blank"><span style="color:windowtext;text-decoration:none">EasyChair submission system</span></a>. The maximum size is 15 pages using the <a href="http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0" target="_blank"><span style="color:windowtext;text-decoration:none">LNCS Formatting Guidelines</span></a>. 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.</font></p>
<p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><font face="arial, helvetica, sans-serif">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.</font></p>
<p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><font face="arial, helvetica, sans-serif"> </font></p><p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><font face="arial, helvetica, sans-serif"><b>Program Committee:</b></font></p>
<p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><font face="arial, helvetica, sans-serif"><a href="http://www.igi-global.com/affiliate/katherine-blashki/253319" target="_blank"><span style="color:windowtext;text-decoration:none">Katherine Blashki</span></a>, Noroff University College, Norway
</font></p>
<p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><font face="arial, helvetica, sans-serif"><a href="http://www4.in.tum.de/~broy/" target="_blank"><span style="color:windowtext;text-decoration:none">Manfred Broy</span></a>, Technical University München, Germany</font></p>
<p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><font face="arial, helvetica, sans-serif"><a href="http://www.es.mdh.se/staff/40-Jan_Carlson" target="_blank"><span style="color:windowtext;text-decoration:none">Jan Carlson</span></a>, Maelardalen University, Sweden</font></p>
<p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><font face="arial, helvetica, sans-serif"><a href="http://www.igi-global.com/affiliate/pedro-isaias/235259" target="_blank"><span style="color:windowtext;text-decoration:none">Pedro Isaías</span></a>, Universidade Aberta, Portugal</font></p>
<p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><font face="arial, helvetica, sans-serif">
<a href="http://www.iiitb.ac.in/faculty-profile/lt-jayprakash" target="_blank"><span style="color:windowtext;text-decoration:none">Lalchandani Jayprakash</span></a>, IIIT Bangalore, India</font></p>
<p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><font face="arial, helvetica, sans-serif">
<a href="http://www.item.ntnu.no/people/personalpages/fac/herrmann/start" target="_blank"><span style="color:windowtext;text-decoration:none">Peter Herrmann</span></a>, NTNU Trondheim, Norway</font></p>
<p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><font face="arial, helvetica, sans-serif">
<a href="http://ww2.cs.mu.oz.au/~tmill/" target="_blank"><span style="color:windowtext;text-decoration:none">Tim Miller</span></a>, The University of Melbourne, Australia</font></p>
<p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><font face="arial, helvetica, sans-serif">
<a href="http://in.linkedin.com/in/sriniramaswamy" target="_blank"><span style="color:windowtext;text-decoration:none">Srini Ramaswamy</span></a>, ABB – Bangalore, India</font></p>
<p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><font face="arial, helvetica, sans-serif">
<a href="http://www.fortiss.org/en/about-us/people/daniel-ratiu/" target="_blank"><span style="color:windowtext;text-decoration:none">Daniel Ratiu</span></a>, Siemens AG, Germany</font></p>
<p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><font face="arial, helvetica, sans-serif">
<a href="http://www.fortiss.org/ueber-uns/mitarbeiter/bernhard-schaetz/" target="_blank"><span style="color:windowtext;text-decoration:none">Bernhard Schätz</span></a>, fortiss GmbH, Germany</font></p>
<p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><font face="arial, helvetica, sans-serif">
<a href="http://goanna.cs.rmit.edu.au/~hws/" target="_blank"><span style="color:windowtext;text-decoration:none">Heinz Schmidt</span></a>, RMIT University, Australia – chair</font></p>
<p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><font face="arial, helvetica, sans-serif">
<a href="http://mae.osu.edu/people/smidts.1" target="_blank"><span style="color:windowtext;text-decoration:none">Carol Smidts</span></a>, Ohio State University, USA</font></p>
<p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><font face="arial, helvetica, sans-serif">
<a href="https://sites.google.com/site/mspichkova/" target="_blank"><span style="color:windowtext;text-decoration:none">Maria Spichkova</span></a>, RMIT University, Australia – chair</font></p>
<p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><font face="arial, helvetica, sans-serif">
<a href="https://www.colorado.edu/cs/users/just0377" target="_blank"><span style="color:windowtext;text-decoration:none">Judith Stafford</span></a>, University of Colorado, USA</font></p>
<p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><font face="arial, helvetica, sans-serif"> </font></p><p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><font face="arial, helvetica, sans-serif"><b>Workshop Organizers:</b>
</font></p>
<p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><font face="arial, helvetica, sans-serif"><a href="http://goanna.cs.rmit.edu.au/~hws/" target="_blank"><span style="color:windowtext;text-decoration:none">Heinz Schmidt</span></a> (RMIT University, Australia)
</font></p>
<p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><font face="arial, helvetica, sans-serif"><a href="https://sites.google.com/site/mspichkova/" target="_blank"><span style="color:windowtext;text-decoration:none">Maria Spichkova</span></a> (RMIT University, Australia)</font></p>
<p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><font face="arial, helvetica, sans-serif"><b>Contact organizer:</b> Maria Spichkova, <a href="mailto:maria.spichkova@rmit.edu.au?subject=HOFM%202014" target="_blank"><span style="color:windowtext;text-decoration:none">maria.spichkova@rmit.edu.au</span></a></font></p>
<p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif"><span style="color:rgb(82,90,108)"><font face="arial, helvetica, sans-serif"> </font></span></p><p class="MsoNormal" style="font-size:13px;font-family:arial,sans-serif">
<font face="arial, helvetica, sans-serif"><span style="color:rgb(82,90,108)">=======================================</span></font></p>
</div>