[gulp-all] RCRA 2008: sessione R.i.C.e.R.c.A.

[Francesco Calimeri]

apologies for multiple postings.

---

******* ******* ******* **
* ** ** ** * ** * **
* ** ** * ** * **
******* ** ** ******* ******
* ** ** ** * ** * **
* ** ** ** * ** * **
* ** *** ******* ***** * ** ***** ** ***
** ** ** ** **
** ******* **
** ** ** **
**** NCONTRI ***** ***** ONFRONTI

Il gruppo di lavoro RCRA (Ragionamento Automatico e Rappresentazione
della Conoscenza) dell'AI*IA (Associazione Italiana per l'Intelligenza
Artificiale) organizza, in occasione dell'edizione 2008, la sessione
R.i.C.e.R.c.A: RCRA Incontri E Confronti.

La sessione e` rivolta a tutti i partecipanti alle precedenti edizioni
di RCRA, ma e` aperta anche a nuovi membri. Scopo dell'incontro e`
favorire l'incontro fra i ricercatori appartenenti alle diverse aree di
interesse del Gruppo di Lavoro RCRA, fra cui (lista non esaustiva):

- Programmazione Logica
- Logica Computazionale (Programmazione Logica Abduttiva, Induttiva, ...)
- Ontologie
- Logiche descrittive
- Semantic Web, Servizi Web Semantici, Coreografie, Discovery di servizi
Web Semantici
- Linguaggi per la Rappresentazione di Regole sul Web (RuleML, MathML,
...) e motori inferenziali
- Ragionamento non monotono
- Ragionamento Spaziale e Temporale
- Planning e Scheduling
- Model Checking
- Sistemi ad Agenti e Concorrenti
- Case-Based Reasoning
- Problemi di soddisfacimento di vincoli, CSP e QCSP
- Problemi di ottimizzazione combinatoria
- SAT e QBF
- Apprendimento automatico e data mining
- Logiche Modali
- Disjunctive Logic Programming
- Metaeuristiche
- Algoritmi ibridi
- Logiche Fuzzy
- Preferenze
- Sistemi di misura per la sperimentazione in IA

Per partecipare, si chiede di sottoporre all'indirizzo
rcra08 at dis.uniroma1.it un abstract entro il 1 Novembre 2008
Gli autori di lavori accettati avranno la possibilita` di presentare
brevemente il loro lavoro durante RiCeRcA 2008; inoltre potranno
presentare un poster, una demo oppure una presentazione piu`
approfondita durante una sessione comune, in cui avranno la possibilita`
di interagire in maniera piu` diretta con gli interessati.

Sono particolarmente adatti:
- presentazione di gruppi di ricerca
- presentazioni informali di progetti di ricerca
- position paper
- presentazioni di tesi di dottorato

Invitiamo i dottorandi, in particolare ai primi anni, a presentare le
idee che intendono sviluppare, anche se ancora non completamente
definite: potranno discutere le loro idee con altri ricercatori.

-=^=- -=^=- -=^=- -=^=- -=^=- -=^=- -=^=- -=^=- -=^=- -=^=- -=^=- -=^=-

L'incontro proseguira` con una discussione sul tema:

Aspetti metodologici della sperimentazione in IA

Si invitano i partecipanti ad inviare una breve presentazione (di circa
5 minuti) su questo argomento;
le presentazioni saranno seguite da ampia discussione.

____ ____ ____ _
| _ \ / ___| _ \ / \
| |_) | | | |_) | / _ \
| _ <| |___| _ < / ___ \
|_| \_\\____|_| \_\/_/ \_\

Segue call dell'evento internazionale.

* __________________________________________________________ *

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

organises the

15th RCRA workshop:
Experimental evaluation of algorithms for solving problems
with combinatorial explosion

http://www.dis.uniroma1.it/~rcra08
rcra08 at dis.uniroma1.it

* __________________________________________________________ *

