CP 2025 Call for Papers
47 views
Skip to first unread message
Ciaran McCreesh
Dec 16, 2024, 8:39:26 AM12/16/24
to Constraints
CP2025 Call for Papers
Thirty First Conference on Principles and Practice of Constraint
Programming CP 2025
https://cp2025.a4cp.org/
.... August 10-15, 2025, Glasgow, Scotland
CP is the premier international event for presenting research in all
aspects of *computing with constraints*, including, but not restricted
to: theory, algorithms, environments, languages, models, systems, and
applications. CP 2025 is the 31st conference in this series and will
be held at the University of Glasgow, Scotland, August 10-15, 2025.
This year, CP is co-located with the 28th International Conference on
Theory and Applications of Satisfiability Testing (SAT 2025) and with
the 18th International Symposium on Combinatorial Search (SoCS 2025).
Note that the first two days (10 and 11th) will be dedicated to the
Workshops and Doctoral Program.
The CP conference welcomes submissions that advance the state of the
art for the underlying constraint-based technologies, as well as
papers that explore the role of constraint programming within other
disciplines, such as operations research, machine learning,
computational sustainability, quantum computing, computational biology
and (cyber)security.
-------- Tracks and Primary Keywords
-----------------------------------------
CP has lately had both a main technical track, an application track
and a series of specialised tracks (e.g., machine learning, operations
research, etc.) that authors could submit to and were mutually
exclusive. This year, inspired by ICAPS 2024, we will *only have two
tracks*: technical and application where, as usual, the former focuses
on the scientific contributions made “to” CP, while the latter focuses
on scientific contributions made “with” CP. The application track is
particularly interested in papers that demonstrate the effectiveness
of CP in solving real-world problems, as well as those that offer
generalisable insights on the challenges and benefits for both users
and developers of applying CP to both academic and real-world
problems.
Former specialised tracks are replaced this year by a set of *optional
primary keywords*, which are in addition to the keywords requested
from authors every year. Their purpose is to enable submissions to
self-identify the area of focus of the CP paper, support the
identification of suitable reviewers, and potentially aid in the
grouping of thematically related accepted papers in the conference
program. Authors (resp. reviewers) will be able to select zero, one or
more primary keywords to reflect best the thematic contributions of
their CP paper (resp. reviewer expertise).
The primary keywords that can be used to qualify the *particular focus
of the CP research* presented in the paper are:
* Theory
* Constraint Propagation, Explanation & Inference
* Search (Complete & Heuristic)
* SAT, MaxSAT & Logic Programming
* Modelling & Modelling Languages
* Operations Research & Mathematical Optimisation
* Machine Learning & Generative AI
* Verification, Certification & Testing
* Hardware, Quantum, Security & Parallelism
* Model Counting
* Decision Diagrams & Dynamic Programming
* Symmetries/Dominance
* Model/Instance Explainability
-------- Important Dates
-----------------------------------------------------
* Submissions open: February
* Abstract registration: 20/03
* Paper submission: 27/03
* Author rebuttal: 8/05-12/05
* Final notification: 29/05
* Camera Ready: 09/06
* Conference: 10/08-15/08
Dates are intended as *11pm Anywhere on Earth (AoE, also known as
UTC-12)*. Note that the dates for registration and submission are
selected in such a way they fall on Friday midnight in New Zealand,
thus ensuring nobody has to work on the weekend to finish their CP
abstract/paper.
-------- Submission Instructions
---------------------------------------------
The submission Web page for CP 2025 will use the OpenReview system
(which will be made available in February 2025). The change in
submission system has been made to facilitate a *new development for
CP*: the publication of the anonymised reviews and meta-reviews of all
accepted papers.
Papers should be submitted in the form of a PDF file following LIPIcs
guidelines [1]).
To open the conference more widely, two types of submissions are expected:
* Full papers, that can use up to 15 pages (references and
appendices excluded).
* Short papers, that can use up to 8 pages (references and
appendices excluded).
Short papers cover early results or highly specific results that can
be adequately reported in 8 pages. They must nonetheless respect the
quality expectations of the conference. Both full and short papers
should attract a wide audience and will be allocated time for
presentation during the conference.
*Appendices* of up to 6 pages for full papers and up to 3 pages for
short papers can be included and will not contribute towards the total
page count. Supplemental material (for example, experimental results
or code) may be referenced, but only if this is done without revealing
the authors' identities (for example, by using
https://anonymous.4open.science/ [2]) to fit our double-blind review
process (see below). Papers should be self-contained and be
comprehensible without reference to either appendices or supplemental
material. Authors should not place elements essential to their paper
in either appendices or supplemental material and indeed it will be
left to the discretion of each reviewer whether they refer to this
material or not.
To facilitate reviewing management, authors who intend to submit a
paper to CP 2025 should submit an abstract with a *maximum of 150
words*, summarising the contribution of the paper and indicating the
track and primary keywords by March 20, 2025. The paper submission
must be completed by March 27, 2025.
All papers will go through a *double-blind reviewing process*, meaning
that authors and reviewers are mutually anonymous. For this reason,
submitted papers should not contain author names, affiliations, or
links to identifying websites. References to the authors' own papers
should be cited in such a way so as to avoid revealing the authorship
of the paper. Authors will also be able to submit a *single rebuttal*
for each paper during the period.
Submissions exceeding the page limits, improperly formatted, with
author names/affiliations/identifying-websites, or with identical (or
almost identical) papers appearing in arXiv will be *rejected without
review*.
Each paper must be *submitted to one track only* (technical or
application). When necessary, the Program Chair may move a submission
to a more suitable track before reviewing starts.
Submitted papers must not appear in, be accepted for, or be under
review for a journal or another peer-reviewed conference with archived
conference proceedings. Submissions that have appeared at workshops or
other meetings and have not been formally published or have appeared
only in highly shortened form (e.g., abstracts) can be submitted as
papers.
Accepted papers will appear in conference proceedings *published by
LIPIcs*. The proceedings will be available at the time of the
conference.
-------- Diversity Equity Inclusion (DEI) scholarship and other support
------
CP 2025 is committed to support the participation of individuals from
underrepresented groups and to foster a more inclusive research
community. In particular, CP 2025 offers *DEI scholarships*, which
provide financial assistance to cover conference attendance costs,
including registration fees, travel, and accommodation. Scholarship
recipients will also be integrated into the Doctoral Program, gaining
access to mentorship. Eligibility for the DEI scholarship requires
*applicants to hold a PhD* (or equivalent degree) and to *submit a
paper* to the conference; however, paper acceptance is not required to
qualify for the scholarship. Application to the DEI scholarship will
be through the main paper submission process. Applicants will also
need to provide a statement about their eligibility and a short CV
(details on how to do this will be provided later).
In addition to the scholarships, CP 2025 is willing to support
attendees with childcare *or accessibility* needs on a best-effort
basis; if you are interested, please get in touch early to discuss
your needs. For more information, follow the DEI page and contact DEI
chairs [3].
-------- Use of Generative AI
------------------------------------------------
CP 2025 is adopting the AAAI policy regarding the use of Generative AI
systems such as ChatGPT. Papers that include text generated from an AI
system are prohibited unless the produced text is presented as a part
of the paper’s experimental setup. This does not prohibit authors from
using AI systems for editing or polishing author-written text.
CP 2025 also follows AAAI policy in considering that AI systems,
including Generative Models such as Chat-GPT, BARD, or DALL-E, do not
satisfy the criteria considered for paper authorship and, as such,
these systems cannot be used as authors or as citable sources in
papers published in CP. Authors assume full responsibility for the
content of submitted work, including checking for plagiarism and the
veracity of all text.
-------- Inclusive Description of Research Contributions
---------------------
Please consider making your research contribution description
inclusive in nature. For example, consider using gender-neutral
pronouns, using examples that are ethnicity/culture-rich, engaging
users from diverse backgrounds if your research involves a survey,
etc. Best efforts should be made to make the paper accessible to
visually impaired and color-blind readers.
-------- Other Information
---------------------------------------------------
Questions about the paper submission process may be addressed to the
Program Chair, Maria Garcia de la Banda (progch...@gmail.com) [4].
[1] https://submission.dagstuhl.de/series/details/5#author
[2] https://anonymous.4open.science/
[3] https://cp2025.a4cp.org/dei.html
[4] mailto:progch...@gmail.com
--
Ciaran McCreesh
Thirty First Conference on Principles and Practice of Constraint
Programming CP 2025
https://cp2025.a4cp.org/
.... August 10-15, 2025, Glasgow, Scotland
CP is the premier international event for presenting research in all
aspects of *computing with constraints*, including, but not restricted
to: theory, algorithms, environments, languages, models, systems, and
applications. CP 2025 is the 31st conference in this series and will
be held at the University of Glasgow, Scotland, August 10-15, 2025.
This year, CP is co-located with the 28th International Conference on
Theory and Applications of Satisfiability Testing (SAT 2025) and with
the 18th International Symposium on Combinatorial Search (SoCS 2025).
Note that the first two days (10 and 11th) will be dedicated to the
Workshops and Doctoral Program.
The CP conference welcomes submissions that advance the state of the
art for the underlying constraint-based technologies, as well as
papers that explore the role of constraint programming within other
disciplines, such as operations research, machine learning,
computational sustainability, quantum computing, computational biology
and (cyber)security.
-------- Tracks and Primary Keywords
-----------------------------------------
CP has lately had both a main technical track, an application track
and a series of specialised tracks (e.g., machine learning, operations
research, etc.) that authors could submit to and were mutually
exclusive. This year, inspired by ICAPS 2024, we will *only have two
tracks*: technical and application where, as usual, the former focuses
on the scientific contributions made “to” CP, while the latter focuses
on scientific contributions made “with” CP. The application track is
particularly interested in papers that demonstrate the effectiveness
of CP in solving real-world problems, as well as those that offer
generalisable insights on the challenges and benefits for both users
and developers of applying CP to both academic and real-world
problems.
Former specialised tracks are replaced this year by a set of *optional
primary keywords*, which are in addition to the keywords requested
from authors every year. Their purpose is to enable submissions to
self-identify the area of focus of the CP paper, support the
identification of suitable reviewers, and potentially aid in the
grouping of thematically related accepted papers in the conference
program. Authors (resp. reviewers) will be able to select zero, one or
more primary keywords to reflect best the thematic contributions of
their CP paper (resp. reviewer expertise).
The primary keywords that can be used to qualify the *particular focus
of the CP research* presented in the paper are:
* Theory
* Constraint Propagation, Explanation & Inference
* Search (Complete & Heuristic)
* SAT, MaxSAT & Logic Programming
* Modelling & Modelling Languages
* Operations Research & Mathematical Optimisation
* Machine Learning & Generative AI
* Verification, Certification & Testing
* Hardware, Quantum, Security & Parallelism
* Model Counting
* Decision Diagrams & Dynamic Programming
* Symmetries/Dominance
* Model/Instance Explainability
-------- Important Dates
-----------------------------------------------------
* Submissions open: February
* Abstract registration: 20/03
* Paper submission: 27/03
* Author rebuttal: 8/05-12/05
* Final notification: 29/05
* Camera Ready: 09/06
* Conference: 10/08-15/08
Dates are intended as *11pm Anywhere on Earth (AoE, also known as
UTC-12)*. Note that the dates for registration and submission are
selected in such a way they fall on Friday midnight in New Zealand,
thus ensuring nobody has to work on the weekend to finish their CP
abstract/paper.
-------- Submission Instructions
---------------------------------------------
The submission Web page for CP 2025 will use the OpenReview system
(which will be made available in February 2025). The change in
submission system has been made to facilitate a *new development for
CP*: the publication of the anonymised reviews and meta-reviews of all
accepted papers.
Papers should be submitted in the form of a PDF file following LIPIcs
guidelines [1]).
To open the conference more widely, two types of submissions are expected:
* Full papers, that can use up to 15 pages (references and
appendices excluded).
* Short papers, that can use up to 8 pages (references and
appendices excluded).
Short papers cover early results or highly specific results that can
be adequately reported in 8 pages. They must nonetheless respect the
quality expectations of the conference. Both full and short papers
should attract a wide audience and will be allocated time for
presentation during the conference.
*Appendices* of up to 6 pages for full papers and up to 3 pages for
short papers can be included and will not contribute towards the total
page count. Supplemental material (for example, experimental results
or code) may be referenced, but only if this is done without revealing
the authors' identities (for example, by using
https://anonymous.4open.science/ [2]) to fit our double-blind review
process (see below). Papers should be self-contained and be
comprehensible without reference to either appendices or supplemental
material. Authors should not place elements essential to their paper
in either appendices or supplemental material and indeed it will be
left to the discretion of each reviewer whether they refer to this
material or not.
To facilitate reviewing management, authors who intend to submit a
paper to CP 2025 should submit an abstract with a *maximum of 150
words*, summarising the contribution of the paper and indicating the
track and primary keywords by March 20, 2025. The paper submission
must be completed by March 27, 2025.
All papers will go through a *double-blind reviewing process*, meaning
that authors and reviewers are mutually anonymous. For this reason,
submitted papers should not contain author names, affiliations, or
links to identifying websites. References to the authors' own papers
should be cited in such a way so as to avoid revealing the authorship
of the paper. Authors will also be able to submit a *single rebuttal*
for each paper during the period.
Submissions exceeding the page limits, improperly formatted, with
author names/affiliations/identifying-websites, or with identical (or
almost identical) papers appearing in arXiv will be *rejected without
review*.
Each paper must be *submitted to one track only* (technical or
application). When necessary, the Program Chair may move a submission
to a more suitable track before reviewing starts.
Submitted papers must not appear in, be accepted for, or be under
review for a journal or another peer-reviewed conference with archived
conference proceedings. Submissions that have appeared at workshops or
other meetings and have not been formally published or have appeared
only in highly shortened form (e.g., abstracts) can be submitted as
papers.
Accepted papers will appear in conference proceedings *published by
LIPIcs*. The proceedings will be available at the time of the
conference.
-------- Diversity Equity Inclusion (DEI) scholarship and other support
------
CP 2025 is committed to support the participation of individuals from
underrepresented groups and to foster a more inclusive research
community. In particular, CP 2025 offers *DEI scholarships*, which
provide financial assistance to cover conference attendance costs,
including registration fees, travel, and accommodation. Scholarship
recipients will also be integrated into the Doctoral Program, gaining
access to mentorship. Eligibility for the DEI scholarship requires
*applicants to hold a PhD* (or equivalent degree) and to *submit a
paper* to the conference; however, paper acceptance is not required to
qualify for the scholarship. Application to the DEI scholarship will
be through the main paper submission process. Applicants will also
need to provide a statement about their eligibility and a short CV
(details on how to do this will be provided later).
In addition to the scholarships, CP 2025 is willing to support
attendees with childcare *or accessibility* needs on a best-effort
basis; if you are interested, please get in touch early to discuss
your needs. For more information, follow the DEI page and contact DEI
chairs [3].
-------- Use of Generative AI
------------------------------------------------
CP 2025 is adopting the AAAI policy regarding the use of Generative AI
systems such as ChatGPT. Papers that include text generated from an AI
system are prohibited unless the produced text is presented as a part
of the paper’s experimental setup. This does not prohibit authors from
using AI systems for editing or polishing author-written text.
CP 2025 also follows AAAI policy in considering that AI systems,
including Generative Models such as Chat-GPT, BARD, or DALL-E, do not
satisfy the criteria considered for paper authorship and, as such,
these systems cannot be used as authors or as citable sources in
papers published in CP. Authors assume full responsibility for the
content of submitted work, including checking for plagiarism and the
veracity of all text.
-------- Inclusive Description of Research Contributions
---------------------
Please consider making your research contribution description
inclusive in nature. For example, consider using gender-neutral
pronouns, using examples that are ethnicity/culture-rich, engaging
users from diverse backgrounds if your research involves a survey,
etc. Best efforts should be made to make the paper accessible to
visually impaired and color-blind readers.
-------- Other Information
---------------------------------------------------
Questions about the paper submission process may be addressed to the
Program Chair, Maria Garcia de la Banda (progch...@gmail.com) [4].
[1] https://submission.dagstuhl.de/series/details/5#author
[2] https://anonymous.4open.science/
[3] https://cp2025.a4cp.org/dei.html
[4] mailto:progch...@gmail.com
--
Ciaran McCreesh
Neil Yorke-Smith
Mar 4, 2025, 5:41:56 AM3/4/25
to Constraints
*Postdoc in Applied Planning and Scheduling under Uncertainty*
TU Delft, The Netherlands - deadline 31 March
This two-year post-doctoral position makes fundamental advances in
infrastructure planning and scheduling under uncertainty. These
advances will be applied to modelling of supply chain scenarios for
offshore wind farm installation, including optimised planning schemes.
Researchers at TU Delft have developed design approaches that account
for many different perspectives in major infrastructure projects
including offshore wind farms. These perspectives include manufacturing
of parts, storage and transport capacity limitations, port congestion,
and strong dependence on weather conditions. You will further develop
and push towards application such approaches, to support the development
of supply chain scenarios for wind farm installation. You will lead
optimisation of planning schemes for several practical cases, including
the development of decision rules for the mitigation of disruptions.
Relevant approaches or experience may include planning and scheduling
under uncertainty, reinforcement learning, (distributionally) robust
optimisation, uncertainty quantification, multi-objective optimisation,
and evolutionary algorithms.
The successful applicant will join the STAR Lab at the Faculty of
Engineering, Mathematics and Computer Science, working with Sequential
Decision Making group in the same faculty, and be connected to
researchers in the Faculty of Civil Engineering and Geosciences.
This research is part of the project 'Efficient From Fabrication to
Installation of Large Offshore Assembled Turbines' funded by the
Netherlands Enterprise Agency (RVO). As part of the project, you will
work with industrial partners including Boskalis.
The position is open until filled; applications by *31 March 2025* will
receive full consideration.
Details and to apply: https://careers.tudelft.nl/job/Delft-Postdoc-in-
Applied-Planning-and-Scheduling-under-Uncertainty-2628-CD/814890902/
Informal enquiries may be addressed to: Neil Yorke-Smith <n.yorke-
sm...@tudelft.nl> and Matthijs Spaan <m.t.j...@tudelft.nl>. Please
do not send applications directly by email.
--
Neil YORKE-SMITH
STAR Lab, TU Delft, NL
starlab.ewi.tudelft.nl
TU Delft, The Netherlands - deadline 31 March
This two-year post-doctoral position makes fundamental advances in
infrastructure planning and scheduling under uncertainty. These
advances will be applied to modelling of supply chain scenarios for
offshore wind farm installation, including optimised planning schemes.
Researchers at TU Delft have developed design approaches that account
for many different perspectives in major infrastructure projects
including offshore wind farms. These perspectives include manufacturing
of parts, storage and transport capacity limitations, port congestion,
and strong dependence on weather conditions. You will further develop
and push towards application such approaches, to support the development
of supply chain scenarios for wind farm installation. You will lead
optimisation of planning schemes for several practical cases, including
the development of decision rules for the mitigation of disruptions.
Relevant approaches or experience may include planning and scheduling
under uncertainty, reinforcement learning, (distributionally) robust
optimisation, uncertainty quantification, multi-objective optimisation,
and evolutionary algorithms.
The successful applicant will join the STAR Lab at the Faculty of
Engineering, Mathematics and Computer Science, working with Sequential
Decision Making group in the same faculty, and be connected to
researchers in the Faculty of Civil Engineering and Geosciences.
This research is part of the project 'Efficient From Fabrication to
Installation of Large Offshore Assembled Turbines' funded by the
Netherlands Enterprise Agency (RVO). As part of the project, you will
work with industrial partners including Boskalis.
The position is open until filled; applications by *31 March 2025* will
receive full consideration.
Details and to apply: https://careers.tudelft.nl/job/Delft-Postdoc-in-
Applied-Planning-and-Scheduling-under-Uncertainty-2628-CD/814890902/
Informal enquiries may be addressed to: Neil Yorke-Smith <n.yorke-
sm...@tudelft.nl> and Matthijs Spaan <m.t.j...@tudelft.nl>. Please
do not send applications directly by email.
--
Neil YORKE-SMITH
STAR Lab, TU Delft, NL
starlab.ewi.tudelft.nl
Reply all
Reply to author
Forward
0 new messages