SARA 2013

10th Symposium on Abstraction, Reformulation, and Approximation

Home | Call for Papers | Programme Committee | Local Info |

Keynote Speakers | Accepted Papers | Schedule


The online proceedings are listed on the AAAI website.

The hard-copy of the proceedings will soon be available to order from AAAI.


The 10th Symposium on Abstraction, Reformulation, and Approximation will be held on 11-12 July 2013 at the Sleeping Lady mountain resort in Leavenworth, Washington, near Seattle USA. SARA 2013 will share some sessions with the collocated Symposium on Combinatorial Search (SoCS 2013), which is to be held 12-13 July. SARA also occurs immediately before, and is conveniently located for, AAAI 2013 in Seattle.

The aim of the Symposium is to provide a forum for interaction among researchers in all areas of Artificial Intelligence and Computer Science with an interest in Abstraction, Reformulation, or Approximation (ARA). Topics include (1) the theory of Abstraction, Reformulation, and Approximation, (2) methods for selecting which of several applicable ARA techniques is best for a given problem, (3) techniques for automatically constructing and selecting appropriate abstractions, reformulations, and approximations, (4) empirical and theoretical studies of the costs and benefits of ARA, and (5) applications of ARA to automated reasoning, automatic programming, cognitive modeling, constraint programming, constraint satisfaction, databases, design, diagnosis, general game playing, general problem solving, machine learning, planning, robotics, scheduling, search, simulation, theorem proving.

Program Chairs:

Alan Frisch, University of York (alan.frisch @

Peter Gregory, Teesside University (p.gregory @

Local Chair:

Mausam, University of Washington (mausam @