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
The Eighth Symposium on Abstraction, Reformulation and Approximation (SARA2009) will provide a forum for intensive interaction among researchers in all areas of Artificial Intelligence and Computer Science with an interest in the different aspects of abstraction, reformulation, and approximation 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.

Some pictures from SARA/SoCS have been posted.

Location & Co-location

SARA2009 was held in Lake Arrowhead, California at the Lake Arrowhead Resort located in the San Bernardino National Forest, 90 miles from LAX.

SARA2009 was co-located with the International Symposium on Combinatorial Search (SoCS). SoCS ran after SARA with a one-day overlap (July 10) for joint sessions.

SARA2009 was also co-located with the International Joint Conference on Artificial Intelligence (IJCAI09) held in Pasadena following SARA and SoCS.

Invited Speakers

Important Dates

April 8, 2009: Submission deadline.
May 4, 2009: Author notification.
June 8, 2009: Camera-ready submission.
July 7 - 10, 2009: SARA2009


Conference Chairs:
Vadim Bulitko, University of Alberta
J. Christopher Beck, University of Toronto

Publicity Chair:
Nathan Sturtevant, Unversity of Alberta

Sponsorship Chair:
David Thue, University of Alberta

Questions: contact the organizers at

SARA is held in cooperation with AAAI.