[Om-announce] RCRA 2015: First call for papers

Marco Maratea marco at dist.unige.it
Sat May 16 15:15:42 CEST 2015


* ______________________________________________________________________

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

                                organizes the

                             22th 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).


  Abstract and paper submission deadline: June 19th, 2015
  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

  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

  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, ...)

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




     University of Ferrara, Italy

  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.




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

  Moreover, as in previous editions (http://rcra.aixia.it/publications),
  we are considering the possibility of having workshop post-proceedings
  appearing in a special issue of an international journal, provided
  that a sufficient amount of high quality papers is collected.

  * 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 -
    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 -
    Extended versions of the best papers appear in a special issue of AI
  * Previous editions: http://rcra.aixia.it/workshops

More information about the Om-announce mailing list