SARA 2013

10th Symposium on Abstraction, Reformulation, and Approximation

Home | Call for Papers | Programme Committee | Dates | Submission | Local Info |

Keynote Speakers | Accepted Papers | Schedule

Call For Papers

  PAPERS    26th APRIL

                      ** CALL FOR PAPERS **

   10th Symposium on Abstraction, Reformulation, and Approximation

     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

The Symposium will consist primarily of paper presentations, poster
presentations, discussion sessions, and invited presentations.  This
year, our two keynote speakers will be Martijn van Otterlo from 
Radboud University Nijmegen, who works in the reinforement learning 
community, and Chris Beck from the University of Toronto.  Chris Beck 
is a joint speaker with SoCS 2013.

Martijn van Otterlo will present a talk entitled "Reinforcement 
Learning as Interactive Experimentation with Abstraction Levels",
while Chris Beck will present a talk entitled "Modeling, Global 
Constraints, and Decomposition".  Abstracts of both presentations are
available at:

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 or other issues of 
                relevance to ARA that they are engaged in.

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 3 pages.

The proceedings will be published by AAAI Press.  Submission is 
via easychair in AAAI format:

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

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

    Abstracts:       21 April 2013
    Submissions:     26 April 2013
    Notification:    17 May 2013
    Symposium:       11-12 July 2013

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


Alan Frisch    (program chair)
Peter Gregory  (program chair)
Rob Holte      (general chair)
Mausam         (local chair)

Program Committee

Roman Bartak     
Berthe Choueiry 
Lukas Chrpa     
Stefan Edelkamp 
Michael Genesereth 
Enrico Giunchiglia 
Rob Holte
Chris Jefferson 
Sven Koenig     
Lars Kotthoff     
Ian Miguel
Martijn	Van Otterlo     
Steven Prestwich
Andrea Rendl 
Peter Revesz 
Ashish Sabharwal
Lorenza Saitta     
Nathan Sturtevant
Pascal van Hentenryck 
Miroslav Velev 
Mateu Villaret
Toby Walsh
Jean-Daniel Zucker