Constraints

1–30 of 241

Welcome to the new constraints group, which replaces the former Yahoo constraints group.

You are welcome to post messages that disseminate announcements and to raise and discuss issues concerning the constraint solving community.

0 selected

Eugene Freuder

Jun 9

Call for Submissions to PTHG-23: The Sixth Workshop on Progress Towards the Holy Grail

PTHG-23: The Sixth Workshop on Progress Towards the Holy Grail A CP2023 Workshop August 27, 2023 Note

unread,

Call for Submissions to PTHG-23: The Sixth Workshop on Progress Towards the Holy Grail

PTHG-23: The Sixth Workshop on Progress Towards the Holy Grail A CP2023 Workshop August 27, 2023 Note

Jun 9

Anna Latour

Jun 9

CP2023, Doctoral Program CfP. Submission deadline: 10 July 2023

Call for Doctoral Program Papers See also the CfP on EasyChair for more information: easychair.org/

unread,

CP2023, Doctoral Program CfP. Submission deadline: 10 July 2023

Call for Doctoral Program Papers See also the CfP on EasyChair for more information: easychair.org/

Jun 9

Maria Andreina Francisco

Jun 7

ACP Diversity, Equity & Inclusion Surveys – 2023

Hi everyone! As part of the organization of CP 2023, we have set up a new diversity survey and a new

unread,

ACP Diversity, Equity & Inclusion Surveys – 2023

Hi everyone! As part of the organization of CP 2023, we have set up a new diversity survey and a new

Jun 7

Aditya Shrotri

Jun 3

Fwd: CFP Women in Logic Workshop

Of potential interest to CP community: --------------------------------------------------------------

unread,

Fwd: CFP Women in Logic Workshop

Of potential interest to CP community: --------------------------------------------------------------

Jun 3

Kevin Tierney

May 31

PhD position in Deep Reinforcement Learning for Combinatorial Optimization at Bielefeld University

Dear Constraints community, Accepting applications for the PhD position "Deep Reinforcement

unread,

PhD position in Deep Reinforcement Learning for Combinatorial Optimization at Bielefeld University

Dear Constraints community, Accepting applications for the PhD position "Deep Reinforcement

May 31

Carlos Hernández

May 26

Reminder: Call for contributions.: First International IJCAI Workshop on Search and Planning with Complex Objectives (WoSePCO)

Hi All, The deadline of submissions is in 5 days! Please, feel free to distribute the call for

unread,

Reminder: Call for contributions.: First International IJCAI Workshop on Search and Planning with Complex Objectives (WoSePCO)

Hi All, The deadline of submissions is in 5 days! Please, feel free to distribute the call for

May 26

Nadjib Lazaar

May 25

PhD/Postdoc Proposal in "Automatic program annotations inference with machine learning"

Dear, Find below a 3 years fully funded PhD/postdoc offer about binary code analysis for security

unread,

PhD/Postdoc Proposal in "Automatic program annotations inference with machine learning"

Dear, Find below a 3 years fully funded PhD/postdoc offer about binary code analysis for security

May 25

Tias Guns2

May 23

registration open for ML for CP summer school

Hi All, Reminder for the ACP Summer School on "Machine Learning for Constraint Programming"

unread,

registration open for ML for CP summer school

Hi All, Reminder for the ACP Summer School on "Machine Learning for Constraint Programming"

May 23

Boris Almonacid, Gupta, Gopal2

May 20

Towards an Automatic Optimisation Model Generator Assisted with Generative Pre-trained Transformer

*** Call for Nomination *** TL;DR: If you or your group have a recent practical accomplishment that

unread,

Towards an Automatic Optimisation Model Generator Assisted with Generative Pre-trained Transformer

*** Call for Nomination *** TL;DR: If you or your group have a recent practical accomplishment that

May 20

Lars Kotthoff

May 12

CP2023 Call for workshop proposals

We invite proposals for workshops preceding the main conference program, to be held on August 27th.

unread,

CP2023 Call for workshop proposals

We invite proposals for workshops preceding the main conference program, to be held on August 27th.

May 12

Christophe Lecoutre

May 12

2023 XCSP3 Competition (Extended Deadline)

Dear all, There is an extension for the 2023 XCSP3 Competition : June 1, 2023 ---- We are happy to

unread,

2023 XCSP3 Competition (Extended Deadline)

Dear all, There is an extension for the 2023 XCSP3 Competition : June 1, 2023 ---- We are happy to

May 12

Emir Demirović

Apr 29

PhD in Combinatorial Optimisation (TU Delft, Netherlands)

We have a PhD vacancy on combinatorial optimisation at TU Delft (Netherlands), in particular

unread,

PhD in Combinatorial Optimisation (TU Delft, Netherlands)

We have a PhD vacancy on combinatorial optimisation at TU Delft (Netherlands), in particular

Apr 29

Tias Guns

Apr 28

ACP call for award nominations

Dear Constraints Community, Every year, the Association of Constraint Programming recognizes

unread,

ACP call for award nominations

Dear Constraints Community, Every year, the Association of Constraint Programming recognizes

Apr 28

Jakob Nordström

Apr 27

PhD opening in TCS and/or combinatorial optimization in Lund

Dear colleagues, I would be most grateful for any assistance in spreading the information below

unread,

PhD opening in TCS and/or combinatorial optimization in Lund

Dear colleagues, I would be most grateful for any assistance in spreading the information below

Apr 27

Anna Latour

Apr 25

CP2023 CfP: Abstract Submission Deadline on 27 April AoE

[Apologies for multiple postings] Call for Papers Twenty-Ninth Conference on Principles and Practice

unread,

CP2023 CfP: Abstract Submission Deadline on 27 April AoE

