RCRA 2007 - Second CfP and news

[Marco Gavanelli]

[apologies for multiple postings]
                            ----- NEWS!!! -----
Post-proceedings will be published either in the new Elsevier
Journal of of Algorithms in Applied Logic and AI, or in the Lecture
Notes in Artificial Intelligence series of Springer-Verlag
                            ----- NEWS!!! -----


*   ________________________________________________________________   *

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, Italy
      * Toni Mancini, Universit‡ di Roma "La Sapienza", Italy

PROGRAM COMMITTEE
      * Marco Benedetti, UniversitÈ d'OrlÈans, France
      * Francesco Buccafurri, Universit‡ Mediterranea di Reggio 
Calabria, Italy
      * Amedeo Cesta, ISTC-CNR, Italy
      * Khalil Djelloul, University of Ulm, Germany
      * 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

HOST ORGANIZATION
      ISTC-CNR, Institute for Cognitive Science and Technology, Italian 
National Research Council

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


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.

PUBLICATION
After the workshop,  the authors of original papers will be invited to 
submit an
extended version for the post-proceedings. The publication will be 
either in the
new Elsevier  Journal of Algorithms in Applied Logic and AI, or in the 
Springer-
Verlag series Lecture Notes in Artificial Intelligence.

-- 
Marco Gavanelli, Ph.D.
Computer Science Division
Dipartimento di Ingegneria
University of Ferrara
Via Saragat 1 - 44100 Ferrara (Italy)
Tel  +39-0532-97-4833
Fax  +39-0532-97-4870
http://www.ing.unife.it/docenti/MarcoGavanelli/