karen petrie mofanwomwjmgmailcom 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 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 important dates provisional submission march 11th notification april 18th final versions may 18th 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 stefan edelkamp universitat dortmund germany 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 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 melon 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 160108 0000 uai first call papers sara07