SARA 2011

Since the early days of Artificial Intelligence, many have argued that the techniques of interest here 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 these techniques has been to overcome computational intractability by decreasing the combinatorial costs associated with searching large spaces. In addition, these techniques are useful for knowledge acquisition and explanation generation in complex domains.

This Conference and Associated Conferences

After a series of several international symposia (first location, second location, third location, and so forth), this Symposium will be held in July at a castle in Spain, not far from a coastal city.

The symposium will be co-located with the another symposium, which will be held at the same castle immediately beforehand. It will be followed by another conference, which will be held not too far away.

Keynote Speaker

Textbook Author from Berkeley, USA

Important Dates

April		Submission deadline
May		Author notification
June		Camera-ready submission
July		SARA

Organization

Conference Chairs		Logic Guy from Stanford, USA
		Constraint Database Guy from UNL, USA
Publicity Chair		Someone Else

Program Committee:

Reviewer	Southern Adventist University, USA
Reviewer	University of Toronto, Canada
Reviewer	North Carolina State University, USA
Reviewer	University of Nebraska-Lincoln, USA
Reviewer	University Maryland Baltimore County, USA
Reviewer	Ben-Gurion University of the Negev, Israel
Reviewer	University of Seville, Spain
Reviewer	Universitat Pompeu Fabra, Spain
Reviewer	Stanford University, USA
Reviewer	University of Alberta, Canada
Reviewer	Hasselt University, Belgium
Reviewer	University of St Andrews, UK
Reviewer	University of Nebraska - Lincoln, USA
Reviewer	University of New Hampshire, USA
Reviewer	University of Denver, USA
Reviewer	Aries Design Automation, USA
Reviewer	University of New South Wales, Australia