[FM-India] CFP: Formal Verification & Modeling in Human-Machine Systems

Madhavan Mukund madhavan at cmi.ac.in
Fri Sep 6 10:35:45 IST 2013

 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: Fri, 6 Sep 2013 03:24:05 +0000
 Subject: [fm-announcements] CFP: Formal Verification & Modeling in Human-Machine Systems
 Formal Verification & Modeling in Human-Machine Systems AAAI 2014
                     Spring Symposium (FVHMS 2014)
 Overview: 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. Recent
 papers in each of these communities discuss modeling challenges and
 the application of basic formal verification in human-machine
 interaction; however, there is little communication between
 researchers in these different areas and there are many open questions
 that require cross-disciplinary collaboration. The workshop is to
 bring together experts from many communities in an environment where
 it is possible to explore key research areas, common solutions,
 near-term research problems, and advantages in combining the best of
 the different communities.
 Submissions: We solicit papers describing original work either
 in-progress or finished, position papers or extended abstracts
 describing research or positions. 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
 Topics of Interest:
 * What model classes, methodologies, and constructs are appropriate
   for modeling human and machine activities in a way that is amenable
   to formal verification? Examples include
      	   - Programming languages
            - State Machines
            - Activity models (e.g. Brahms)
            - Cognitive models (SOAR, ACT-R, DIARC, etc.)
            - Task analyses-based models (GDTA, CWA, etc.)
            - Probabilistic models
            - Behavioral game theory
 * What levels of abstraction are appropriate for such modeling, and
   what information is lost in using abstraction?
 * What are the contexts, if any, for which the trade offs between
   authority between humans, autonomy, and model-based reasoning can be
 * What is the impact on design for including explicit (meta-)
   reasoning models in the human-machine interaction loop?
 * What types of model-checkers are appropriate, and what other lessons
   from formal verification apply to human-machine systems?
 * What are the ethical considerations of using verified models to
   allocate responsibility and authority between humans and machines?
 * What organizational structures are appropriate for human-machine
   collaborative work?
          - Master-slave
          - Teammates
          - Principal-agent
 * How can dynamic models evolve in the presence of learning agents,
   both human and machine, and in the presence of inaccurate mental
 Important Dates:                     
 Oct 18, 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
 Michael Goodrich, Brigham Young University, USA
 Eric Mercer, Brigham Young University, USA
 Neha Rungta, NASA Ames Research Center, USA
 Ellen Bass, Drexel University, USA
 Invited Speakers:
 Amy Pritchett, Georgia Tech, USA
 Philippe Palanque, IRIT, University Paul Sabatier, France
 Christian Lebiere, CMU, USA

More information about the FMIndia mailing list