Home » News and posts » Call for papers – Formal Verification & Modeling in Human-Machine Systems AAAI 2014
Announcements Conferences R6 Actvities

Call for papers – Formal Verification & Modeling in Human-Machine Systems AAAI 2014

IMGP0104 copy

 Formal Verification & Modeling in Human-Machine Systems AAAI 2014
Spring Symposium (FVHMS 2014)
March 24-26, 2014

Webpage: http://faculty.cs.byu.edu/~mike/mikeg/WORKSHOP/

Held in conjunction with the AAAI 2014 Symposium in Palo Alto, CA
http://www.aaai.org/Symposia/Spring/sss14.php

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

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 specified?
  • 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?           
  • How can dynamic models evolve in the presence of learning agents, both human and machine, and in the presence of inaccurate mental models.
    • Master-slave
    • Teammates         
    • Principal-agent

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

Organizers:
Ellen Bass, Drexel University, USA
Michael Goodrich, Brigham Young University, USA
Eric Mercer, Brigham Young University, USA
Neha Rungta, NASA Ames Research Center, USA

Invited Speakers:
Amy Pritchett, Georgia Tech, USA
Philippe Palanque, IRIT, University Paul Sabatier, France

Follow Us

Upcoming Region & Volunteer Meetings

Nov 03

EVO 2.0 Conference

November 3 @ 1:00 pm - 4:00 pm
Nov 10

Find Announcements

Past Announcements