Home | Call for Papers | Programme Committee | Dates | Submission | Local Info |
Keynote Speakers | Accepted Papers
Registration is now open. Please see the registration page. Register and book your accommodation before May 22nd to take advantage of reduced conference and hotel prices.
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.
Please note the following change to the current schedule: our invited speaker, Martijn van Otterlo is unable to attend due to circumstances beyond his control. Lorenza Saitta will replace Martijn in the schedule. For more details, see the Keynote Speaker page.
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.
Alan Frisch, University of York (alan.frisch @ york.ac.uk)
Peter Gregory, Teesside University (p.gregory @ tees.ac.uk)
Mausam, University of Washington (mausam @ cs.washington.edu)