<html><head><style>body{font-family:Helvetica,Arial;font-size:14px}</style></head><body><div style="font-family:Helvetica,Arial;font-size:14px; "><pre style="font-size: 13px; white-space: pre-wrap; word-wrap: break-word;">[Apologies for cross-posting]</pre><pre style="white-space: pre-wrap; word-wrap: break-word;"><b style="color: rgb(38, 38, 38); font-family: "Avenir Next"; font-size: 15.5px;">CALL FOR PAPERS</b></pre><p style="margin: 10px 0px 0px; font-stretch: normal; line-height: normal; font-family: "Avenir Next"; color: rgb(38, 38, 38);"><b>FMIS 2019: 8th Formal Methods for Interactive Systems workshop</b><br>(co-located with FM 2019 - Porto, Portugal, October 7, 2019)</p><p style="margin: 10px 0px 0px; font-stretch: normal; line-height: normal; font-family: "Avenir Next"; color: rgb(38, 38, 38);"><a href="https://sites.google.com/view/fmis2019" style="overflow-wrap: break-word; word-wrap: break-word; word-break: break-word; -webkit-hyphens: auto;">sites.google.com/view/fmis2019</a></p><p style="margin: 10px 0px 0px; font-stretch: normal; line-height: normal; font-family: "Avenir Next"; color: rgb(38, 38, 38);">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.</p><p style="margin: 10px 0px 0px; font-stretch: normal; line-height: normal; font-family: "Avenir Next"; color: rgb(38, 38, 38);">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.</p><p style="margin: 20px 0px 0px; font-stretch: normal; font-size: 15.5px; line-height: normal; font-family: "Avenir Next"; color: rgb(38, 38, 38);"><b>Topics</b></p><p style="margin: 10px 0px 0px; font-stretch: normal; line-height: normal; font-family: "Avenir Next"; color: rgb(38, 38, 38);">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</p><p style="margin: 10px 0px 0px; font-stretch: normal; line-height: normal; font-family: "Avenir Next"; color: rgb(38, 38, 38);">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.</p><p style="margin: 20px 0px 0px; font-stretch: normal; font-size: 15.5px; line-height: normal; font-family: "Avenir Next"; color: rgb(38, 38, 38);"><b>Submissions</b></p><p style="margin: 10px 0px 0px; font-stretch: normal; line-height: normal; font-family: "Avenir Next"; color: rgb(38, 38, 38);">In order to encourage participation and discussion, this workshop solicits two types of submissions - regular papers and short papers: </p><ul><li><b style="caret-color: rgb(38, 38, 38); color: rgb(38, 38, 38); font-family: "Avenir Next"; text-indent: -22px;">Regular paper</b><span style="caret-color: rgb(38, 38, 38); color: rgb(38, 38, 38); font-family: "Avenir Next"; text-indent: -22px;"> 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.</span><span style="caret-color: rgb(38, 38, 38); color: rgb(38, 38, 38); font-family: "Avenir Next"; text-indent: -22px;"> </span></li></ul><ul><li><b style="color: rgb(38, 38, 38); font-family: "Avenir Next"; text-indent: -22px;">Short paper</b> <span style="color: rgb(38, 38, 38); font-family: "Avenir Next"; text-indent: -22px;">submissions on recent or ongoing work on relevant topics and ideas, for timely discussion and feedback at the workshop should not exceed 6 pages. </span></li></ul><p style="margin: 20px 0px 0px; font-stretch: normal; font-size: 15.5px; line-height: normal; font-family: "Avenir Next"; color: rgb(38, 38, 38);"><b>Publication </b></p><p style="margin: 10px 0px 0px; font-stretch: normal; line-height: normal; font-family: "Avenir Next"; color: rgb(38, 38, 38);"><span style="text-indent: -22px;">Both accepted regular papers and short papers will be published in the participants proceedings.</span><span style="text-indent: -22px;"> </span>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.</p><p style="margin: 10px 0px 0px; font-stretch: normal; line-height: normal; font-family: "Avenir Next"; color: rgb(38, 38, 38);">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.</p><p style="margin: 20px 0px 0px; font-stretch: normal; font-size: 15.5px; line-height: normal; font-family: "Avenir Next"; color: rgb(38, 38, 38);"><b>Submission Instructions</b></p><p style="margin: 10px 0px 0px; font-stretch: normal; line-height: normal; font-family: "Avenir Next"; color: rgb(38, 38, 38);">Submitted papers must follow the LNCS format (cf. Springer's LNCS site) and will be managed through EasyChair (link to be announced).</p><p style="margin: 20px 0px 0px; font-stretch: normal; font-size: 15.5px; line-height: normal; font-family: "Avenir Next"; color: rgb(38, 38, 38);"><b>Important Dates</b></p><ul><li><span style="white-space: pre; color: rgb(38, 38, 38); font-family: "Avenir Next"; text-indent: -22px;">Paper Submission: June 21, 2019</span></li><li><span style="color: rgb(38, 38, 38); font-family: "Avenir Next"; text-indent: -22px;">Notification: July 31, 2019</span></li><li><span style="color: rgb(38, 38, 38); font-family: "Avenir Next"; text-indent: -22px;">Camera Ready: September 2, 2019</span></li><li><span style="color: rgb(38, 38, 38); font-family: "Avenir Next"; text-indent: -22px;">Workshop: October 7, 2019</span></li><li><span style="color: rgb(38, 38, 38); font-family: "Avenir Next"; text-indent: -22px;">Submission of paper revision for LNCS publication: November 11, 2019 (</span><b style="color: rgb(38, 38, 38); font-family: "Avenir Next"; text-indent: -22px;">tentative</b><span style="color: rgb(38, 38, 38); font-family: "Avenir Next"; text-indent: -22px;">)</span></li></ul><p style="margin: 20px 0px 0px; font-stretch: normal; font-size: 15.5px; line-height: normal; font-family: "Avenir Next"; color: rgb(38, 38, 38);"><b>Contact</b></p><p style="margin: 10px 0px 0px; font-stretch: normal; line-height: normal; font-family: "Avenir Next"; color: rgb(38, 38, 38);">All questions about submissions should be emailed to fmis2019 at easychair dot org</p></div><br><div class="gmail_signature">
<title></title>
<div>--
</div>
<div>
<table style="font-family: -apple-system, BlinkMacSystemFont, sans-serif; border: none; border-bottom: solid 1px black; padding-top:1em; padding-bottom:1em; margin-bottom: 5px;">
<tbody>
<tr>
<td valign="top">
<img src="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAE4AAAA8CAYAAADIQIzXAAAAAXNSR0IArs4c6QAAEhJJREFUeAHtm3WsbbUSh3vOPbi7w7m4u2sIwZ0QJBAsAQLBNUAgF4eQ4O5uwYIHd9fg7u7u9M033F/f7N61z97nAO+fd5vs3XY61ul02tXVlcYZZ5ycUso9PT2eU+70GwxuJ15qF8+ZZ57Z5V966aX5zjvv9PIss8zSUSf4iId4/pt5rzEfdMqZfqRkio5C2wQbBalLgOR0iZ4ifq1HXe+WZzu8QRsOBaREVBQBwIGpvZ3QfwMumcqjHk16CW+ougzacCgkg9XCBVc+VKVEV/MXvM6jYZAd6Xp7e4u+tFEn1Xg1z071QRkOhaJSMlCEx3In4Z3axb8bPOQKX0Yh//PPP51cese68Dvxb2rvawK2g0VBUgTYGGOMkaacckofza+++ip9//33Zdq24/VPw2vdqI877rhphhlmSD/99FN6//33ky0y6Y8//khvvfVW8bhINxidBmW4yFgCxxprrPTLL7+4YmqfYIIJ0nffffe3jafBEd9OOdMQj0I3DPbee++lV155xcng9cYbb5S2H3/8MX3xxRedWLZtH9RUjVxQBKP99ttvDr722mvT/fffnxZaaCE32qSTTlqmTqQbTFmD0w0N+mgazj777G40YOecc0468MADXZfTTz89HX744d6G0YYPH94N62acuI8zQS37JdWVG4eW9hlnnNH3Tuuss07+9ddfrZ85H3zwwY4z22yzed6ONvKKONqzDWYfBz2/ySabLM8666wud9VVV81PPfVUNmNmM1I+9thjXT/qN954Y+nHnHPOmc0BGnWNekV9Kbd4nHE22H+T6uTGpGVhAAsYbeOPP37xPOJdU9JqpjZolcSfel0WTp3X9HgPXvT666+nQw45JF188cXu/eC9+uqryYyYPvzwQ9d5zTXXdNjWW2+dXn755cTsmGaaaVpkq2+1XNVLjBNizEEac8wx01RTTZW+/vrr9O2334rOczpJYrrGZR+Y2ijDk2k09thjp6mnnjp9+eWXhVeUJxpylaEfKMHTPN8NAd7NN9+czNtcH/S67rrr0kYbbeQsXnrppXTyySenJZdcMtmMSCeeeKKXt99+e283b3XDo1OnVDxOiiqHsK+vzwP/u+++63GLVYm4Vqdhw4a5YWSE2C4j9Pf3e2fefvttNxpeGvElV0qTq6w28dUgTTvttGmiiSZKr732mhsHw6y++uou55NPPkmHHXaYw+GD7k8++WRaeuml03nnnZd++OEHnynbbbedx+aZZprJF4855pjD+4jMepZIvuftYpxNuTLvzaVLefLJJ89mBK8T44xJXn/99fPvv/9usnI+4ogjHGYB2nObAgUf3J133jmLzoxXni+tc44fn1XvuOMOhyluCQc+xDNyfueee2622eDy+Xv88cfzEkss4W3EWjOuy5luuukKnXlZfvPNNwuNrcB5t912KzzNk0tZclryaDgapJw6Z7HCmduo5hEjRpR2OmhLfmFOJwnGyy+/fFHSRq+0o6iCta2+jjPxxBNnKSi50XA85AMXTIpDBxzjPPTQQ6Xz5kX5ggsuKDI1eOCKv+3tMguC+oretrdzHj///HM+//zzvW288cbLch7JbcllOHPLwgwEc12v2zajKIaAhx9+OG+11VYFNxpHykkx+Cy66KLZ4k62TXHh8+ijjxblkB87JiPFVRWPAwcdLXxki5NO/9hjjxWeeMyuu+7q8EkmmSRPP/30Xla/0EX6UZYXU7ZYl23jXniddtppjhtxwGv5yXAtQEPSEg38lFNOybYi+dIOd0b2lltuycsuu2xhhqFtEclMTfE6++yzs8WaopAtMPmSSy4p7RNOOGEpq1PRcJqq2qLAFzw8nZwtBlsN8DR18TK8hXbxlD6qy5joKwdZb7318osvvpjtCSNvuummrpdCkuhbco24mEWBMiowW+7zlVdemek8eyHSZ599li+88MLSeXti8DJT2rYFxWDs8e655x6PhRIuXNXVqWi4+jwOHBloiy22yLfddpuHD/GIBlZ/1KZccpTjwcRB1c8888xMeJJXMwg1rdejcURMg62UTgAhnVHb2muvne+7775sj1nFMMS/FVdc0fEZ/ZheeOGFvO+++xZ6eKnz4ok8laPh5HGCgae4ddddd7kYe6RyuUxPxUvvmOHGXPybYLY6Oy4beXuudcc4+uijHRYHI9L2GkOr/3czqzoPwySWbVt9fJPIUn3DDTckWwDSAQcckMwojsNSP++88/r2gUcu0gcffJAsVjjclEjm9snijvNio4oc67njdvqTTuBBQ50HdRJ8d9ppp8Thgq34Dmv6E11sk3xzHue5wQYblMdIDgVI7D9JUQcHyOPk2obgllZuSMUbKM8111x5vvnmK7CTTjopH3PMMU5D+z777OOuvtxyyzmM0Vx44YU9qNMe+TXJkHfFxSGOurxj3XXXzd988431Peerr77a+Yo28pXMKDeW2RLJBqz6JNsPev+Yxpqqo/BkeY6MoiAZExhznjindjoTmRFQd9hhhxYYq6twpphiirLSwSPypi48db7JcNDYk0xmWkJjG1rvKPFU9O06qnZyleGhxWzDDTf0vSDx+6qrrnL+CgsRHxp+/uRgDVZuTcBwU3b4xiB9/PHHPj223XbbZMu+TzlbkZyI3bitcOn4449PO+64o8MWWGABfw7cZpttknlhsoXEj5541OHYCd5NcqMWZpVSlT620CRbjR3+xBNPeM4j1+677+5lHg9JkdYBI/+A85NspilplVVW8b4Sou69916HcVwGXiOv2uMM0S1qlMWFKbPZZE/HVsSeAfMee+zheOBvsskmfjrCaCmoQrPyyiv7KmyCfUFhYRF/pgg4+gkePY7FAbimqnA0Xe1hvfBHN9pZIeEZPVp0wGOZulZP7QntQKD0S7aRjjHvjda3hjIaPDxzcko644wzfFGwvY6fqtoOO3EQSIKeUcITTCnPgVMGh8WFZDEv2dbFf7RxSoznDZTAg3+dtBDcdNNN/pxK+zzzzOO4nI7w/IpHK8U+Rn54JzNppZVWSrbZdfqnn37ayfBi9VF8Yl4e8gWUshyFk+zsKvEgbDHKjfLAAw+kLbfcMnEoaDHMcaDhQIBkI+05q+yDDz6YNt5443T77bcnjG2PSmnzzTdPd999t+NwBKVDg9ghb7S/GqY6A2pxztHMUzznxJcwQkJOnUQb4Ro4W2icnz1vJ9tqOQrOQL/aJe+lmMpoIAvGURLl5557Lu23337uOddcc40rpxGBLo4w9LQRizA08WPPPfdMzz77LE3OT0rBm7LqjjDyrx2cZnkyx0gceTFDkAM/4rJNwZYf522C4RTUNciLL764S+So3Z6SvMzgyAYOqP+0FJuSZW4bTssD7mabbVbaeEThlAEcHQTYeZdvHE1QtqMcb9OKRAzRMx8ydtlll8xDOvTEuVpuHePAq2McMOgU67SNYHWlrdNPMsGzYyh/bCM+29md08bdQztefVjVGFn7X0l1DgE5xCR22fOlNxpDX02pRJpY1ijigcCJISQziNPavs9H0rYNHue8scs/6UbODx7IICQsuOCCyZ5IPFYxjSkz9UjgRFqmIXGQQ87+/n7f3INnj3BkJYmuAEKhT43kSgjBABiNKYBr22bTOw5cigsfRYCRlIuv8Hn6IKawu//88887vgWDPuoEb/EUnKcT5DEYBHpk2NmcH5lrsYo6USaJN7gY74orrkgcxp566qneb47YSeqLV6q/UY7O1a6YRVBn7sMEgYJLOPh6zwCOPE5CyVXmlSE/JcFVj3mko4y8mINLHGVgeaeg43H2i8S4bhL8htsssudsR0d35Ay4fxvJuBhOU6tWDjxgMY9lBNEBVlXKTHFyfhHPKyP/aGuSE3FiWV4rOrVRZ2DZxPbblOPo/KCDDkp23OVbJPDAgT72T3BoL7roImdncTRxrA+e8L2h3V+7xcHwPVCa4JZccHLRUiaw2o47W6xxfD0WRfxYFl/BVGdxoFw/cqkd/FiOdW1Y6/aIU8ujbiHEdVZbN3nxOEP2JO+q6zWcdpZsLSBsjk1h9ySmCpvUgVITP+GrTTnwdmXRIBt9bMX3qUpdXiacpvzTTz8tukr/JrwaNorhaoROda2+rGR0DuWJY125ewNzGWgwnYBG+CwYQ0mij7RNMLW3GA7ETkk4KKtOsoLhYbQpsCpWCKcbvuBicJLoKYuHZAOjDFw5ZVZGVngNWsSHpl0CT94pfjFvovN9HA1Srgkpwmo8KY/xlIBJecG6zWMHoKED/JQkv87BwWgkeJCE45UB/oRHHssDkKQ+Hj3YKGqkhQyDqLDgyiVAdeGq47TXPIVb5+IFLY9pkg1PysCIXXgUMH7gwl+0olG9ltGpLlnkSuKpesz7dAQdgd2WJSziN8Fie6cyR9bwYIvDtCfpxCLSDtWjI4+/U+4ZeeZVRk7MujGARuSf7AS82F+xr2Jz+/zzz/s+LXpy1A0dJJ9cOglf/RlKLl5NtD0mgH1RU9v/BDaQcgMpEOliGZq6PhCfdm2dePRYQGXzNzoN0gI9ZtnRhhuk0UD/a9M0BML/d5LRhhuiB4w23GjDDdECQyQb7XGjDTdECwyRrNHjmnYoTTDJHKhNOJ1y8ajzdnTCoz2W2+FHeDv8Gj5QvdFw9ZMEDOJjjpQArrYIUznmAykBnmRKjnLaatqIX5epD5SkL49kMQkeYbUO0hEcN1ytWF0Xs0gIjHpkLpjwYy5a8a7pwI1t1EXThCt80ahO3pSEJ54815IinLLqahN+rUPL3RGNgpCdc/UXGasp4tfttTKiAR7pgEu5mofaREsu+sgjlsHR+VzkV5cjDWXVxR8+SmqjXm5kgqjTBRqiAOpKEMe2uhyZQ0NdMHBVVi6+5GpvalN7xFc56hDxOL8jwY+f+Au/liN4jSeeLe316QiNNaGObSQotkspvLVWjjpwDYjohSdFBFcnax1oF45mhXhKF9GSkyI81nW0Lhg5vEjiLVnAxCfCgA+zG0cjuKbAmym+bVpkkUX8zZWU5burs846y68Y6N0phGonh7mEk0sIud1U96sOXJsicWGHCzOc6IoHcJXtir/zsnshBUa7Evw5rzvuuOMSd5LRW7TowY838XZh29+DzD333Mk++vBrHJzxcfuK20y8XBIdF4tOOOGENP/885fbU2pTLvkyZO8zzzyT+FaLt1P777+/d4rLzXbnv1x5oNOcFOvjNU5peZNlH4ukjz76yJXF+Lzx5006OdevOMXlehhXHzjN5bYS37VynYLOc5OJD3FRDhjfWuk7KzyDdvjSTiLHKFzF4kI2HoJO9imA09OOYTEE19Ds6r3rffnll7uh6SO3S8Hh5RJfDnKfDj0vu+wyl6+PgeGBHN19wWDSgbyPyye8CUeofTvgihx55JE+KhDtvffefgrLW25eBXIVlStfusLFXRC7+5sOPfRQv+iy2mqr+V0MLvpxrYoTXIxkX9MkO21277MXx27Y66+/3q+N0kmuj8IXI6Mklxm5RwfuUUcd5deyGDDuwOFpa621lg+Qvbj2dxG33nqrf9DLRRwMuswyy/jPPmRJiy22mJ8mM3gYg68HkY0BMZ59l+EweDBYGJzb9TgBDsLHwTiAvA3D9TIKuuDHZRiMwwscFOSyHp4AgxVWWMGv4HOjhyv5CFhjjTVcKUaHtNdee/kdNS4Vojy08OelLx5oH8gl+2DOPQLDYwB5M+8V+M4UnlyewZB29dVDB/xRmpkBPp8K0BE8FENz7QG9+GIQPPrA/WT0tA/bkt2UT0x9dEIX2jEwFya5KQp/nIcLkwy8fUTnNz35+hDj6vN0eJPIe4lpfBTLCHPhmXN+PA0hGIz0zjvvuCJcncI7llpqKb86ymiBz4eyeCTxRt+38pk5l5t5gwacWEOstK9lfGpwgc/utflUwusxIrGIqYxR0IVwgcfBnxlB59GFa2eEGHgSVri0jU7cqgIP3QkLGJk6RmRKYjAGkleZeBLhAGchp6/AMT664DzEfKb0cLuYo4TR4NljyFx7d+/gZiIjgcIIY4RRFuW4I0vsIqZgbHJiHMpx940LL4wshoQfStB5FMIr2BrQGfijCKPM6OPt0GNgPjihnXCAgo888ogvIvBRAofOYmzkoROymY5c9aJT6IuBWQx4s08fiNEsSOjDQGAQjEOMZqEAzgcs8EM++iGfBQN94RvTfwDxNDCuxXXQ/wAAAABJRU5ErkJggg==">
</td>
<td></td>
<td valign="top" style="padding-left: 10px;">
<div class="ApplePlainTextBody" style="font-family: Helvetica;">
<b>José Creissac Campos</b>
<br>
<span style="font-size: 13px;">Dept. Informática/Universidade do Minho & HASLab/INESC TEC</span>
</div>
<div class="ApplePlainTextBody" style="font-family: Helvetica; font-size: 13px;">
<a href="http://www.di.uminho.pt/~jfc">http://www.di.uminho.pt/~jfc</a>
</div>
</td>
</tr>
</tbody>
</table>
<font face="Helvetica" style="margin-bottom: 3px; text-decoration: none; color: rgb(0, 102, 204); font-size: 11px;">
<a href="http://formalmethods2019.inesctec.pt/" style="margin-bottom: 3px; text-decoration: none; color: rgb(0, 102, 204); font-size: 11px;">
<b>3rd World Congress on Formal Methods (FM 2019)</b>
</a>
| <a href="http://sites.google.com/view/fmis2019" style="margin-bottom: 3px; text-decoration: none; color: rgb(0, 102, 204); font-size: 11px;">
<b>FMIS 2019</b>
</a>
</font>
</div>
</div></body></html>