[FM-India] Call for papers: AAAI Symposium on formal verification in HMI

[Madhavan Mukund]

 From: "Rungta, Neha S. (ARC-TI)[Stinger Ghaffarian Technologies Inc. (SGT Inc.)]" <neha.s.rungta at nasa.gov>
 To: "fm-announcements at lists.nasa.gov" <fm-announcements at lists.nasa.gov>
 Date: Thu, 17 Oct 2013 23:42:42 +0000
 Subject: [fm-announcements] Call for papers: AAAI Symposium on formal verification in HMI
 
 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