RCRA 2026 @ FLOC 2026 : Call for Papers (Extended Deadlines)

[Alessandro Bertagnon]

[APOLOGIES IN CASE OF MULTIPLE POSTING]

We are pleased to announce that the submission deadlines for RCRA 2026 have been extended.
Authors are welcome to submit both original and previously published papers.

We would be very grateful for your help in supporting and promoting this long-standing workshop. 

**IMPORTANT DATES (Extended deadlines)

Abstract submission deadline: May 12th, 2026
Paper submission deadline: April 24th, 2026  May 15th, 2026
Notification of acceptance: May 20th, 2026  May 29th, 2026
Final version of accepted original papers: July 1st, 2026
RCRA workshop: July 18th, 2026

______________________________________________________________________

The RCRA group (Knowledge Representation & Automated Reasoning) 

of the AI*IA (Italian Association for Artificial Intelligence)

organizes the

33rd International Workshop on Experimental Evaluation of Algorithms for Solving
Problems with Combinatorial Explosion (RCRA 2026)

co-located with FLoC 2026 (Federated Logic Conference 2026)
https://www.floc26.org/ July 2026, Lisbon, Portugal.

Workshop web site: https://rcra2026.github.io/

e-mail: m.va...@hud.ac.uk, marco....@unical.it, sera...@fbk.eu,
alessandro...@unife.it, enrico...@unibs.it

* ______________________________________________________________________ *

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.

* ______________________________________________________________________ *

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

**WORKSHOP CHAIRS

Alessandro Bertagnon, University of Ferrara, Italy
Marco Maratea, University of Calabria, Italy
Enrico Scala, University of Brescia, Italy
Luciano Serafini, FBK, Italy
Mauro Vallati, University of Huddersfield, UK

**SUBMISSIONS

Authors are invited to submit either original and non-original papers.

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.

Workshop submissions must be in PDF format, do not exceed 15 (for full papers) or 8 (for short papers) pages. 

Papers should be formatted according to the CEUR-WS’s single-column style (http://ceur-ws.org/HOWTOSUBMIT.html).

RCRA 2026 uses HotCrp for the submission of contributions.
Contributions must be submitted through this page: https://submissions.floc26.org/rcra.

**PROCEEDINGS

CEUR-WS Proceedings: 

Accepted original papers will be published in the CEUR Workshop Proceedings (http://ceur-ws.org/) 

(upon authors confirmation), possibly in conjunction with other workshops.

Moreover, as in some previous editions, we are considering the possibility of having a special issue of an international journal, 

provided that a sufficient amount of high quality papers is collected. All technical papers, original and non-original, will be eligible.

--

Alessandro Bertagnon, PhD
Department of Environmental and Prevention Sciences, University of Ferrara

Office: Department of Engineering
           Via Saragat 1, 44122 Ferrara, Italy
           Phone: +39-0532-97-4827
E-mail: alessandro...@unife.it
https://docente.unife.it/alessandro.bertagnon/