[eclipse-clp-users] RCRA 2008: 1 week to the abstract submission

From: Marco Gavanelli <marco.gavanelli_at_...17...>
Date: Mon, 25 Aug 2008 15:15:13 +0200
[apologies for multiple postings]

* ____________________________________________________________________ *

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

                                organises the

                      15th RCRA international workshop:
           Experimental evaluation of algorithms for solving problems
                           with combinatorial explosion


* ____________________________________________________________________ *

This workshop follows the series of the RCRA (Knowledge Representation
and Automated Reasoning) annual meeting, 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.

   *** Workshop post-proceedings will be published in the Elsevier ***
   *** Journal of Algorithms in Logic, Informatics and Cognition.  ***
* ____________________________________________________________________ *

  Two days in December 2008, co-located with ICLP 2008 (9-13 December
  (exact dates to be announced)

  Udine, Italy

Many problems in Artificial Intelligence show an exponential explosion 
of the search space.  Although stemming from different research areas in 
AI, such 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 
experimental 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 

   Scope of the workshop is fostering the cross-fertilisation of ideas 
stemming 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, problem modelling, and ease of development.

   Topics of interest include, but are not limited to:
     o knowledge representation
     o automated reasoning
     o planning
     o scheduling
     o agents and distributed systems
     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

   Contributions are solicited about (the list is not exhaustive):
     * Experimental evaluation of algorithms
     * 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

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

   Although the spirit of the workshop is informal, a second formal 
stage is expected, with a second round of reviews for the selection of 
extended versions of the papers to appear in a special issue of the 
Elsevier Journal of Algorithms in Logic, Informatics and Cognition.

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

   Gilles Audemard, UniversitÚ d'Artois, France
   Matteo Baldoni, UniversitÓ di Torino, Italy
   Francesco Buccafurri, UniversitÓ Mediterranea di Reggio Calabria,Italy
   Francesco    Calimeri, UniversitÓ della Calabria, Italy
   Stefania Costantini, UniversitÓ dell'Aquila, Italy
   Luca Di Gaspero, UniversitÓ di Udine, Italy
   Khalil Djelloul, UniversitÚ d'OrlÚans, France
   Marco Gavanelli, UniversitÓ di Ferrara, Italy
   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 Marquez-Silva, University of Southampton, UK
   Pedro Meseguer, Consejo Superior de Investigaciones CientÝficas, Spain
   Nicola Policella, European Space Agency, Germany
   Steve Prestwich, Cork Constraint Computation Centre, Ireland
   Luca Pulina, UniversitÓ di Genova, Italy
   Francesco    Ricca, UniversitÓ della Calabria, Italy
   Fabrizio Riguzzi, UniversitÓ di Ferrara,Italy
   Daniel Singer, UniversitÚ de Metz, France
   Kostas Stathis, Royal Holloway, University of London, UK
   Kostas Stergiou, University of the Aegean, Greece
   Mirek Truszczynski, University of Kentucky, USA
   Richard Wallace, Cork Constraint Computation Centre, Ireland

  UniversitÓ di Udine, Italy

   Luca Di Gaspero, UniversitÓ degli Studi di Udine, Italy
   Stefano Benedettini, UniversitÓ degli Studi di Udine, Italy
   Sara Ceschia, UniversitÓ degli Studi di Udine, Italy
   Andrea Schaerf, UniversitÓ degli Studi di Udine, Italy

Authors are invited to submit either original papers, or papers that 
appear on conference proceedings.

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

   All submissions must be in PDF format, do not exceed 10 pages, and 
should be written in Latex, using the standard Article style, 11pt.
Papers should be submitted electronically via email to 
All 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.

Few weeks after the workshop, authors of accepted papers will have the 
opportunity to participate in 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 Logic, Informatics and Cognition.

   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.

   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.

   * Abstract submission deadline:         1 September 2008
   * Papers submission deadline:          15 September 2008
   * Notification of acceptance/reject:   25 October 2008
   * Final version due:                   15 November 2008
   * Workshop:                            Around 9-13 December 2008

   (special issue of Elsevier J. of Algorithms in Logic, Informatics and 

   * Extended papers submission deadline:       15 January 2009
   * Notification of reviews of the 1st round:  28 February 2009
   * Re-submission deadline
     (for papers not accepted with minor rev.): 15 April 2009

   * Final notification of acceptance:           1 May 2009
   * Final version due:                         15 May 2009

Received on Mon Aug 25 2008 - 06:16:10 CEST

This archive was generated by hypermail 2.3.0 : Sat Aug 24 2019 - 21:14:55 CEST