Kein Betreff

Francesco Calimeri calimeri at mat.unical.it
So Jun 15 14:05:10 CEST 2008



[apologies for multiple postings]



*    
______________________________________________________________________   
  *

     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

*    
______________________________________________________________________   
  *con preghier

     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





------------------------------------
Department of Mathematics, Università della Calabria
Francesco Calimeri
Ricercatore (Researcher - Tenured Assistant Professor)
calimeri at mat.unical.it
fcalimeri at gmail.com
Ponte Pietro Bucci, cubo 30b
87036 Rende (CS) 
ITALY
tel: +39 0984 49 6478
fax: +39 0984 49 6410
mobile: +39 329 0029951
IM: kali at freemail.it
http://www.mat.unical.it/calimeri
------------------------------------





Mehr Informationen über die Mailingliste IFI-CI-Event