[eclipse-clp-users] RCRA09 deadline extension

From: Marco Gavanelli <marco.gavanelli_at_...17...>
Date: Tue, 01 Sep 2009 16:02:48 +0200
Due to the many requests, the submission deadline for the RCRA workshop
has been extended.

New dates:

     *** ABSTRACT SUBMISSION:  6th of September 2009 ***
     *** PAPER SUBMISSION:    15th of September 2009 ***

* ___________________________________________________________________  *

   The RCRA group (Knowledge Representation & Automated Reasoning) of the
          AI*IA (Italian Association for Artificial Intelligence)


                           the 16th RCRA workshop:
              Experimental evaluation of algorithms for solving
              problems with combinatorial explosion  (RCRA 2009)

      Email:               rcra.aixia.09_at_...6...
      RCRA group web site: http://rcra.aixia.it/
      Workshop web site:   http://rcra.aixia.it/rcra2009

* ____________________________________________________________________ *

   The event follows the series of the RCRA (Knowledge Representation
   and Automated Reasoning) annual meetings, held since 1994.
   The success of the previous events shows that RCRA is becoming a major
   forum for exchanging ideas and proposing experimentation methodologies
   for algorithms in artificial intelligence.

* ___________________________________________________________________  *

As in previous editions,  authors of papers presented at the event
will have the opportunity to participate to the selection of a
special issue that will appear on the
***Elsevier Journal of Algorithms in Cognition, Informatics and Logic.***

  11-12 december 2009, co-located with AI*IA 2009

  Reggio Emilia, Italy

   Many problems in Artificial Intelligence show an exponential 
explosion of the
   search space.  Although stemming from different research areas in AI, 
   problems are often addressed with algorithms that have a common goal: the
   effective exploration of huge state spaces.  Many algorithms 
developed in one
   research area are applicable to other problems, or can be hybridised with
   techniques in other areas. Artificial Intelligence tools often exploit or
   hybridise techniques developed by other research communities, such as
   Operations Research.
   In recent years, research in AI has more and more focussed on 
   evaluation of algorithms, the development of suitable methodologies for
   experimentation and analysis, the study of languages and the 
implementation of
   systems for the definition and solution of problems.

   Scope of the workshop is fostering the cross-fertilisation of ideas 
   from different areas, proposing benchmarks for new challenging problems,
   comparing models and algorithms from an experimental viewpoint, and, in
   general, comparing different approaches with respect to efficiency, 
   modelling, and ease of development.

   Topics of interest include, but are not limited to:
   * Experimental evaluation of algorithms for
        o knowledge representation
        o automated reasoning
        o planning
        o scheduling
        o machine learning
        o model checking
        o boolean satisfiability (SAT)
        o constraint programming
        o constraint satisfaction
        o quantified boolean formulae and quantified constraints
        o modal logics
        o logic programming
        o disjunctive logic programming
        o temporal reasoning
        o combinatorial optimization
   * Definition and construction of benchmarks
   * Experimentation methodologies
   * Metaheuristics
   * Algorithm hybridisation
   * Static analysis of combinatorial problems
   * Languages and systems for definition and solution of problems
   * Comparisons between systems and algorithms
   * Application experiences

  * Marco Gavanelli, UniversitÓ degli Studi di Ferrara, Italy
  * Toni Mancini, Sapienza UniversitÓ di Roma, Italy

  * Slim Abdennadher, German University in Cairo, Egypt
  * Gilles Audemard, UniversitÚ d'Artois, France
  * Francesco Calimeri, UniversitÓ della Calabria, Italy
  * Gianluca Caminiti, UniversitÓ Mediterranea di Reggio Calabria, Italy
  * Khalil Djelloul, UniversitÚ d'OrlÚans, France
  * Agostino Dovier, Universita` di Udine, Italy
  * Esra Erdem, University of Texas at Austin, USA
  * Wolfgang Faber, UniversitÓ della Calabria, Italy
  * Pierre Flener, Uppsala University, Sweden
  * Marco Gavanelli, UniversitÓ di Ferrara, Italy
  * Hector Geffner, Universitat Pompeu Fabra, Spain
  * Daniel Le Berre, UniversitÚ d'Artois, France
  * Ines Lynce, Universidade TÚcnica de Lisboa, Portugal
  * Toni Mancini, Sapienza UniversitÓ di Roma, Italy
  * Marco Maratea, UniversitÓ di Genova, Italy
  * Joao Marques-Silva, University College Dublin, Ireland
  * Pedro Meseguer, Consejo Superior de Investigaciones CientÝficas, Spain
  * Massimo Narizzano, UniversitÓ di Genova, Italy
  * Ilkka Niemelń, Helsinki University of Technology, Finland
  * Angelo Oddi, ISTC-CNR, National Research Council, Italy
  * Andrea Omicini, UniversitÓ di Bologna, Italy
  * Steve Prestwich, Cork Constraint Computation Centre, Ireland
  * Daniel Riera, Universitat Oberta de Catalunya, Spain
  * Andrea Schaerf, Universita` di Udine, Italy
  * Kostas Stergiou, University of the Aegean, Greece
  * Mirek Truszczynski, University of Kentucky, USA

  UniversitÓ di Modena e Reggio-Emilia, Italy

   Authors are invited to submit either original papers, or papers that 
