ian miguel tjltdcsstandacuk appologies multiple copies please note extended deadline call papers sara2005 symposium abstraction reformulation approximation radisson sas airth castle hotelstirlingshire scotland july 26thjuly 29th 2005 prior ijcai2005 submissions accepted sara2005 submissions due march 1st may either full papers extended abstracts graduate students whose research involves techniques abstraction reformulation approximation highly encouraged submit email submission pdf attachment ywwl_kdnrupyelxlimbioparis13org body email please include papers title abstract authors contact information full details submission requirements additional information sara2005 may obtained symposium home page httpsara2005limbioparis13org overview sara2005 artificial intelligence symposium aspects abstraction reformulation approximation like past editions sara2005 offer stimulating technical presentations insightful invited talks ample space discussion sara2005 located wonderful location radisson sas airth castle hotel stirlingshire 20 minutes edinburgh scotlands capital city one greenest architecturally beautiful cities northern europe make convenient ijcai2005 attendees participate sara bus drive sara ijcai conference site afternoon july 29th submission submissions requested aspects abstraction reformulation approximation ara including limited following topics new techniques automatically constructing selecting appropriate ara methods selecting several applicable ara techniques best given problem frameworks unify classify ara techniques empirical theoretical studies costs benefits ara applications ara including constraint programming domain reduction search deterministic probabilistic planning theorem proving logic programming knowledge reformulation reasoning uncertainty fielded applications demonstrating benefits ara information additional information may obtained symposium home page httpsara2005limbioparis13org lorenza saitta jeandaniel zucker sara2005 cochairs wed 06 aug 2008 043802 0000 uai final cfp symposium abstraction reformulation approximation sara 2005