From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 3221D5D5 for ; Fri, 11 Jan 2019 10:37:33 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.56,465,1539640800"; d="scan'208,217";a="363637469" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 11 Jan 2019 11:37:31 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 731C97F61F; Fri, 11 Jan 2019 11:37:31 +0100 (CET) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id F3B947FFA1; Fri, 11 Jan 2019 11:34:21 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=jose.campos@di.uminho.pt; spf=Pass smtp.mailfrom=jfc@di.uminho.pt; spf=None smtp.helo=postmaster@antispam02.uminho.pt IronPort-PHdr: =?us-ascii?q?9a23=3AsbHzHBxI88NmOhLXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?0uoXLvad9pjvdHbS+e9qxAeQG9mDu7Qc06L/iOPJYSQ4+5GPsXQPItRndiQuro?= =?us-ascii?q?EopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZv?= =?us-ascii?q?JuTyB4Xek9m72/q99pHPYAhEniaxba9vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+?= =?us-ascii?q?VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfM?= =?us-ascii?q?QA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7Vq4/Vyi84Kh3SR/okC?= =?us-ascii?q?YHOCA/8GHLkcx7kaZXrAu8qxBj34LYZYeYO/1jcKPAZtMaXXROUdpNVyJPBYO8?= =?us-ascii?q?apEAD+sHPe1Fq4XwqF8DoR64CAarGO7ixCNEimLv0aEmzugqDAXK0BEgEt4Ltn?= =?us-ascii?q?nfsdf7O7oIUe2twqfGzSvNYfBL1zjy9IfIcwssruuQUb9qa8fd1VUjGgHDg16N?= =?us-ascii?q?qYLlJTSV1uEVvmaf6OpgTviohHY5pgFrvDevx9wsipLTiY0J0l/J6z92wIMtJd?= =?us-ascii?q?2/U05wfNmpEJlXtyGBKYR6WN8tTHttuCYizb0GooW2czULyJg92h7fbv2Hc46I?= =?us-ascii?q?4hLkTuqROSt4iWtjdbmiiRiy9k2gxff9VsmyyFtKoS1Fkt7DtnAJyRPf8NSISv?= =?us-ascii?q?x4/ku5xDaP0gHT6udEIUAzj6bbM4IhzqYxlpoVr0vDBTP5mFnog6CKbEkk4vSo?= =?us-ascii?q?5uL6abvlvp+RL5J4hwXwP6g0h8CyD+Y1PhIKUmSB5Oix27zu8VXkTLhIkPE6iL?= =?us-ascii?q?fVvZDAKckZvKK1HgxY3pol5h2iFTmpys4YkmMCLF9deBKIkYzpO1bWLf/iC/e/?= =?us-ascii?q?n1WskCxzx//cO73tHovBImLekLfkfLZ97U5cyA0pwdBH+5JYErABIPTtVU/trN?= =?us-ascii?q?HUExs0PgKuz+r6Bthw1JkSVGaVDqOEP67fsEeE5uc1LOmNYI8Vtiz9K/8g5/P2?= =?us-ascii?q?j385l0MScLK00psWcny4A/FmI0SfYXrshdcNC38KvhYmQOzwlFKCSSJTZ2q1X6?= =?us-ascii?q?8k+j40EoemDYPaSoCpgbyBxzu7E4ZNZmFGD1CMCW3ne5+FW/cKciKSI9VuniYK?= =?us-ascii?q?Vbi7U4Uhzw2htBfmy7p7KerZ4jEXtZX61NRs++LTkQwy+idvAsSG02CNSnl0kX?= =?us-ascii?q?kSSz832qB/u019xU2Z3ah2mfwLXeBUstFOSYYNHpfZ1+thQ4TwXRnMONyATU6h?= =?us-ascii?q?Wf2qAHcsS9M3w9hIe1orSPu4iRWW/S2xgog+jbGKH4c9+ZX31n3pIN01n3TBz6?= =?us-ascii?q?RnhFAjWsxUHWGnwLN69g7TAMjRjxPKxO6Raa0A0XuVpy+4xm2UsRQdC1ApAPf1?= =?us-ascii?q?GEsHb06TluzXo0bLTrugE7Mia1cTxc/EN65LbN3uy01aFq66ZIbuJlmpkmL1Pi?= =?us-ascii?q?6mg6uWZdO2KWkcmjjYCU4ElEYL4STebFVsNmKau2vbSQdWOxfvbkfrq7MsoXWn?= =?us-ascii?q?T1QsxgTSNQt80ruz+hlTneDOE/4=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0ANAAB8cDhch5IJicFjFgYBAQEEAQEHB?= =?us-ascii?q?AEBgVEHAQELAYENSIEUgQIUAQERCoN3iBpfixCCGQOCepQMZRSBEAMCXgEfhAd?= =?us-ascii?q?GgisaBwEEMAkNAQMBAQIBAQEBARMBAQEKCwkIKSMMgjopgwsGVkgLCgJfDoMnA?= =?us-ascii?q?YIFAQqsVoEvhC4BTwRAg19+D4w/ghaBEYRTd00ZAgKBGh5lAYJKLYIqAqIBBwK?= =?us-ascii?q?HG4ERgj+HNIFkTY9NAY8CgwSIOgIEAgQFAhSBNBJtgSFNghEKgUQJCYIhg1aFY?= =?us-ascii?q?YRyPwEBAS8BAQaIaIEugR8BAQ?= X-IPAS-Result: =?us-ascii?q?A0ANAAB8cDhch5IJicFjFgYBAQEEAQEHBAEBgVEHAQELAYE?= =?us-ascii?q?NSIEUgQIUAQERCoN3iBpfixCCGQOCepQMZRSBEAMCXgEfhAdGgisaBwEEMAkNA?= =?us-ascii?q?QMBAQIBAQEBARMBAQEKCwkIKSMMgjopgwsGVkgLCgJfDoMnAYIFAQqsVoEvhC4?= =?us-ascii?q?BTwRAg19+D4w/ghaBEYRTd00ZAgKBGh5lAYJKLYIqAqIBBwKHG4ERgj+HNIFkT?= =?us-ascii?q?Y9NAY8CgwSIOgIEAgQFAhSBNBJtgSFNghEKgUQJCYIhg1aFYYRyPwEBAS8BAQa?= =?us-ascii?q?IaIEugR8BAQ?= X-IronPort-AV: E=Sophos;i="5.56,465,1539640800"; d="scan'208,217";a="291585767" Received: from antispam02.uminho.pt ([193.137.9.146]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 11 Jan 2019 11:34:19 +0100 Received: from localhost (localhost [192.168.27.203]) by antispam02.uminho.pt (Postfix) with SMTP id 43bfP31M1jzFsxS; Fri, 11 Jan 2019 10:34:15 +0000 (WET) X-MPS-TrackID: 43bfN517XszFswt40P7 Received: from SRV-EXCH2016-03.uminho.pt (srv-tmg03 [192.168.27.203]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by antispam02.uminho.pt (Postfix) with ESMTPS id 43bfN517XszFswt; Fri, 11 Jan 2019 10:33:24 +0000 (WET) Received: from GCU-Ultimate-Machine-The-Third.local.mail (172.25.7.180) by mail.uminho.pt (10.10.102.203) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.1591.10; Fri, 11 Jan 2019 10:33:23 +0000 Date: Fri, 11 Jan 2019 10:33:15 +0000 From: =?utf-8?Q?Jos=C3=A9_Creissac_Campos?= To: =?utf-8?Q?Jos=C3=A9_Campos?= CC: Steve Reeves Message-ID: MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="5c3870f0_37828e42_6ee3" X-Originating-IP: [172.25.7.180] X-Validation-by: jose.campos@di.uminho.pt Subject: [Caml-list] [CFP] FMIS 2019: 8th Formal Methods for Interactive Systems workshop Reply-To: =?utf-8?Q?Jos=C3=A9_Creissac_Campos?= X-Loop: caml-list@inria.fr X-Sequence: 17289 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: --5c3870f0_37828e42_6ee3 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Content-Disposition: inline [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 incre= asingly recognised as a key objective in contexts where safety, security, f= inancial or similar considerations are important. These risks are of partic= ular concern where users are presented with novel interactive experiences t= hrough the use of ubiquitous mobile devices in complex smart environments. = Formal methods are required to analyse these interactive situations. In suc= h complex systems analysis and justification that risk is reduced may depen= d 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 disci= plines within computer science (including HCI) and other behavioural discip= lines, from both academia and industry, who are interested in both formal m= ethods and interactive system design. An aim of the workshop is to grow and= sustain a network of researchers interested in the development and applica= tion of formal methods and related verification and analysis tools to HCI a= nd 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 hum= an 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 theor= y provided a link to interactive systems is made explicit. Application area= s considered include but are not limited to: pervasive and ubiquitous syste= ms, 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-rob= ot interaction. Submissions In order to encourage participation and discussion, this workshop solicits = two types of submissions - regular papers and short papers:=C2=A0 Regular paper=C2=A0submissions must be original work, and must not have bee= n previously published, nor be under consideration for publication elsewher= e. Regular paper submission must not exceed 16 pages.=C2=A0 Short paper=C2=A0submissions on recent or ongoing work on relevant topics a= nd ideas, for timely discussion and feedback at the workshop should not exc= eed 6 pages.=C2=A0 Publication=C2=A0 Both accepted regular papers and short papers will be published in the part= icipants proceedings.=C2=A0Revised versions of the regular papers, and of s= elected short papers, will be published in a volume of Springer's LNCS seri= es dedicated to FM 2019 workshops. Additionally, a special issue of Interacting with Computers on formal metho= ds for interactive systems is under preparation and welcomes extended versi= ons 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 (tenta= tive) Contact All questions about submissions should be emailed to fmis2019 at easychair = dot org -- =09=09=09 Jos=C3=A9 Creissac Campos=20=20 Dept. Inform=C3=A1tica/Universidade do Minho & HASLab/INESC TEC=20=20=20=20= =20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20= =20 http://www.di.uminho.pt/~jfc 3rd World Congress on Formal Methods (FM 2019) =C2=A0| FMIS 2019 --=20 Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list https://inbox.ocaml.org/caml-list Forum: https://discuss.ocaml.org/ Bug reports: http://caml.inria.fr/bin/caml-bugs= --5c3870f0_37828e42_6ee3 Content-Type: text/html; charset="utf-8" Content-Transfer-Encoding: quoted-printable Content-Disposition: inline =
[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

Reduc= ing the risk of human error in the use of interactive systems is increasing= ly recognised as a key objective in contexts where safety, security, financ= ial or similar considerations are important. These risks are of particular = concern where users are presented with novel interactive experiences throug= h the use of ubiquitous mobile devices in complex smart environments. Forma= l methods are required to analyse these interactive situations. In such com= plex 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 sci= ence (including HCI) and other behavioural disciplines, from both academia = and industry, who are interested in both formal methods and interactive sys= tem design. An aim of the workshop is to grow and sustain a network of rese= archers interested in the development and application of formal methods and= related verification and analysis tools to HCI and usability aspects of ub= iquitous systems.

Topics

The focus of the workshop is, though n= ot 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. W= e 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, augm= ented reality, scalability and resilience, mobile devices, embedded systems= , safety-critical systems, high-reliability systems, shared control systems= , digital libraries, eGovernment, human-robot interaction.

S= ubmissions

In order to encourage participation and discussion, this workshop s= olicits two types of submissions - regular papers and short papers: 

Publication 

Both accepted regular papers and short paper= s will be published in the participants proceedings. Revised versions of the regular papers, an= d of selected short papers, will be published in a volume of Springer's LNC= S series dedicated to FM 2019 workshops.

Additionally, a special issue of Interact= ing with Computers on formal methods for interactive systems is under prepa= ration and welcomes extended versions of FMIS 2019 papers.

S= ubmission Instructions

Submitted papers must follow the LNCS format (cf. Sprin= ger's LNCS site) and will be managed through EasyChair (link to be announce= d).

Important Dates

= Contact

All questions about submissions should be emailed to fmis2019 at easyc= hair dot org


=20=20=20=20=20 =20=20=20=20=20
--
=20=20=20=20=20
= --5c3870f0_37828e42_6ee3--