SARA 2009
Main Page
Invited Speakers
Conference Schedule
Presenter Information
Call for Papers (txt) (pdf)
Paper Submission Site
Program Committee
Accepted Papers
Travel & Lodging

Co-Located Conferences

Past SARA Conferences
2007 - Whistler, B.C.
2005 - Airth Castle, Scotland
2002 - Alberta, Canada
2000 - Horseshoe Bay, Texas
1998 - Pacific Grove, California
1995 - Québec, Canada.
1994 - Jackson Hole, Wyoming

SARA 2009: The Eighth Symposium on Abstraction, Reformulation and Approximation

Call For Papers

*** NEW PAPER SUBMISSION DATE: April 8, 2009 ***

SARA 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:

The primary use of ARA techniques in such settings has been to overcome computational intractability by decreasing the combinatorial costs associated with searching large spaces. In addition, ARA techniques are also useful for knowledge acquisition and explanation generation in complex domains.

The aim of the SARA series is to provide a forum for interaction among researchers in all areas of Artificial Intelligence and Computer Science with an interest in the different aspects of ARA techniques. The diverse backgrounds of participants of previous symposia has led to a rich and lively exchange of ideas, allowed the comparison of goals, techniques and paradigms and helped identify important research issues and engineering hurdles.

Submission Information

Submissions are requested about all aspects of abstraction, reformulation and approximation, including (but not limited to) the following topics: Researchers who wish to attend the symposium must submit in one of the following forms: Full papers should not exceed 8 pages in AAAI format,extended abstracts should not exceed 4 pages, and research summaries should not exceed 2 pages.

The proceedings of the symposium will be published by AAAI Press. The collective work will be copyright of AAAI Press and authors will be required to sign a form that gives AAAI Press the right to publish the paper and to grant that right to others. As symposium papers, however, the papers themselves are not copyright of AAAI Press and authors may subsequently resubmit the paper elsewhere. Full submission will be fully reviewed in a single-blind process (i.e., there is no need for authors to obscure their names).

Important Dates

Conference Organizers and Program Chairs

Vadim Bulitko, University of Alberta
J. Christopher Beck, University of Toronto