joachim baumeister ocdenuwhioaiwuerzburgde apologies receive message please note deadline paper submission october 22nd 2004 special track evaluation refinement intelligent systems 18th international florida artificial intelligence research society conference 2005 may 1618 2005 adams mark hotel clearwater beach florida usa florida ai research society founded 1987 promote advance artificial intelligence membership open florida residents nonresidents attend yearly conference inception one major goal society promote ai thorough conference conferences held yearly since spring 1988 1995 conference title changed international flairs conference recognize contribution international participants within conference 18th international flairs conference flairs2005 held may 1618 2005 clearwater beach fl usa invited speakers flairs2005 lawrence hunter univ colorado martha pollack univ michigan ted senator darpa david stork ricoh stanford univ verification validation ai systems popular topic last years flairs authors realized lack systematic methods formal techniques verification validation vv often one important reason using ai systems practice first contributions field limited classical ai systems actually papers verification validation nonclassical kinds systems like casebased systems eg knowledge processing principles learning principles eg intelligent behavior published moreover community system developers users express strong need validation techniques systems ecommerce elearning fieldeg thus generalized track titled described objective special track focus contributions fields provide environment communicating different paradigms approaches thus hopefully stimulating future cooperation synergistic activities track host contributions evaluate intelligent systems verification validation vv popular ones kind evaluation types also welcome also includes limited evaluation issues system development evaluation system certification including contributions besides technical ones field using evaluation results knowledge maintenance refinement possible fields related papers detecting handling inconsistencies anomalies within knowledge bases fundamentals formal methods verification ai systems fundamentals formal methods techniques validity assessment ai systems ai principles intelligent behavior general special approaches verify andor validate certain kinds ai systems rulebased casebased special approaches tools evaluate systems particular application field knowledge base refinement revision using results evaluation problems system certification paper related similar areas welcome flairs05 cooperation american association artificial intelligence aaai papers refereed accepted papers appear conference proceedings published aaai press selected authors invited submit extended versions papers special issue international journal artificial intelligence tools iaait published 2006 call papers full paper singlespaced 6 pages paper submitted please check website wwwflairscomflairs2005 information regarding submission deadlines paper submissions full paper due october 22 2004 notification letters sent january 7 2005 camera ready copy due february 4 2005 program committee referees rainer knauf program cochair technical university ilmenau germany avelino gonzalez program cochair university central florida fl usa joachim baumeister wuerzburg university germany scott harmon phd zetetix oak park ca usa stephane loiseau universite dangers france mieczyslaw lech owoc wroclaw university economics poland silvie spreeuwenberg librt bv amsterdam netherlands takao terano graduate school systems management university tsukuba tokyo setsuo tsuruta tokyo denki university tokyo japan neli p zlatareva central connecticut state university ct usa information information contact rainer knauf jbbpykwydgotuilmenaude dr joachim baumeister mailtoocdenuwhioaiwuerzburgde applied informatics artificial intelligence university wuerzburg tue 05 aug 2008 162259 0700 uai cfp flairs05 evaluation refinement intelligent systems