[Om-announce] [fm-announcements] Call for papers: AAAI Symposium on formal verification in HMI

[Rungta, Neha S. (ARC-TI)[Stinger Ghaffarian Technologies Inc. (SGT Inc.)]]

The deadline for submissions to the AAAI Spring Symposium on formal verification in human-machine systems has been changed to Oct 22.

http://faculty.cs.byu.edu/~mike/mikeg/WORKSHOP/cfp.html<http://faculty.cs.byu.edu/%7Emike/mikeg/WORKSHOP/cfp.html>

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. 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.

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.

Important Dates

Oct 22, 2013: Submission deadline
Dec 10, 2013: Notification of acceptance/rejection
Jan 10, 2014: Camera-ready papers due
Mar 1, 2014: Registration deadline
March 24-26, 2014: Symposium

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://openmath.org/pipermail/om-announce/attachments/20131017/0c42d5fd/attachment.html>
-------------- next part --------------
---
To opt-out from this mailing list, send an email to

fm-announcements-request at lists.nasa.gov

with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting

fm-announcements-owner at lists.nasa.gov