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 ([EMAIL PROTECTED]). ------------------------------------------------------------------- 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. -------------------------------------------------------------------
