ian miguel tjltcsstandacuk second call papers note extended deadline apologies multiple copies sara 07 seventh international symposium abstraction reformulation approximation whistler canada july 1821 2007 organised cooperation aaai colocated aaai07 httpwwwcsstandacukianmsara2007html recognised since inception artificial intelligence abstractions problem reformulations approximations ara central human commonsense reasoning problem solving ability systems reason effectively complex domains ara techniques used variety problemsolving settings including limited automatic programming automated reasoning cognitive modelling constraint programming design diagnosis machine learning modelbased reasoning planning scheduling search theorem proving tutoring primary use ara techniques settings overcome computational intractability decreasing combinatorial costs associated searching large spaces addition ara techniques also useful knowledge acquisition explanation generation complex domains aim symposium provide forum intensive interaction among researchers areas artificial intelligence computer science interest different aspects ara techniques diverse backgrounds participants previous symposia led rich lively exchange ideas allowed comparison goals techniques paradigms helped identify important research issues engineering hurdles expect upcoming symposium include equally diverse group participants invited speakers vadim bulitko university alberta canada alan frisch university york uk john hooker carnegie mellon university usa important dates submission march 26th notification april 23rd final versions may 13th please see website details submission procedures organisation conference chairs ian miguel university st andrews uk wheeler ruml palo alto research center usa publicity chair karen petrie university oxford uk sponsorship chair peter nightingale university st andrews uk programme committee j christopher beck university toronto canada berthe choueiry university nebraskalincoln usa johann de kleer palo alto research center usa marie desjardins university maryland baltimore county usa stefan edelkamp universitat dortmund germany boi faltings ecole polytechnique federale de lausanne switzerland ariel felner bengurion university israel alan frisch university york uk hector geffner universitat pompeu fabra spain mike genesereth stanford university usa fausto giunchiglia university trento italy brahim hnich izmir university turkey daniel kayser universite parisnord france sven koenig university southern california usa derek long university strathclyde uk michael lowry nasa usa peter revesz university nebraskalincoln usa mariechristine rousset university grenoble france lorenza saitta universita del piemonte orientale italy bart selman cornell university usa barbara smith cork constraint computation centre ireland miroslav velev carnegie mellon university usa toby walsh university new south wales australia weixiong zhang washington university usa rong zhou palo alto research center usa robert zimmer goldsmiths college university london uk jeandaniel zucker universite paris 6 france thu 07 aug 2008 181242 0000 uai cfp sara 2007 7th international symposium abstraction reformulation approximation