<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">
<font class="Apple-style-span" face="Arial">The deadline for submissions to the AAAI Spring Symposium on formal verification in human-machine systems has been changed to
<span tabindex="0" class="aBn" data-term="goog_528682126"><span class="aQJ">Oct 22</span></span>.
<br>
<br>
<a href="http://faculty.cs.byu.edu/%7Emike/mikeg/WORKSHOP/cfp.html" target="_blank">http://faculty.cs.byu.edu/~<wbr>mike/mikeg/WORKSHOP/cfp.html</a><br>
<br>
</font>
<div>The goal of the workshop is to bring together the fields of formal verification, cognitive modeling, and task analysis to study the design and verification of real human-machine systems. <font class="Apple-style-span" face="Arial">We solicit papers describing
original work either in-progress or finished, position papers or extended abstracts describing research or positions in any of the aforementioned topics or at the intersections of these topics.</font></div>
<div><font class="Apple-style-span" face="Arial"><br>
</font></div>
<div><font class="Apple-style-span" face="Arial">Papers should follow the AAAI formatting, with a page-limit of 6 pages. Proceedings of the symposium will be published by AAAI as a CD, distributed at the symposium. Selected papers will be invited to submit
extended versions of their contributions for review in a follow-on special issue of the IEEE Transactions on Human-Machine Systems dedicated to the same topic.</font></div>
<div><font class="Apple-style-span" face="Arial"><br>
</font></div>
<div>
<h3><font class="Apple-style-span" size="3" face="Arial">Important Dates </font></h3>
<p><font class="Apple-style-span" face="Arial">Oct 22, 2013: Submission deadline<br>
Dec 10, 2013: Notification of acceptance/rejection<br>
Jan 10, 2014: Camera-ready papers due <br>
Mar 1, 2014: Registration deadline <br>
March 24-26, 2014: Symposium</font></p>
</div>
<div><font class="Apple-style-span" face="'Times New Roman', Times, serif"><br>
</font></div>
</body>
</html>