[Apologies for multiple postings] Call for Papers Twenty-Ninth Conference on Principles and Practice

Apr 25

Emmanuel Hebrard

Apr 14

Postdoc position in Montpellier

This postdoc position (24 months) available immediately is proposed in the framework of the Audio

unread,

Postdoc position in Montpellier

This postdoc position (24 months) available immediately is proposed in the framework of the Audio

Apr 14

Jakob Nordström

Apr 6

Workshop "Satisfiability: Theory, Practice, and Beyond" April 17-21

Dear colleagues, I would be most grateful if you could help us spread information about the workshop

unread,

Workshop "Satisfiability: Theory, Practice, and Beyond" April 17-21

Dear colleagues, I would be most grateful if you could help us spread information about the workshop

Apr 6

Jiaoyang Li

Apr 5

[SoCS] SoCS-23 Doctoral Consortium Call for Papers

[Doctoral Consortium] The SoCS Doctoral Consortium (DC) is aimed at providing Ph.D. students with the

unread,

[SoCS] SoCS-23 Doctoral Consortium Call for Papers

[Doctoral Consortium] The SoCS Doctoral Consortium (DC) is aimed at providing Ph.D. students with the

Apr 5

Daniel Höller

Apr 1

Final Deadline Extension – ICAPS'23 Workshop on Reliable Data-Driven Planning and Scheduling (RDDPS)

**Final Deadline Extension** -- Apologies for cross-posting -- We extended the submission deadline

unread,

Final Deadline Extension – ICAPS'23 Workshop on Reliable Data-Driven Planning and Scheduling (RDDPS)

**Final Deadline Extension** -- Apologies for cross-posting -- We extended the submission deadline

Apr 1

Andre Augusto Cire

Mar 29

Postdoc Position at University of Toronto

Postdoctoral Fellowship in Dynamic Resource Allocation Problems @ University of Toronto (Scarborough

unread,

Postdoc Position at University of Toronto

Postdoctoral Fellowship in Dynamic Resource Allocation Problems @ University of Toronto (Scarborough

Mar 29

Daniel Höller

Mar 24

Deadline Extension – ICAPS'23 Workshop on Reliable Data-Driven Planning and Scheduling (RDDPS)

**Deadline Extension** -- Apologies for cross-posting -- By request, we extended the submission

unread,

Deadline Extension – ICAPS'23 Workshop on Reliable Data-Driven Planning and Scheduling (RDDPS)

**Deadline Extension** -- Apologies for cross-posting -- By request, we extended the submission

Mar 24

Victor Lagerkvist

Mar 16

Pre-announcment for PhD positions at Linköping University

Hi everyone, we are currently looking for PhD candidates for two theoretically oriented projects on

unread,

Pre-announcment for PhD positions at Linköping University

Hi everyone, we are currently looking for PhD candidates for two theoretically oriented projects on

Mar 16

Anna Latour

Mar 16

CP 2023 Call for Papers: long and short papers due on 27 April 2023, SAT fast track papers due on 17 May 2023.

CP 2023 CALL FOR PAPERS Twenty-Ninth Conference on Principles and Practice of Constraint Programming

unread,

CP 2023 Call for Papers: long and short papers due on 27 April 2023, SAT fast track papers due on 17 May 2023.

CP 2023 CALL FOR PAPERS Twenty-Ninth Conference on Principles and Practice of Constraint Programming

Mar 16

Eugene Freuder

Mar 11

The Alain Colmerauer Prize

2023 Deadline for submissions May 15, 2023 Further Information: https://logicprogramming.org/the-alp-

unread,

The Alain Colmerauer Prize

2023 Deadline for submissions May 15, 2023 Further Information: https://logicprogramming.org/the-alp-

Mar 11

Peter Nightingale

Mar 6

PhD on machine learning for constrained optimisation at York

Hello everyone, I'm advertising a funded PhD place, please see the advert below. Also, I would be

unread,

PhD on machine learning for constrained optimisation at York

Hello everyone, I'm advertising a funded PhD place, please see the advert below. Also, I would be

Mar 6

Andrew Cropper

Mar 1

Postdoc in Oxford to work on ML + CP + program synthesis

Hi everyone, [apologies for cross-posting on the ML+CP list] I'm looking for a postdoc to work on

unread,

Postdoc in Oxford to work on ML + CP + program synthesis

Hi everyone, [apologies for cross-posting on the ML+CP list] I'm looking for a postdoc to work on

Mar 1

Emir Demirović

Mar 1

PhD on Combinatorial Optimisation at TU Delft

At TU Delft, we have a PhD vacancy on combinatorial optimisation, in particular scheduling and

unread,

PhD on Combinatorial Optimisation at TU Delft

At TU Delft, we have a PhD vacancy on combinatorial optimisation, in particular scheduling and

Mar 1

Wheeler Ruml

Feb 28

last call: SoCS-23

The abstract submission deadline is this Friday! ====================================================

unread,

last call: SoCS-23

The abstract submission deadline is this Friday! ====================================================

Feb 28

Eugene Freuder

Feb 27

IJCAI-2023 Award Nominations

IJCAI calls for nominations for its 2023 awards. These awards include the Computer and Thought Award,

unread,

IJCAI-2023 Award Nominations

IJCAI calls for nominations for its 2023 awards. These awards include the Computer and Thought Award,

Feb 27

Andre Augusto Cire

Feb 23

Extended Abstracts - CPAIOR-2023

Dear colleagues, Just a friendly reminder that the extended abstract deadline for CPAIOR 2023 (March

unread,

Extended Abstracts - CPAIOR-2023

Dear colleagues, Just a friendly reminder that the extended abstract deadline for CPAIOR 2023 (March

Feb 23