**********************************************************************
**********************************************************************
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