SARA 2011
Symposium on Abstraction, Reformulation, and Approximation
Parador de Cardona, 17-18 July 2011

Call for Papers Paper Submission Venue Past Conferences Steering Committee

Introduction

Since the inception of Artificial Intelligence, many have argued that abstraction, reformulation, and approximation (ARA) are central to human common-sense reasoning and problem solving and to the ability of computer systems to reason effectively in complex domains.

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

SARA 2011 and Associated Conferences

After a series of eight international symposia (Jackson Hole, Ville d'Esterel, Pacific Grove, Horseshoe Bay, Kananaskis, Airth, and Whistler, Lake Arrowhead), the ninth Symposium on Abstraction, Reformulation and Approximation will be held on July 17-18, 2011 at the Parador de Cardona in Catalonia, Spain, 60 miles Northwest of Barcelona.

The symposium will be co-located with the Symposium on Combinatorial Search (SoCS), which will be held at the Parador de Cardona immediately before SARA. SARA 2011 will be followed by the International Joint Conference on Artificial Intelligence (IJCAI 11), which will be held in Barcelona.

Keynote Speaker

Stuart Russell, University of California, Berkeley, USA

Important Dates

April 29 Submission deadline
May 27 Author notification
June 17 Camera-ready submission
July 17-18 SARA 2011

Organization

Conference Chairs  Michael Genesereth, Stanford University, USA
  Peter Revesz, University of Nebraska - Lincoln, USA
Publicity Chair Miroslav Velev, Aries Design Automation

Program Committee:

Scot Anderson Southern Adventist University, USA
Chris Beck University of Toronto, Canada
Rada Chirkova North Carolina State University, USA
Berthe Choueiry University of Nebraska-Lincoln, USA
Marie desJardins University Maryland Baltimore County, USA
Ariel Felner Ben-Gurion University of the Negev, Israel
Rafael Martinez Gasca University of Seville, Spain
Hector Geffner Universitat Pompeu Fabra, Spain
Michael Genesereth Stanford University, USA
Robert Holte University of Alberta, Canada
Bart Kuijpers Hasselt University, Belgium
Ian Miguel University of St Andrews, UK
Peter Revesz University of Nebraska - Lincoln, USA
Marie-Christine Rousset University of Grenoble, France
Wheeler Ruml University of New Hampshire, USA
Nathan Sturtevant University of Denver, USA
Miroslav Velev Aries Design Automation, USA
Toby Walsh University of New South Wales, Australia