**********************************************************************
**********************************************************************
                    FMIS 2018 - Call for Papers

**********************************************************************
**********************************************************************
                The 7th International Workshop on Formal
               Methods for Interactive Systems (FMIS 2018)
                      (Affiliated Workshop of STAF 2018)
                      June 25-26, Toulouse, France
                    https://fmis2018.sciencesconf.org

         For more information email: [log in to unmask]
**********************************************************************

--------
Overview
--------
Reducing the likelihood of faults and failures in the development and
in the use of interactive systems becomes a more and more inescapable
necessity. Indeed the use of such systems is becoming widespread in
applications that demand high dependability due to usability, safety
or, security requirements while taking into account additional
considerations such as User Experience or Learnability. Interactive
systems make use of more and more sophisticated electronic devices
and are made up by multiple hardware and software components. These
systems are in fact large artifacts that are also becoming increasingly
ubiquitous and being used in new and more complex situations.

Consequently, the use of formal methods in providing some assurance
on the dependability of interactive systems should take into account
the wider socio-technical system. The aim of this workshop is to bring
together researchers in computer science, human factors, and other
areas of HCI, from both academia and industry, who are interested in
both formal methods and interactive system design and development.

------------------
Topics of interest
------------------
Submitted papers should address issues of how formal methods can be
applied to interactive system design. We also welcome papers with a
focus on theory provided a link to interactive systems is made explicit.
Application areas considered include but are not limited to: mobile
devices, embedded systems, safety-critical systems, high-reliability
systems, shared control systems, digital libraries, eGovernment,
pervasive systems, ubiquitous computing, and computer security
applications.

------------------
Submission Details
------------------
There are two categories of submissions:

1. Regular paper submissions must be original work, and must not have
   been previously published, nor be under consideration for publication
   elsewhere. Regular paper submission must not exceed 16 pages.

2. Short paper submissions on recent or ongoing work on relevant topics
   and ideas, for timely discussion and feedback at the workshop. The
   (extended) abstract of presentation submissions should not exceed 4
   pages.

Papers will appear in a volume of Springer's Lecture Notes in Computer
Science (LNCS), and must use LNCS style formatting
(https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines).

Publication of an extended version of a selection of the papers in a journal
special issue is also under consideration.

---------------
Important Dates
---------------
    Abstract Submission: March 15, 2018
    Submission Deadline: April 6, 2018
    Notification: May 8, 2018
    Workshop: June 25-26, 2018

--------------
Program Chairs
--------------
Yamine Ait-Ameur, INPT-IRIT, Toulouse, France
Philippe Palanque, University of Toulouse, France

-------
Contact
-------
Email: [log in to unmask]
Web: https://fmis2018.sciencesconf.org