<div dir="ltr"><div><div>[APOLOGIZE IN CASE OF MULTIPLE POSTING]<br><br>The RCRA group (Knowledge Representation & Automated Reasoning) </div><div>of the AI*IA (Italian Association for Artificial Intelligence)<br><br>organizes the<br><br>33rd International Workshop on Experimental Evaluation of Algorithms for Solving<br>Problems with Combinatorial Explosion (RCRA 2026)<br><br>co-located with FLoC 2026 (Federated Logic Conference 2026)<br><a href="https://www.floc26.org/" target="_blank">https://www.floc26.org/</a> July 2026, Lisbon, Portugal.<br><br>Workshop web site: <a href="https://rcra2026.github.io/" target="_blank">https://rcra2026.github.io/</a></div><div><br>e-mail: <a href="mailto:m.vallati@hud.ac.uk" target="_blank">m.vallati@hud.ac.uk</a>, <a href="mailto:marco.maratea@unical.it" target="_blank">marco.maratea@unical.it</a>, <a href="mailto:serafini@fbk.eu" target="_blank">serafini@fbk.eu</a>,<br><a href="mailto:alessandro.bertagnon@unife.it" target="_blank">alessandro.bertagnon@unife.it</a>, <a href="mailto:enrico.scala@unibs.it" target="_blank">enrico.scala@unibs.it</a><br><br>* ______________________________________________________________________ *<br><br>This event follows the series of the RCRA (Knowledge Representation and Automated Reasoning) annual meetings, held </div><div>since 1994. The success of the previous events shows that RCRA is becoming a major forum for exchanging ideas and </div><div>proposing experimentation methodologies for algorithms in Artificial Intelligence.<br><br>* ______________________________________________________________________ *<br><br>**IMPORTANT DATES</div><div><br>Paper submission deadline: April 24th, 2026<br>Notification of acceptance: May 20th, 2026<br>Final version of accepted original papers: July 1st, 2026<br>RCRA workshop: July 18th, 2026<br><br>**AIMS AND SCOPE</div><div><br>Many problems in Artificial Intelligence show an exponential explosion of the search space. Although stemming from </div><div>different research areas in AI, such problems are often addressed with algorithms that have a common goal: the </div><div>effective exploration of huge state spaces. Many algorithms developed in one research area are applicable to other </div><div>problems, or can be hybridized with techniques in other areas. Artificial Intelligence tools often exploit or </div><div>hybridize techniques developed by other research communities, such as Operations Research. In recent years, </div><div>research in Artificial Intelligence has more and more focused on experimental evaluation of algorithms, the </div><div>development of suitable methodologies for experimentation and analysis, the study of languages and the </div><div>implementation of systems for the definition and solution of problems.<br><br>Scope of the workshop is fostering the cross-fertilization of ideas stemming from different areas, proposing </div><div>benchmarks for new challenging problems, comparing models and algorithms from an experimental viewpoint, and, in </div><div>general, comparing different approaches with respect to efficiency, problem modelling, and ease of development.<br><br>Topics of interest include, but are not limited to:<br>* Experimental evaluation of algorithms for<br>    o knowledge representation<br>    o automated reasoning<br>    o planning<br>    o scheduling<br>    o machine learning<br>    o model checking<br>    o boolean satisfiability (SAT)<br>    o constraint programming<br>    o argumentation<br>    o temporal reasoning<br>    o combinatorial optimization<br>    o quantified boolean formulae and quantified constraints<br>    o modal logics<br>    o logic programming<br>    o answer set programming<br>    o ontological reasoning<br>* Definition and construction of benchmarks<br>* Experimentation methodologies<br>* Metaheuristics<br>* Algorithm hybridization<br>* Static analysis of combinatorial problems<br>* Languages and systems for definition and solution of problems<br>* Comparisons between systems and algorithms<br>* Application experiences (visualization, graphics, security, transports,...)<br><br>**WORKSHOP CHAIRS<br><br>Alessandro Bertagnon, University of Ferrara, Italy<br>Marco Maratea, University of Calabria, Italy<br>Enrico Scala, University of Brescia, Italy<br>Luciano Serafini, FBK, Italy<br>Mauro Vallati, University of Huddersfield, UK<br><br>**SUBMISSIONS<br><br>Authors are invited to submit either original and non-original papers.<br><br>Publications showing negative results are welcome, provided that the approach was original and very promising in </div><div>principle, the experimentation was well-conducted, the results obtained were unforeseeable and gave important hints </div><div>in the comprehension of the target problem, helping other researchers to avoid unsuccessful paths.<br><br>Workshop submissions must be in PDF format, do not exceed 15 (for full papers) or 8 (for short papers) pages. </div><div>Papers should be formatted according to the CEUR-WS’s single-column style (<a href="http://ceur-ws.org/HOWTOSUBMIT.html" target="_blank">http://ceur-ws.org/HOWTOSUBMIT.html</a>).</div><div><br>RCRA 2026 uses HotCrp for the submission of contributions.<br>Contributions must be submitted through this page: <a href="https://submissions.floc26.org/rcra" target="_blank">https://submissions.floc26.org/rcra</a>.<br><br>**PROCEEDINGS</div><div><br>CEUR-WS Proceedings: </div><div>Accepted original papers will be published in the CEUR Workshop Proceedings (<a href="http://ceur-ws.org/" target="_blank">http://ceur-ws.org/</a>) </div><div>(upon authors confirmation), possibly in conjunction with other workshops.</div><div><br>Moreover, as in some previous editions, we are considering the possibility of having a special issue of an international journal, </div><div>provided that a sufficient amount of high quality papers is collected. All technical papers, original and non-original, will be eligible.</div></div><div><br></div><span class="gmail_signature_prefix">-- </span><br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><font size="2">Alessandro Bertagnon, PhD<br>Department of Environmental and Prevention Sciences, University of Ferrara<br><br>Office: Department of Engineering <br>           Via Saragat 1, 44122 Ferrara, Italy<br>           Phone: +39-0532-97-4827<br>E-mail: <a href="mailto:alessandro.bertagnon@unife.it" target="_blank">alessandro.bertagnon@unife.it</a><br><a href="https://docente.unife.it/alessandro.bertagnon/" target="_blank">https://docente.unife.it/alessandro.bertagnon/</a> <br></font></div></div></div>