We apologize if you receive this message more than once. We would
also appreciate if you could distribute this CFP to your colleagues.
-----------------------------------------------------------------
In response to some requests, abstract submission deadline is
extended to MONDAY OCTOBER 16. Please let us know if you need
extra time.
Also, if you are interested in no-submission participation, please
let us know your motivation to add you to our invitees list.
For more DETAILS and updates, check the web site indicated below.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Title: MODEL-BASED VALIDATION OF INTELLIGENCE
MAIN WEB SITE: http://ase.arc.nasa.gov/mvi
Part of the AAAI Spring Symposium Series
March 26-28, 2001
Stanford University, California. U.S.
http://www.aaai.org/Symposia/Spring/2001/sss-01.html
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Submission Date: October 9, 2000. (extended to October 13)
Notification of acceptance: November 8, 2000.
Submission of accepted Material: January 17, 2001.
-------------------------------------------------------------------
Topics include, but not limited to,
. Incorporation of verification techniques in AI systems.
. Incorporation of AI techniques in verification systems.
. Verification of domain models and reasoning engine code.
. Validation criteria and coverage measurements.
. Formal semantics for AI-based systems.
. Verification of integrated multi-layer systems and adaptive systems.
-------------------------------------------------------------------
SUBMISSION
Potential participants should submit a concise 1-3 page
abstract describing work recently completed or in progress (longer
papers may be accepted for distribution). Alternatively, a list
of questions may be submitted to help seed panel discussions on
interesting related issues.
Electronic submissions are preferred, in plain ASCII, PDF, or Postscript.
Please e-mail submissions to Lina Khatib (lina@ptolemy.arc.nasa.gov).
-------------------------------------------------------------------
INVITED SPEAKERS
Kim Larsen, Aalborg University, DENMARK;
Nicola Muscettola, NASA Ames Research Center; and
Paolo Traverso, IRST, Trento, Italy.
-------------------------------------------------------------------
ORGANIZING COMMITTEE
Lina Khatib and Charles Pecheur (Co-chairs), NASA Ames Research Center;
Edmund M. Clarke, Carnegie Mellon University;
Robert P. Goldman, Honeywell Technology Center;
Klaus Havelund, NASA Ames Research Center;
Nicola Muscettola, NASA Ames Research Center;
Paul Pettersson, Uppsala University, Sweden;
Paolo Traverso, IRST, Trento, Italy.
-------------------------------------------------------------------
This archive was generated by hypermail 2b29 : Wed Oct 11 2000 - 09:34:17 PDT