[PlanetKR] 2nd CFP and deadline extension - CASP:ER 2025 - Constraint And Satisfiability-based Planning: an Exploratory Research Workshop

[Matteo Cardellini]

*** We apologize for possible cross posting ***

 *********** CALL FOR PAPERS ***********
Constraint And Satisfiability-based Planning: an Exploratory Research
Workshop
CASP:ER 2025

10th or 11th November, 2025
Melbourne, Australia
https://icaps25.icaps-conference.org/program/workshops/casp_er

 *********************************
Despite the widespread adoption of heuristic search and learning-based
approaches in automated planning, Constraint and Satisfiability-based
Planning (CSP/SAT-based Planning) remains a viable and promising paradigm.
Historically, CSP and SAT approaches have demonstrated strong theoretical
foundations and practical success in various domains. However, their usage
has diminished in recent years due to the rise of alternative methods. The
CASP:ER workshop aims to revisit and reinforce the relevance of
CSP/SAT-based planning by showcasing recent advancements, discussing its
applicability, and identifying opportunities for renewed adoption.

A surge of research on the topic of CSP/SAT-based planning in recent years
has proven that it is far from obsolete. Advances in constraint
programming, SAT solvers, and hybrid methodologies suggest that these
techniques still have much to offer. The objectives of the workshop are
thus as follows: (i) highlight recent breakthroughs in CSP/SAT-based
planning and their impact on the field, (ii) explore novel applications
where constraint-based planning remains competitive or superior, (iii)
foster discussions on integrating CSP/SAT methods with modern AI
approaches, such as machine learning and heuristic search (iv) bring
together researchers and practitioners interested in constraint-based
reasoning for planning, and (v) identify key challenges and future research
directions that can rejuvenate interest in CSP/SAT-based planning.

This is the first edition of CASP:ER and will be held as a workshop of
ICAPS on either November 10th and 11th, 2025, in Melbourne, Australia

 *** Call for contributions ***

 To foster discussion on and the exploration of research ideas in
CSP/SAT-based planning, we accept two types of contributions: previously
published work as well as original research.
1. Abstracts for Presentations. The abstract (1 page, including references)
reports on previously published work. The abstract should briefly summarise
that work. The submission must include a link to the original publication.
2. Extended abstracts  (5 pages + references) containing original work on
CSP- or SAT-based Planning.

 Extended abstracts can present recent results, new research directions,
challenges and perspectives.

 We plan to include all papers in the Proceedings of the event, published
at CEUR Workshop Proceedings. CEUR WS proceedings are archival proceedings
indexed by DBLP and Scopus.

 Submitted papers should use the CASP:ER-specific version of the CEURART
LaTeX style, which is available on the website. Authors of accepted papers
will have the possibility to extend their submissions for the final
camera-ready version to eight (8) pages plus references.

 Submissions must be in PDF format and will be handled via the EasyChair
Conference system at the following address:
https://easychair.org/my/conference?conf=casper2025.

 *** Important dates ***
- Paper submission July 7th, 2025 (EXTENDED)
- Notification August 10th, 2025 (EXTENDED)
- Camera-ready September 7th, 2025 (EXTENDED)
- Workshop: November 10th or 11th, 2025 (TBA)

 *** Program Committee Chairs ***
Gregor Behnke - University of Amsterdam
Matteo Cardellini - University of Genova
Nicola Gigante - Free University of Bozen-Bolzan
Andrea Micheli - Fondazione Bruno Kessler

 *** Program Committee Members ***
Tomas Balyo
Nils Froleyks
Enrico Giunchiglia
Gaspard Quenard

 *** Contacts ***
For more information email casper2025 at easychair.org
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://kr.org/pipermail/planetkr/attachments/20250623/3abb8d74/attachment.htm>