[SMT-LIB] RCRA 2014: call for papers
Francesco Ricca
ricca at mat.unical.it
Mon Mar 17 07:53:30 EDT 2014
[APOLOGIES FOR MULTIPLE POSTINGS]
* __________________________________________________________________________ *
Call for papers
The 21st RCRA workshop:
Experimental evaluation of algorithms for solving
problems with combinatorial explosion
--- RCRA 2014 ---
A FLoC workshop at the Vienna Summer of Logic (VSL 2014)
Affiliated with SAT 2014, ICLP 2014, IJCAR 2014
Vienna, Austria, July 17-18, 2014
RCRA group web site: http://rcra.aixia.it/
Workshop web site: http://rcra.aixia.it/rcra2014
e-mail: rcra2014 at gmail.com
* __________________________________________________________________________ *
The 21st edition of the RCRA workshop will take place in Vienna during
the Vienna Summer of Logic ( VSL - htpp://http://vsl2014.at ) which will
be the largest event in the history of logic. VSL will consist of twelve
large conferences and many workshops, attracting researchers from all over
the world.
RCRA 2014 is a FLoC workshop affiliated with SAT 2014, ICLP 2014, IJCAR 2014.
It will be held in the Workshop Block 2 ( see http://vsl2014.at/ataglance )
after SAT 2014 and before ICLP2014 and IJCAR2014.
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.
IMPORTANT DATES
* Submission deadline for abstracts: March 25, 2014
* Submission deadline for papers: April 1, 2014
* Acceptance/reject notification: May 1, 2014
* Camera-ready papers due: May 20, 2014
* RCRA 2014: July 17-18, 2014
HISTORY OF THE WORKSHOP SERIES
The RCRA workshops are organized by the RCRA (Knowledge Representation
& Automated Reasoning) group of the Italian Association for Artificial
Intelligence.
The last editions have been as follows:
* 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
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 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
WORKSHOP CHAIRS
* Toni Mancini Sapienza University, Rome, Italy
* Marco Maratea University of Genova, Genova, Italy
* Francesco Ricca University of Calabria, Rende, Italy
WORKSHOP PROGRAM COMMITTEE
* Mario Alviano – Università della Calabria, Rende (Italy)
* Laura Barbulescu – Carnegie Mellon University (CMU), Pittsburgh, PA (USA)
* Roman Bartak – Charles University, Prague (Czech Republic)
* Sara Bernardini – King's College London (UK)
* Alessandro Dal Palù – Università di Parma (Italy)
* Francesco Donini – Università degli Studi della Tuscia, Viterbo (Italy)
* Wolfgang Faber – University of Huddersfield, Huddersfield (UK)
* Andrea Formisano – Università di Perugia (Italy)
* Marco Gavanelli – Università di Ferrara (Italy)
* Philippe Laborie – ILOG, IBM, Gentilly (France)
* Yuliya Lierler – University of Nebraska, Omaha, (USA)
* Ines Lynce – Universidade Técnica de Lisboa (Portugal)
* Joao Marques-Silva – University College Dublin (Ireland)
* Marco Montali – Free University of Bolzano (Italy)
* Angelo Oddi – National Research Council (CNR), Rome (Italy)
* Andreas Pieris – University of Oxford (UK)
* Luca Pulina – Università di Sassari (Italy)
* Daniel Riera – Universitat Oberta de Catalunya, Barcelona (Spain)
* Marco Roveri – FBK, Trento (Italy)
* Francesco Scarcello – Università della Calabria, Rende (Italy)
* Ivan Serina – Università degli Studi di Brescia (Italy)
* Andrea Schaerf – Università di Udine (Italy)
* Paolo Torroni – Università di Bologna (Italy)
* Mirek Truszczynski – University of Kentucky, Lexington, KY (USA)
* Stefan Woltran – Technische Universitat Wien (Austria)
HOST ORGANIZATION
Vienna Summer of Logic, Vienna, Austria
FLoC workshop affiliated with SAT 2014, ICLP 2014, IJCAR 2014
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 2014 style available at the workshop web site.
RCRA 2014 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 program committee.
SELECTION FOR THE POST-PROCEEDINGS
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. We aim at a short submission process, and
at most one re-submission stage will be allowed.
More information about the SMT-LIB
mailing list