----------------------------------------------------------------------
                      ** CALL FOR PAPERS **

   10th Symposium on Abstraction, Reformulation, and Approximation

          http://www.scm.tees.ac.uk/p.gregory/sara2013/         
     Sleeping Lady Mountain Resort, Leavenworth, Washington, USA
----------------------------------------------------------------------

The 10th Symposium on Abstraction, Reformulation, and Approximation
will be held on 11-12 July 2013 at the Sleeping Lady mountain resort
in Leavenworth, Washington, near Seattle USA. SARA 2013 will share
some sessions with the collocated Symposium on Combinatorial Search
(SoCS 2013), which is to be held 12-13 July. SARA also occurs
immediately before, and is conveniently located for, AAAI 2013 in
Seattle.

The Symposium will consist primarily of paper presentations, poster
presentations, discussion sessions, and invited presentations.

The aim of the Symposium is to provide a forum for interaction among
researchers in all areas of Artificial Intelligence and Computer
Science with an interest in Abstraction, Reformulation, or
Approximation (ARA). Topics include (1) the theory of Abstraction,
Reformulation, and Approximation, (2) methods for selecting which of
several applicable ARA techniques is best for a given problem, (3)
techniques for automatically constructing and selecting appropriate
abstractions, reformulations, and approximations, (4) empirical and
theoretical studies of the costs and benefits of ARA, and (5)
applications of ARA to automated reasoning, automatic programming,
cognitive modeling, constraint programming, constraint satisfaction,
databases, design, diagnosis, general game playing, general problem
solving, machine learning, planning, robotics, scheduling, search,
simulation, theorem proving.


Submission ------------------------------------------------------------

Researchers who wish to present work at the symposium must submit in
one of the following forms:

    Full paper: Full paper submissions must report on substantial,
                original research that is not  published, accepted for
                publication or under review in an archival publication.

    Extended abstract: Extended abstracts on research that will be
                submitted to, has been submitted to, or has already
                been published in archival conferences or journals.
                Please indicate in your submission if it is an
                extended abstract. These abstracts must not be
                reproductions of another publication; rather they
                should summarise the work in a form accessible to the
                ARA community.

    Research summary: Researchers should submit a short report
                describing research questions that they are engaged
                in that is relevant to ARA.

Full papers should not exceed 8 pages in AAAI format; extended
abstracts should not exceed 4 pages (we encourage shorter abstracts
where appropriate); and research summaries should not exceed 2 pages.

Submission is via easychair in AAAI format:

    https://www.easychair.org/conferences/?conf=sara2013
    http://www.aaai.org/Publications/Author/author.php

Prior to submission, we require a that a short abstract (less than 200
words) is submitted at the easychair site.  Deadlines are set below.


Important Dates -------------------------------------------------------

    Abstracts:       12 April 2013
    Submissions:     19 April 2013
    Notification:    17 May 2013
    Workshop:        11-12 July 2013


Organisation ---------------------------------------------------------

Chairs

Alan Frisch    (program chair)  [log in to unmask]
Peter Gregory  (program chair)  [log in to unmask]
Mausam         (local chair)    [log in to unmask]

Program Committee

Roman Bartak    
Berthe Choueiry
Lukas Chrpa    
Stefan Edelkamp
Michael Genesereth
Enrico Giunchiglia
Rob Holte
Chris Jefferson
Sven Koenig