SARA 2009: The Eighth Symposium on Abstraction, Reformulation and Approximation
Call For Papers
*** NEW PAPER SUBMISSION DATE: April 8, 2009 ***
The Eighth Symposium on Abstraction, Reformulation and Approximation
July 7-10, 2009
Lake Arrowhead, CA
NEW: Submission of full papers and extended abstracts has been extended to April 8, 2009
After a successful series of seven international symposia (Jackson Hole, Ville d'Estrel, Pacific Grove, Horseshoe Bay, Kananaskis, Airth, and Whistler), the eighth symposium on Abstraction, Reformulation and Approximation will be held at Lake Arrowhead Resort outside of Los Angeles, California (USA), July 7-10, 2009. The symposium will be co-located with the International Symposium on Combinatorial Search (SoCS). SoCS will run after SARA with a one-day overlap (July 10) for joint sessions. SARA 2009 will also be co-located with the International Joint Conference on Artificial Intelligence (IJCAI09) which will be held in Pasadena, following SARA and SoCS. It has been recognized since the inception of Artificial Intelligence that abstractions, problem reformulations and approximations (ARA) are central to human common-sense reasoning and problem solving and to the ability of systems to reason effectively in complex domains. ARA techniques have been used in a variety of problem-solving settings such as:
- Automated reasoning
- Automatic programming
- Cognitive modeling
- Constraint programming
- Machine learning
- Model-based reasoning
- Theorem proving
Submission InformationSubmissions are requested about all aspects of abstraction, reformulation and approximation, including (but not limited to) the following topics:
- New techniques for automatically constructing and selecting appropriate ARA.
- Methods for selecting which of several applicable ARA techniques is best for a given problem.
- Frameworks that unify and classify ARA techniques.
- Empirical and theoretical studies of the costs and benefits of ARA.
- Applications of ARA to search, constraint satisfaction, deterministic and probabilistic planning, theorem proving, logic programming, game playing, distributed data and knowledge bases, internet search and navigation, knowledge compilation, knowledge acquisition, knowledge reformulation, simulation, design, diagnosis and control of physical systems (including mobile robots), automatic programming, analogical reasoning, case-based reasoning, reasoning under uncertainty, reinforcement learning, machine learning, speed-up learning.
- Fielded applications demonstrating the benefits of ARA.
- A full paper: Full paper submissions must report on substantial, original and previously unpublished research.
- An extended abstract: SARA allows researchers to submit extended abstracts on research that will be submitted to, has been submitted to, or has already been published in archival conferences or journals. However, researchers are encouraged to submit full papers, if possible. Please indicate in your submission if it is an "extended abstract".
- A research summary: Researchers should submit a short report (1 or 2 pages) describing research questions that they are engaged in that is relevant to ARA.
- Deadline for submissions: April 8, 2009
- Notification of acceptance: May 4, 2009
- Registration for Symposium: May 8, 2009.
- Deadline for camera-ready papers: June 8, 2009.
- Symposium: July 7-10, 2009.
Conference Organizers and Program ChairsVadim Bulitko, University of Alberta
J. Christopher Beck, University of Toronto