RCRA 2007 - Call for Papers

[RCRA 2007]

[apologies for multiple postings]

*   ________________________________________________________________   *

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

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

                     http://pst.istc.cnr.it/RCRA07/
                         rcra07 at dis.uniroma1.it

*   ________________________________________________________________   *

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.

*   ________________________________________________________________   *

DATE
      5-6 July 2007

VENUE
      Rome, CNR (National Research Council)

AIMS AND SCOPE
      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 problems.

      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:
      * 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
      * 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.


WORKSHOP CHAIRS
      * Marco Gavanelli, Università degli Studi di Ferrara
      * Toni Mancini, Università di Roma "La Sapienza"

LOCAL COMMITTEE
      * Amedeo Cesta, ISTC-CNR, Rome
      * Nicola Policella, ISTC-CNR, Rome

PROGRAM COMMITTEE
      * Marco Benedetti, Université d'Orléans, France
      * Francesco Buccafurri, Università meditterranea di Reggio  
Calabria, Italy	
      * Amedeo Cesta, ISTC-CNR, Italy
      * Agostino Dovier, Università degli Studi di Udine, Italy
      * Wolfang	Faber, Università della Calabria, Italy
      * Marco Gavanelli, Università di Ferrara, Italy
      * Narendra Jussien, Ecole des Mines de Nantes, France
      * Daniel Le Berre, Université d'Artois, France
      * Ines Lynce, Universidade Técnica de Lisboa, Portugal
      * Donato Malerba, Università degli Studi di Bari, Italy
      * Toni Mancini, Università degli Studi di Roma "La Sapienza",  
Italy
      * Pedro Meseguer, CSIC-IIIA, Spain
      * Ilkka Niemela, Helsinki University of Technology, Finland
      * Laurent Perron, ILOG, France
      * Nicola Policella, European Space Agency, Germany
      * Steve Prestwich, Cork Constraint Computation Centre, Ireland
      * Andrea Roli, Università degli Studi di Bologna, Italy
      * Andrea Schaerf, Università di Udine, Italy
      * Laurent Simon, LRI-Université Paris-Sud, France
      * Kostas Stathis, Royal Holloway-University of London, United  
Kingdom
      * Armando Tacchella, Università di Genova, Italy
      * Mirek Truszczynski, University of Kentucky, USA

IMPORTANT DATES
        * Paper submission deadline:         25 April 2007
        * Notification of acceptance/reject: 25 May 2007
        * Final version:                     20 June 2007
        * Workshop:                          5-6 July 2007

SUBMISSIONS
Papers should not exceed 15 pages (Latex standard article style,  
11pt) and
should be submitted electronically via email to  
rcra07 at dis.uniroma1.it, either
in postscript or PDF format.

Two types of submissions are possible
      * Original papers, not previously published in conferences or  
journals
      * Informal presentations, overviews of research projects,  
position papers

Both types of submissions will be reviewed by at least three members  
of the program committee.
Accepted papers will be electronically published on the workshop web  
site.
Informal presentations are aimed at fostering discussion between the  
participants.

After the workshop, the authors of original papers will be invited to  
submit an extended
version of their paper for possible publication in the post-proceedings.