Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
SARA 2013 Call For Papers
5 views
Skip to first unread message
Peter Gregory
Mar 19, 2013, 7:36:09 AM3/19/13
to
----------------------------------------------------------------------
** 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 scenic 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.
This year we have two keynote speakers:
Martijn van Otterlo (Radboud University, Nijmegen) will present a
talk entitled "Reinforcement Learning as Interactive Experimentation
with Abstraction Levels", and Chris Beck (University of Toronto) will
present a talk entitled "Modeling, Global Constraints, and
Decomposition". Abstracts of both presentations are available at:
http://www.scm.tees.ac.uk/p.gregory/sara2013/keynote.html
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.
Submission is via easychair, with submission guidelines available on
the SARA 2013 website:
https://www.easychair.org/conferences/?conf=sara2013
http://www.scm.tees.ac.uk/p.gregory/sara2013/submission.html
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: 12 April 2013
Submissions: 19 April 2013
Notification: 17 May 2013
Symposium: 11-12 July 2013
Organisation ---------------------------------------------------------
Chairs
Alan Frisch (program chair) alan....@york.ac.uk
Peter Gregory (program chair) p.gr...@tees.ac.uk
Rob Holte (general chair) robert...@ualberta.ca
Mausam (local chair) mau...@cs.washington.edu
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
** 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 scenic 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.
This year we have two keynote speakers:
Martijn van Otterlo (Radboud University, Nijmegen) will present a
talk entitled "Reinforcement Learning as Interactive Experimentation
with Abstraction Levels", and Chris Beck (University of Toronto) will
present a talk entitled "Modeling, Global Constraints, and
Decomposition". Abstracts of both presentations are available at:
http://www.scm.tees.ac.uk/p.gregory/sara2013/keynote.html
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.
Submission is via easychair, with submission guidelines available on
the SARA 2013 website:
https://www.easychair.org/conferences/?conf=sara2013
http://www.scm.tees.ac.uk/p.gregory/sara2013/submission.html
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: 12 April 2013
Submissions: 19 April 2013
Notification: 17 May 2013
Symposium: 11-12 July 2013
Organisation ---------------------------------------------------------
Chairs
Alan Frisch (program chair) alan....@york.ac.uk
Peter Gregory (program chair) p.gr...@tees.ac.uk
Rob Holte (general chair) robert...@ualberta.ca
Mausam (local chair) mau...@cs.washington.edu
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
0 new messages