RCRA10 deadline extension

Marco Gavanelli marco.gavanelli at unife.it
Di Mär 16 20:39:16 CET 2010


Due to the many requests, the deadline for the RCRA 2010 has been 
extended. New dates:

   * Abstract submission:    21 March 2010
   * Paper submission:       31 March 2010


* ______________________________________________________________________   *

     The RCRA group (Knowledge Representation & Automated Reasoning) of the
            AI*IA (Italian Association for Artificial Intelligence)
                               http://rcra.aixia.it

                                  organises the

                              17th RCRA workshop:
                Experimental evaluation of algorithms for solving
                problems with combinatorial explosion  (RCRA 2010)

                         in association with CP-AI-OR 2010

                         Bologna, Italy,  June 10-11, 2010

     Email:               rcra.aixia.10 at gmail.com
     RCRA group web site: http://rcra.aixia.it/
     Workshop web site:   http://rcra.aixia.it/rcra2010

* ______________________________________________________________________   *

     This 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 (http://rcra.aixia.it/publications), authors of
papers orally presented at the workshop will have the opportunity to 
participate
to the selection of a special issue that will appear on an International 
journal.


The workshop will take place in Bologna, Italy on June 10-11, 2010, in
association with CP-AI-OR 2010 (http://cpaior2010.ing.unibo.it).


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
        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


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

WORKSHOP PROGRAM COMMITTEE
  * Stefania Costantini - Università dell'Aquila, Italy
  * Esra Erdem - Sabanci University, Turkey
  * Stefano Ferilli - Università di Bari, Italy
  * Marco Gavanelli - Università di Ferrara, Italy
  * Marijn Heule - Technical University of Delft, Netherlands
  * Jörg Hoffmann - INRIA Nancy Grand Est, France
  * Angel Juan - Universidad Oberta de Catalunya, Spain
  * Ines Lynce - Universidade Técnica de Lisboa, Portugal
  * Toni Mancini - Sapienza Università di Roma, Italy
  * Joao Marquez-Silva - University College Dublin, Ireland
  * Alfredo Milani - Università di Perugia, Italy
  * Alessandra Mileo - Università di Milano Bicocca, Italy
  * Angelo Oddi - Consiglio Nazionale delle Ricerche (CNR), Italy
  * Justin Pearson - Uppsala University, Sweden
  * Luca Pulina - Università di Genova, Italy
  * Francesco Ricca - Università della Calabria, Italy
  * Fabrizio Riguzzi - Università di Ferrara, Italy
  * Andrea Roli - Università di Bologna, Italy
  * Carsten Sinz - University of Karlsruhe, Germany
  * Kostas Stergiou - University of the Aegean, Greece
  * Paolo Torroni - Università di Bologna, Italy


HOST ORGANIZATION
   Dept. of Electronics, Computer Science and Systems (DEIS)
   University of Bologna, Italy

LOCAL COMMITTEE
   Stefano Bragaglia, University of Bologna, Italy


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

   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.

   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 2010 style available on the workshop 
web site.
   Page for submissions:

     http://www.easychair.org/conferences/?conf=rcra2010

   Submissions will be reviewed by at least three members of the
   program committee.

   Original papers accepted at the workshop will be electronically 
published on the
   workshop web site and as an issue of the CEUR Workshop Proceedings 
series.
   As for papers already published, a DOI link to their copyrighted 
version will be
   provided instead, both on the workshop web site and in the CEUR-WS issue.

   Final and detailed submission instructions will be available on the 
workshop
   web site soon.

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

   As in previous editions (http://rcra.aixia.it/publications), workshop
   post-proceedings will appear in a special issue of an International
   journal, provided 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
   formal publication.

   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.

IMPORTANT DATES
   * Abstract submission:                       21 March 2010
   * Submissions to the RCRA workshop:          31 March 2010
   * Notification of acceptance/reject:         25 April 2010
   * Final version due:                         18 May 2010
   * RCRA workshop:                             10-11 June 2010

   SELECTION FOR JOURNAL POST-PROCEEDINGS

   * Extended papers submission deadline:       18 July 2010
   * Notification of reviews of the 1st round:  12 September 2010
   * Re-submission deadline
     (for papers not accepted with minor rev.): 24 October 2010

   * Final notification of acceptance:           7 November 2010
   * Final version due:                         21 November 2010


-- 
Marco Gavanelli, Ph.D. in Computer Science
Dept of Engineering
University of Ferrara
Tel/Fax  +39-0532-97-4833
http://www.ing.unife.it/docenti/MarcoGavanelli/



Mehr Informationen über die Mailingliste IFI-CI-Event