[Om-announce] RCRA 2015: Extended deadlines

Sat Jun 20 11:26:59 CEST 2015

Due to some requests, we have extended the RCRA 2015 deadlines for 
submitting abstract and paper. 

The new deadlines are:

Abstract submission:    June 26th 2015 
Paper submissions:      June 30th 2015 

The updated call follows.

We really hope to receive your contribution!

Best,
Stefano, Andrea, Marco

======================================================================

[APOLOGIES FOR MULTIPLE POSTINGS]

* ______________________________________________________________________
*

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

                                organizes the

                             22nd RCRA workshop:
               Experimental evaluation of algorithms for solving
               problems with combinatorial explosion  (RCRA 2015)

                        Ferrara, Italy, September 21-22, 2015

    RCRA group web site: http://rcra.aixia.it/
    Workshop web site:   http://rcra.aixia.it/rcra2015
    e-mail:              rcra2015 at easychair.org

* ______________________________________________________________________
*

    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.

* ______________________________________________________________________
*

The workshop will take place in Ferrara, Italy, September 21-22, 2015
as a workshop of the 14th Conference of the Italian Association for
Artificial Intelligence (AI*IA 2015).

IMPORTANT DATES 

  Abstract submission deadline:    June 26th 2015 (EXTENDED)
  Paper submissions deadline:      June 30th 2015 (EXTENDED)
  Notification of acceptance:      July 19th, 2015
  Early registration:              July 31st, 2015
  Final version of accepted paper: August 7th, 2015

  Workshop days: 21-22 September 2015

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 hybridized
with
  techniques in other areas. Artificial Intelligence tools often exploit
or
  hybridize techniques developed by other research communities, such as
  Operations Research.
  In recent years, research in Artificial Intelligence has more and
  more focused 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-fertilization 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
  modeling, 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 argumentation
       o temporal reasoning
       o combinatorial optimization
       o quantified boolean formulae and quantified constraints
       o modal logics
       o logic programming
       o answer set programming 
       o ontological reasoning       
  * Definition and construction of benchmarks
  * Experimentation methodologies
  * Metaheuristics
  * Algorithm hybridization
  * Static analysis of combinatorial problems
  * Languages and systems for definition and solution of problems
  * Comparisons between systems and algorithms
  * Application experiences (visualization, graphics, security,
transports, ...)

WORKSHOP CHAIRS
  * Stefano Bistarelli		University of Perugia, Italy
  * Andrea Formisano            University of Perugia, Italy
  * Marco Maratea               University of Genova, Italy

WORKSHOP PROGRAM COMMITTEE

  TBA

HOST ORGANIZATION

     University of Ferrara, Italy

SUBMISSIONS
  Authors are invited to submit either original (full or short) 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 (for full
papers) or 
  8 (for short papers) pages, and should be written in LaTeX, using the
LNCS style.

  RCRA 2015 uses EasyChair for the submission of contributions. Details
will be made available soon. 

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

PROGRAM COMMITTEE

    Mario  Alviano  (University of Calabria)
    Paolo Baldan (University of Padova)
    Marcello  Balduccini  (Drexel University)
    Laura  Barbulescu  (Carnegie Mellon University)
    Roman  Bartak  Charles (University in Prague)
    Elena  Bellodi  (University of Ferrara)
    Stefano  Bistarelli (University of Perugia)
    Stefania  Costantini  (University of L'Aquila)
    Agostino  Dovier  (University of Udine)
    Andrea  Formisano  (University of Perugia)
    Fabio  Gadducci  (University of Pisa)
    Marco  Gavanelli  (University of Ferrara)
    Matti  Järvisalo  (University of Helsinki)
    Zeynep  Kiziltan  (University of Bologna)
    Ines  Lynce  (University of Lisbon)
    Daniele  Magazzeni  (King's College London)
    Toni  Mancini  (Sapienza University, Rome)
    Marco  Maratea  (University of Genova)
    Joao  Marques-Silva  (University of Lisbon)
    Angelo  Oddi  (ISTC-CNR)
    Luca  Pulina  (University of Sassari)
    Francesco  Ricca  (University of Calabria)
    Francesco  Santini  (University of Perugia)
    Torsten  Schaub  (University of Potsdam)
    Ivan  Serina  (University of Brescia)
    Thomas  Stützle  (Université Libre de Bruxelles)
    Mauro  Vallati  (University of Huddersfield)
    Richard Wallace (University of Ireland)
    Johannes Wallner (University of Helsinki)

PROCEEDINGS

  Accepted papers will be published online, as an issue of the CEUR-WS
workshop proceeding series.

A selection of extended and revised versions of accepted papers will
appear in a special issue of Fundamenta Informaticae
(http://fi.mimuw.edu.pl/index.php/FI), provided that a sufficient amount
of high quality papers is collected.

HISTORY OF THE RECENT WORKSHOP SERIES
  * RCRA 2014 as a workshop of SAT 2014, IJCAR 2014 and ICLP 2014,
Vienna, Austria - http://rcra.aixia.it/rcra2014
    Extended versions of the best papers will appear in a special issue
of AI Communications
  * RCRA 2013, Rome, Italy - http://rcra.aixia.it/rcra2013
    Extended versions of the best papers will appear in a special issue
of Journal of Experimental and Theoretical Artificial Intelligence 
  * RCRA 2012 as a workshop of AI*IA 2012, Rome, Italy -
http://rcra.aixia.it/rcra2012
    Extended versions of the best papers will appear in a special issue
of AI Communications
  * RCRA 2011 as a workshop of IJCAI 2011, Barcelona, Spain -
http://rcra.aixia.it/rcra2011
    Extended versions of the best papers appear in a special issue of AI
Communications
  * Previous editions: http://rcra.aixia.it/workshops