[parislinguists] SARA'2005 Symposium on Abstraction, Reformulation and Approximation. March 1st 2005 Submission Deadline

[Clara Romero]

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

                              SARA'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 page:
               http://sara2005.limbio-paris13.org
                     *** 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 learning.
         * Fielded applications demonstrating the benefits of AR&A.

                   *** FOR MORE INFORMATION ***

Additional information may be obtained from the symposium home page at:
          http://sara2005.limbio-paris13.org

 
    Lorenza Saitta    
    Jean-Daniel Zucker
    SARA-2005 co-chairs


_____________________
Christian Hudelot       
LEAPLE UMR 8606
7 Rue Guy Môquet
F-94801 Villejuif cedex
Tel :33 (0)1.49.58.37.99
Tel :33 (0)1.49.58.38.36
http://www.vjf.cnrs.fr/umr8606
http://www.mshs.univ-poitiers.fr/laco/Pergame/PERGAME_INTRO.html
http://assoc-asl.net/index.html 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.linguistlist.org/pipermail/parislinguists/attachments/20050223/5536325c/attachment.htm>