[Apologies for cross-posting]
CALL FOR PAPERS
FMIS 2019: 8th Formal Methods for Interactive Systems workshop
(co-located with FM 2019 - Porto, Portugal, October 7, 2019)
sites.google.com/view/fmis2019
Reducing the risk of human error in the use of interactive systems is
increasingly recognised as a key objective in contexts where safety, security,
financial or similar considerations are important. These risks are of
particular concern where users are presented with novel interactive experiences
through the use of ubiquitous mobile devices in complex smart environments.
Formal methods are required to analyse these interactive situations. In such
complex systems analysis and justification that risk is reduced may depend on
both qualitative and quantitative models of the system.
The aim of FMIS 2019 (The 8th International Workshop on Formal Methods for
Interactive Systems) is to bring together researchers from a range of
disciplines within computer science (including HCI) and other behavioural
disciplines, from both academia and industry, who are interested in both formal
methods and interactive system design. An aim of the workshop is to grow and
sustain a network of researchers interested in the development and application
of formal methods and related verification and analysis tools to HCI and
usability aspects of ubiquitous systems.
Topics
The focus of the workshop is, though not restricted to, general design and
verification methodologies, which take account of models or accounts of human
behaviour
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: pervasive and ubiquitous systems,
cyber-physical systems, augmented reality, scalability and resilience, mobile
devices, embedded systems, safety-critical systems, high-reliability systems,
shared control systems, digital libraries, eGovernment, human-robot interaction.
Submissions
In order to encourage participation and discussion, this workshop solicits two
types of submissions - regular papers and short papers:
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.
Short paper submissions on recent or ongoing work on relevant topics and ideas,
for timely discussion and feedback at the workshop should not exceed 6 pages.
Publication
Both accepted regular papers and short papers will be published in the
participants proceedings. Revised versions of the regular papers, and of
selected short papers, will be published in a volume of Springer's LNCS series
dedicated to FM 2019 workshops.
Additionally, a special issue of Interacting with Computers on formal methods
for interactive systems is under preparation and welcomes extended versions of
FMIS 2019 papers.
Submission Instructions
Submitted papers must follow the LNCS format (cf. Springer's LNCS site) and
will be managed through EasyChair (link to be announced).
Important Dates
Paper Submission: June 21, 2019
Notification: July 31, 2019
Camera Ready: September 2, 2019
Workshop: October 7, 2019
Submission of paper revision for LNCS publication: November 11, 2019 (tentative)
Contact
All questions about submissions should be emailed to fmis2019 at easychair dot
org
--
José Creissac Campos
Dept. Informática/Universidade do Minho & HASLab/INESC TEC
http://www.di.uminho.pt/~jfc
3rd World Congress on Formal Methods (FM 2019) | FMIS 2019
_______________________________________________
Om-announce mailing list
Om-announce@openmath.org
http://mailman.openmath.org/cgi-bin/mailman/listinfo/om-announce