appear on
   conference proceedings (different than AI*IA 2009).

   Publications showing negative results are welcome, provided that the 
   was original and very promising in principle, the experimentation was
   well-conducted, the results obtained were unforeseeable and gave 
   hints in the comprehension of the target problem, helping other 
researchers to
   avoid unsuccessful paths.

   At the time of submission, authors are requested to clearly specify 
whether their
   submission is original or already published.

   Workshop submissions must be in PDF format, do not exceed 15 pages, 
and should be
   written in LaTeX, using the RCRA 2009 style available on the workshop 
web site.
   Submissions will be reviewed by at least three members of the
   program committee.
   Papers accepted at the workshop will be electronically published on the
   workshop web site and as an issue of the CEUR Workshop Proceedings 
   Submissions should be sent to the address: rcra.aixia.09_at_...6...

   Few weeks after the workshop, authors of papers presented at the
   RCRA workshop will have the opportunity to participate to the selection
   for the post-proceedings by submitting an extended version of their work.

   Workshop post-proceedings will appear in a special issue of the
   Elsevier Journal of Algorithms in Cognition, Informatics and Logic, 
   that a sufficient amount of high quality papers is collected.

   All candidate articles must be original: they cannot have already 
been published
   in journals, and must contain significant additional material with 
respect to any
   previous version already published in formal conference proceedings
   (including the proceedings of AI*IA 2009).

   Such papers will go through a second formal selection process, and 
will be
   reviewed by at least three reviewers. The selection process will be 
kept very
   short, and at most one re-submission stage will be allowed (cf. important
   dates). Hence, authors are invited to work on their paper mainly 
before the
   workshop date.


   See the web page of the conference AI*IA 2009:


   * Abstract Submission for RCRA workshop:      6 September 2009
   * Submission for RCRA workshop:              15 September 2009
   * Notification of acceptance/reject:         30 October 2009
   * Final version due:                         30 November 2009
   * RCRA session_at_...187...*IA:                        11 December 2009
   * RCRA workshop:                             11-12 December 2009

   Elsevier Journal of Algorithms in Cognition, Informatics and Logic

   * Extended papers submission deadline:       15 January 2010
   * Notification of reviews of the 1st round:  28 February 2010
   * Re-submission deadline
     (for papers not accepted with minor rev.): 15 April 2010
   * Final notification of acceptance:           1 May 2010
   * Final version due:                         15 May 2010

Experimental evaluation of algorithms for solving
problems with combinatorial explosion
Received on Tue Sep 01 2009 - 14:02:58 CEST

This archive was generated by hypermail 2.3.0 : Tue Aug 20 2019 - 00:14:49 CEST