CHI-ANNOUNCEMENTS Archives

ACM SIGCHI General Interest Announcements (Mailing List)

CHI-ANNOUNCEMENTS@LISTSERV.ACM.ORG

Options: Use Classic View

Use Monospaced Font
Show Text Part by Default
Condense Mail Headers

Topic: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Sender: "ACM SIGCHI General Interest Announcements (Mailing List)" <[log in to unmask]>
Date: Wed, 7 Feb 2018 10:02:09 +0100
Reply-To: Yamine AIT AMEUR <[log in to unmask]>
MIME-Version: 1.0
Message-ID: <[log in to unmask]>
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain; format=flowed; charset="utf-8"
From: Yamine AIT AMEUR <[log in to unmask]>
Parts/Attachments: text/plain (126 lines)
**********************************************************************
**********************************************************************
                     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

-----------------
Program Committee
-----------------
Matthew Bolton, University at Buffalo, New York, USA
Judy Bowen, University of Waikato, Hamilton, New Zealand
Jose Campos, University of Minho, Braga, Portugal
Antonio Cerone, Nazarbayev University, Astana, Kazakhstan
Horatiu Cirstea, University of Lorraine, Nancy, France
David Chemouil, ONERA, Toulouse, France
Paul Curzon, University of London, UK
Bruno d'Ausbourg, ONERA, Toulouse, France
Michael Harrison, Newcastle University, Newcastle, UK
Kris Luyten, Hasselt University, Hasselt, Belgium
Atif Mashkoor, SCCH, Hagenberg, Austria
Miekel Massink, Institute of Information Science and Technology, Pisa, Italy
Dominique Mery, University of Lorraine, Nancy, France
Charles Pecheur, Université Catholique de Louvain, Louvain, Belgium
Steve Reeves, University of Waikato, Hamilton, New Zealand
Neeraj Kumar Singh, INPT-IRIT, Toulouse, France
Benjamin Weyers, RWTH Aachen University, Aachen, Germany

--------------------
Organizing Committee
--------------------
David Chemouil, ONERA, Toulouse, France
Neeraj Kumar Singh, INPT-IRIT, Toulouse, France

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

    ---------------------------------------------------------------
    For news of CHI books, courses & software, join CHI-RESOURCES
     mailto: [log in to unmask]

    To unsubscribe from CHI-ANNOUNCEMENTS send an email to
     mailto:[log in to unmask]

    For further details of CHI lists see http://listserv.acm.org
    ---------------------------------------------------------------

ATOM RSS1 RSS2