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
fm-announcements-requ...@lists.nasa.gov
with the word 'unsubscribe' as subject or in the body. You can also make the
request by contacting
fm-announcements-ow...@lists.nasa.gov
------------------------------------------------------------------------------
October Webinars: Code for Performance
Free Intel webinars can help you accelerate application performance.
Explore tips for MPI, OpenMP, advanced profiling, and more. Get the most from
the latest Intel processors and coprocessors. See abstracts and register >
http://pubads.g.doubleclick.net/gampad/clk?id=60135031&iu=/4140/ostg.clktrk
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
