[ln] Appel: SARA'2005, July 26-29 2005

Thierry Hamon thierry.hamon at LIPN.UNIV-PARIS13.FR
Mon Feb 28 09:00:35 UTC 2005

Date: Wed, 23 Feb 2005 11:44:07 +0100
From: Jean-Daniel Zucker <zucker at free.fr>
Message-Id: <p06110406be420eb938fc@[]>
X-url: http://sara2005.limbio-paris13.org

CALL FOR PAPERS (Submissions due on March 1st 2005)


       Symposium on Abstraction, Reformulation and Approximation

         Radisson SAS Airth Castle & Hotel,Stirlingshire Scotland
            July 26th-July 29th 2005 (just prior to IJCAI'2005)

Submissions are due on March 1st, and may be either full papers or
extended abstracts. Graduate students whose research involves
techniques of abstraction, reformulation or approximation are highly
encouraged to submit.

Email your submission as a PDF attachment to
                sara_submission at limbio-paris13.org
In the body of your email please include the paper's title,
abstract, authors, and contact information.

Full details about the submission requirements, and additional
information about SARA'2005, may be obtained from the symposium home


                     *** OVERVIEW ***

SARA'2005 is an Artificial Intelligence symposium on all aspects of
abstraction, reformulation, and approximation. Like past editions,
SARA'2005 will offer stimulating technical presentations, insightful
invited talks, and ample space for discussion.

SARA'2005 will will be located in a wonderful location: Radisson SAS
Airth Castle & Hotel, Stirlingshire, 20 minutes from Edinburgh
(Scotland's capital city, one of the greenest and architecturally most
beautiful cities in Northern Europe).

To make it convenient for IJCAI-2005 attendees to participate in SARA,
a bus will drive from the SARA to the IJCAI conference site the
afternoon of July 29th.

                    *** SUBMISSION ***

Submissions are requested about all aspects of abstraction,
reformulation and approximation (AR&A), including (but not limited to)
the following topics:

        *  New techniques for automatically constructing and selecting
appropriate AR&A.

        *  Methods for selecting which of several applicable AR&A
techniques is best for a given problem.
        *  Frameworks that unify and classify AR&A techniques.
        *  Empirical and theoretical studies of the costs and benefits
of AR&A.
        *  Applications of AR&A to: search, constraint satisfaction,
deterministic and probabilistic planning, theorem proving, logic
programming, game playing , distributed data and knowledge bases,
internet search and navigation, knowledge compilation, knowledge
acquisition, knowledge reformulation, simulation, design, diagnosis
and control of physical systems (including mobile robots), automatic
programming, analogical reasoning, case-based reasoning, reasoning
under uncertainty, reinforcement learning, machine learning, speed-up
         * Fielded applications demonstrating the benefits of AR&A.

                   *** FOR MORE INFORMATION ***

Additional information may be obtained from the symposium home page at:


    Lorenza Saitta
    Jean-Daniel Zucker

    SARA-2005 co-chairs

Message diffusé par la liste Langage Naturel <LN at cines.fr>
Informations, abonnement : http://www.biomath.jussieu.fr/LN/LN-F/
English version          : http://www.biomath.jussieu.fr/LN/LN/
Archives                 : http://listserv.linguistlist.org/archives/ln.html

La liste LN est parrainée par l'ATALA (Association pour le Traitement
Automatique des Langues)
Information et adhésion  : http://www.atala.org/

More information about the Ln mailing list