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
--- To opt-out from this mailing list, send an email to [email protected] with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting [email protected]
_______________________________________________ Om mailing list [email protected] http://openmath.org/mailman/listinfo/om
