RCRA 2012: call for papers
Toni Mancini
tmancini at di.uniroma1.it
Mo Apr 2 10:25:44 CEST 2012
[Apologies for multiple copies.]
News: due to several requests, we have slightly extended RCRA 2012 submission deadlines:
- Abstracts due by April 8
- Papers due by April 15
* ______________________________________________________________________ *
The RCRA group (Knowledge Representation & Automated Reasoning) of the
AI*IA (Italian Association for Artificial Intelligence)
organises the
19th RCRA workshop:
Experimental evaluation of algorithms for solving
problems with combinatorial explosion (RCRA 2012)
in association with AI*IA 2012
Rome, Italy, 14-16 June 2012
RCRA group web site: http://rcra.aixia.it/
Workshop web site: http://rcra.aixia.it/rcra2012
e-mail: rcra2012 at gmail.com
* ______________________________________________________________________ *
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 Rome, Italy from 14 to 16 June 2012, in
association with AI*IA 2012. RCRA 2012 will be held just after KR 2012 (http://kr.org/KR2012),
DL 2012 (http://www.dis.uniroma1.it/~dl2012), NMR 2012 (http://www.dbai.tuwien.ac.at/NMR12)
and CILC 2012 (http://www.dis.uniroma1.it/~cilc2012), all in Rome.
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.
HISTORY OF THE WORKSHOP SERIES
* RCRA 2011 in association with IJCAI 2011, Barcelona, Spain - http://rcra.aixia.it/rcra2011
Extended versions of the best papers appear in a special issue of AI Communications
* RCRA 2010 in association with CPAIOR 2010, Bologna, Italy - http://rcra.aixia.it/rcra2010
Extended versions of the best papers appear in a special issue of Springer AMAI
* RCRA 2009 in association with AI*IA 2009, Reggio Emilia, Italy - http://rcra.aixia.it/rcra2009
Extended versions of the best papers appear in a special issue of Fundamenta Informaticae
* Previous editions: http://rcra.aixia.it/workshops
IMPORTANT DATES (extended submission deadlines)
* Abstract submission: 8 April 2012
* Submissions to the RCRA workshop: 15 April 2012
* Notification of acceptance/reject: 15 May 2012
* Final version due: 5 June 2012
* RCRA workshop: 14-16 June 2012
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
* Toni Mancini Sapienza University, Rome, Italy
* Angelo Oddi ISTC-CNR, Rome, Italy
WORKSHOP PROGRAM COMMITTEE
* Christian Artigues LAAS CNRS, Tolouse (France)
* Gilles Audemard Université d'Artois, Lens Cedex (France)
* Roman Bartak Charles University, Prague (Czech Republic)
* Marco Chiarandini University of Southern Denmark, Odense (Demark)
* Luca Di Gaspero Università di Udine (Italy)
* Andrea Formisano Università di Perugia (Italy)
* Ines Gonzalez Rodriguez University of Cantabria, Santander (Spain)
* George Katsirelos INRA, Toulouse (France)
* Henry Kautz University of Rochester, NY (USA)
* Philippe Laborie ILOG, IBM Gentilly (France)
* Ines Lynce Universidade Técnica de Lisboa (Portugal)
* Radu Marinescu IBM Dublin (Ireland)
* Joao Marquez-Silva University College Dublin (Ireland)
* Pedro Meseguer Consejo Superior de Investigaciones Científicas, Bellaterra (Spain)
* Ian Miguel University of St. Andrews (UK)
* Alessandra Mileo National University of Ireland, Galway (Ireland)
* Eva Onaindia Universidad Politecnica de Valencia (Spain)
* Luca Pulina Università di Sassari (Italy)
* Ioannis Refanidis University of Macedonia, Thessaloniki (Greece)
* Francesco Ricca Università della Calabria, Cosenza (Italy)
* Andrea Roli Università di Bologna (Italy)
* Francesca Rossi Università di Padova (Italy)
* Ivan Serina Free University of Bolzano (Italy)
* Kostas Stergiou University of Western Macedonia, Kozani (Greece)
* Pascal Van Hentenryck NICTA and The University of Melbourne (Australia)
HOST ORGANIZATION
Sapienza University, Rome
Dipartimento di Ingegneria Informatica, Automatica e Gestionale "A. Ruberti"
(formerly, DIS: Dipartimento di Informatica e Sistemistica)
Via Ludovico Ariosto 25, 00185 Rome, 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-based
RCRA 2012 style available at the workshop web site.
RCRA 2012 uses EasyChair for the submission of contributions. Details are available
on the web-site.
Submissions will be reviewed by at least three members of the programme committee.
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.
Hence, authors are invited to work on their paper mainly before the
workshop date.
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20120402/4e6268ed/attachment.html>
Mehr Informationen über die Mailingliste IFI-CI-Event