This workshop follows the series of the RCRA (Knowledge
Representation and Automated Reasoning) annual meeting, 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.

*** Workshop post-proceedings will be published in the Elsevier ***
*** Journal of Algorithms in Logic, Informatics and Cognition. ***
* __________________________________________________________ *

DATES
Two days in December 2008, co-located with ICLP 2008 (9-13 December
2008) (exact dates to be announced)

VENUE
Udine, Italy

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:
o knowledge representation
o automated reasoning
o planning
o scheduling
o agents and distributed systems
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

Contributions are solicited about (the list is not exhaustive):
* Experimental evaluation of algorithms
* 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

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.

Although the spirit of the workshop is informal, a second formal stage
is expected, with a second round of reviews for the selection of
extended versions of the papers to appear in a special issue of the
Elsevier Journal of Algorithms in Logic, Informatics and Cognition.

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

PROGRAM COMMITTEE
Gilles Audemard, Université d'Artois, France
Matteo Baldoni, Università di Torino, Italy
Francesco Buccafurri, Università Mediterranea di Reggio Calabria, Italy
Francesco Calimeri, Università della Calabria, Italy
Stefania Costantini, Università dell'Aquila, Italy
Luca Di Gaspero, Università di Udine, Italy
Khalil Djelloul, Université d'Orléans, France
Marco Gavanelli, Università di Ferrara, Italy
Daniel Le Berre, Université d'Artois, France
Ines Lynce, Universidade Técnica de Lisboa, Portugal
Toni Mancini, Sapienza Università di Roma, Italy
Marco Maratea, Università di Genova, Italy
Joao Marquez-Silva, University of Southampton, UK
Pedro Meseguer, Consejo Superior de Investigaciones Científicas, Spain
Nicola Policella, European Space Agency, Germany
Steve Prestwich, Cork Constraint Computation Centre, Ireland
Luca Pulina, Università di Genova, Italy
Francesco Ricca, Università della Calabria, Italy
Fabrizio Riguzzi, Università di Ferrara,Italy
Daniel Singer, Université de Metz, France
Kostas Stathis, Royal Holloway, University of London, UK
Kostas Stergiou, University of the Aegean, Greece
Mirek Truszczynski, University of Kentucky, USA
Richard Wallace, Cork Constraint Computation Centre, Ireland

HOST ORGANIZATION
Università di Udine, Italy

LOCAL COMMITTEE
Luca Di Gaspero, Università degli Studi di Udine, Italy
Stefano Benedettini, Università degli Studi di Udine, Italy
Sara Ceschia, Università degli Studi di Udine, Italy
Andrea Schaerf, Università degli Studi di Udine, Italy

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

At the time of submission, authors are requested to clearly specify
whether their submission is original or already published.

All submissions must be in PDF format, do not exceed 10 pages, and
should be written in Latex, using the standard Article style, 11pt.
All submissions will be reviewed by at least three members of the
program committee.
Papers accepted at the workshop will be electronically published on
the workshop web site.

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 accepted papers will have the
opportunity to participate in the selection for the post-proceedings
by submitting an extended version of their work.

Workshop post-proceedings will appear in a special issue of the
Elsevier Journal of Algorithms in Logic, Informatics and Cognition.

All candidate articles must be original: they cannot have already been
published in journals, and must contain significant additional
material with respect to any previous version already published in
formal conference proceedings.

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 deadline: 1 September 2008
* Papers submission deadline: 15 September 2008
* Notification of acceptance/reject: 25 October 2008
* Final version due: 15 November 2008
* Workshop: Around 9-13 December 2008

SELECTION FOR POST-PROCEEDINGS
(special issue of Elsevier J. of Algorithms in Logic, Informatics and
Cognition)

* Extended papers submission deadline: 15 January 2009
* Notification of reviews of the 1st round: 28 February 2009
* Re-submission deadline
(for papers not accepted with minor rev.): 15 April 2009

* Final notification of acceptance: 1 May 2009
* Final version due: 15 May 2009