Constraints

1–30 of 548

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

Jakob Nordström

Feb 8

Danish Data Science Academy postdoc and PhD positions (deadline March 4, 2026)

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

unread,

Danish Data Science Academy postdoc and PhD positions (deadline March 4, 2026)

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

Feb 8

Christophe Lecoutre

Feb 6

Full professor position (constraint compatible) at University of Artois

Hello everybody, below, you can find an advertisement for a position at the University of Artois,

unread,

Full professor position (constraint compatible) at University of Artois

Hello everybody, below, you can find an advertisement for a position at the University of Artois,

Feb 6

Sami Cherif

Feb 4

Postdoc opportunity at MIS lab (France) on AI-Driven Mass Spectral Elucidation

Dear all, We are pleased to announce the opening of a postdoctoral research position on AI-DRIVEN

unread,

Postdoc opportunity at MIS lab (France) on AI-Driven Mass Spectral Elucidation

Dear all, We are pleased to announce the opening of a postdoctoral research position on AI-DRIVEN

Feb 4

Sami Cherif

Feb 4

Full and Associte professor positions at University of Picardie Jules Verne (France)

Dear all, The Faculty of Science and the Department of Computer Science at the University of Picardie

unread,

Full and Associte professor positions at University of Picardie Jules Verne (France)

Dear all, The Faculty of Science and the Department of Computer Science at the University of Picardie

Feb 4

Eugene Freuder

Feb 3

Canada is investing an additional $1.7B ($1.2B USD) in attracting AI talent.

Canada is investing an additional $1.7B ($1.2B USD) in attracting AI talent. https://www.canada.ca/en

unread,

Canada is investing an additional $1.7B ($1.2B USD) in attracting AI talent.

Canada is investing an additional $1.7B ($1.2B USD) in attracting AI talent. https://www.canada.ca/en

Feb 3

Eugene Freuder2

Feb 3

Opportunity to Participate in the Thirtieth Anniversary Issue of the Constraints journal

If you qualify for and would like to participate in the Special Issue described in an earlier posting

unread,

Opportunity to Participate in the Thirtieth Anniversary Issue of the Constraints journal

If you qualify for and would like to participate in the Special Issue described in an earlier posting

Feb 3

Zdeněk Hanzálek

Feb 3

[Scheduling seminar] Petr Vilim (OptalCP) and Vilem Heinz (CTU in Prague) | February 4 | OptalCP: Constraint Programming with Parallel Search and Reinforcement Learning-Based Acceleration

Dear CP researcher, We are delighted to announce the talk given by Petr Vilim (OptalCP) and Vilem

unread,

[Scheduling seminar] Petr Vilim (OptalCP) and Vilem Heinz (CTU in Prague) | February 4 | OptalCP: Constraint Programming with Parallel Search and Reinforcement Learning-Based Acceleration

Dear CP researcher, We are delighted to announce the talk given by Petr Vilim (OptalCP) and Vilem

Feb 3

Gauthier Picard

Feb 2

[Extended Deadline] International Workshop on Autonomous Agents and Multi‑Agent Systems for Space Applications (MASSpace‑26) at AAMAS, May 26th, 2026, Paphos, Cyprus

[Apologies for cross-posting] International Workshop on Autonomous Agents and Multi‑Agent Systems for

unread,

[Extended Deadline] International Workshop on Autonomous Agents and Multi‑Agent Systems for Space Applications (MASSpace‑26) at AAMAS, May 26th, 2026, Paphos, Cyprus

[Apologies for cross-posting] International Workshop on Autonomous Agents and Multi‑Agent Systems for

Feb 2

samir loudni

Jan 28

Associate professor position at IMT Atlantique (France) in Artificial Intelligence and Decision Aid: Application to Supply Chain

Dear all, IMT Atlantique is hiring an Assistant Professor in Computer Science at its Nantes campus,

unread,

Associate professor position at IMT Atlantique (France) in Artificial Intelligence and Decision Aid: Application to Supply Chain

Dear all, IMT Atlantique is hiring an Assistant Professor in Computer Science at its Nantes campus,

Jan 28

Ines Lynce

Jan 27

CFP 32nd Conference on Principles and Practice of Constraint Programming CP 2026

Thirty Second Conference on Principles and Practice of Constraint Programming CP 2026 July 20-23,

unread,

CFP 32nd Conference on Principles and Practice of Constraint Programming CP 2026

Thirty Second Conference on Principles and Practice of Constraint Programming CP 2026 July 20-23,

Jan 27

Gauthier Picard

Jan 26

Second CFP: International Workshop on Autonomous Agents and Multi‑Agent Systems for Space Applications (MASSpace‑26) at AAMAS, May 26th, 2026, Paphos, Cyprus

International Workshop on Autonomous Agents and Multi‑Agent Systems for Space Applications (MASSpace‑

unread,

Second CFP: International Workshop on Autonomous Agents and Multi‑Agent Systems for Space Applications (MASSpace‑26) at AAMAS, May 26th, 2026, Paphos, Cyprus

International Workshop on Autonomous Agents and Multi‑Agent Systems for Space Applications (MASSpace‑

Jan 26

Jason Nguyen

Jan 18

Call for Problem Submission for the MiniZinc Challenge 2026

The MiniZinc Challenge is an annual solver competition in the Constraint Programming (CP) community

unread,

Call for Problem Submission for the MiniZinc Challenge 2026

The MiniZinc Challenge is an annual solver competition in the Constraint Programming (CP) community

Jan 18

Alexey Ignatiev

Jan 14

2nd CfP - SAT 2026 - 29th International Conference on Theory and Applications of Satisfiability - updated deadlines

[Submission deadlines have been updated] SAT 2026 is the 29th International Conference on Theory and

unread,

2nd CfP - SAT 2026 - 29th International Conference on Theory and Applications of Satisfiability - updated deadlines

[Submission deadlines have been updated] SAT 2026 is the 29th International Conference on Theory and

Jan 14

Imène Ait Abderrahim

Jan 13

[Reminder] CFP: IEEE WCCI 2026 Speciall Session on Dynamic algorithm Configuration and Selection

[Apologies if you have received multiple copies of this email.] *************************************

unread,

[Reminder] CFP: IEEE WCCI 2026 Speciall Session on Dynamic algorithm Configuration and Selection

[Apologies if you have received multiple copies of this email.] *************************************

Jan 13

Pierre Schaus

Jan 13

Workshop on Models and Solvers for Dynamic Programming just before CP2026 🇵🇹

Looking for one more great reason to attend CP2026 in Lisbon this July? 👉 Join the 2nd Workshop on

unread,

Workshop on Models and Solvers for Dynamic Programming just before CP2026 🇵🇹

Looking for one more great reason to attend CP2026 in Lisbon this July? 👉 Join the 2nd Workshop on

Jan 13

Andrew Cropper

Jan 12

PhD and postdocs positions to work on logic + constraint solving + machine learning at the University of Helsinki:

Hi, I am recruiting 1 PhD student (4-year position) and 2 postdocs (3-year positions) to logic +

unread,

PhD and postdocs positions to work on logic + constraint solving + machine learning at the University of Helsinki:

Hi, I am recruiting 1 PhD student (4-year position) and 2 postdocs (3-year positions) to logic +

Jan 12

Jimmy Lee

Jan 6

(Problem Fixed) Discrete Optimization MOOCs on Coursera ...

Dear members of the CP community, Some of you might find recently that the following MOOCs by Peter

unread,

(Problem Fixed) Discrete Optimization MOOCs on Coursera ...

Dear members of the CP community, Some of you might find recently that the following MOOCs by Peter

Jan 6

Miquel Bofill

12/29/25

2025 ACP Quarterly Report 4

Dear Constraints Community, The 2025 Quarterly Report 4 is available at https://www.a4cp.org/about/

unread,

2025 ACP Quarterly Report 4

Dear Constraints Community, The 2025 Quarterly Report 4 is available at https://www.a4cp.org/about/

12/29/25

Gauthier Picard

12/27/25

CFP: International Workshop on Autonomous Agents and Multi‑Agent Systems for Space Applications (MASSpace‑26) at AAMAS, May 26th, 2026, Paphos, Cyprus

International Workshop on Autonomous Agents and Multi‑Agent Systems for Space Applications (MASSpace‑

unread,

CFP: International Workshop on Autonomous Agents and Multi‑Agent Systems for Space Applications (MASSpace‑26) at AAMAS, May 26th, 2026, Paphos, Cyprus

International Workshop on Autonomous Agents and Multi‑Agent Systems for Space Applications (MASSpace‑

12/27/25

samir loudni

12/23/25

PhD position at IMT Atlantique, Campus Nantes (France)

Dear all, We are pleased to announce a PhD position opening at IMT Atlantique, Campus Nantes (France)

unread,

PhD position at IMT Atlantique, Campus Nantes (France)

Dear all, We are pleased to announce a PhD position opening at IMT Atlantique, Campus Nantes (France)

12/23/25

Alexey Ignatiev2

12/11/25

SAT 2026 Call for Papers.

Sorry, everyone. There has been a copy-paste error as this CfP is “first” rather than “final”. :-) On

unread,

SAT 2026 Call for Papers.

Sorry, everyone. There has been a copy-paste error as this CfP is “first” rather than “final”. :-) On

12/11/25

Mohamed SIALA

12/8/25

Call for Applications: DEI Co-Chair for 2026–2027

Dear CP Community, We are seeking applications for the DEI Co-Chair role for the CP 2026 and 2027

unread,

Call for Applications: DEI Co-Chair for 2026–2027

Dear CP Community, We are seeking applications for the DEI Co-Chair role for the CP 2026 and 2027

12/8/25

Kevin Tierney

12/5/25

Open call for 15 PhD positions in intersection of ML and OR

Dear Constraints Community, If you know of any PhD students looking for an exciting position in a

unread,

Open call for 15 PhD positions in intersection of ML and OR

Dear Constraints Community, If you know of any PhD students looking for an exciting position in a

12/5/25

Anna Latour

12/3/25

Constraints Journal videos on ACP's YouTube channel

Dear CP community, Did you know that Constraints journal uploads short videos to the ACP YouTube

unread,

Constraints Journal videos on ACP's YouTube channel

Dear CP community, Did you know that Constraints journal uploads short videos to the ACP YouTube

12/3/25

Jakob Nordström

11/28/25

Postdoc and PhD openings in combinatorial optimization and/or TCS in Lund (deadline Jan 16)

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

unread,

Postdoc and PhD openings in combinatorial optimization and/or TCS in Lund (deadline Jan 16)

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

11/28/25

Jakob Nordström

11/26/25

Videos from proof logging workshop WHOOPS '25 now available!

Dear colleagues, For anyone interested in the latest news on how to build certifying solvers that

unread,

Videos from proof logging workshop WHOOPS '25 now available!

Dear colleagues, For anyone interested in the latest news on how to build certifying solvers that

11/26/25

Diego Delle Donne

11/24/25

CPAIOR 2026 – Call for Papers | Rabat, Morocco | May 26–29, 2026

Dear colleagues, We are delighted to announce that the 23rd International Conference on the

unread,

CPAIOR 2026 – Call for Papers | Rabat, Morocco | May 26–29, 2026

Dear colleagues, We are delighted to announce that the 23rd International Conference on the

11/24/25

Jakob Nordström

11/22/25

Course advertisement "Proof Complexity as a Computational Lens"

Dear colleagues, This is just to advertise that since a couple of weeks back we are running a course

unread,

Course advertisement "Proof Complexity as a Computational Lens"

Dear colleagues, This is just to advertise that since a couple of weeks back we are running a course

11/22/25

Pierre Flener

11/21/25

PhD position at Uppsala University (Sweden)

Dear all, Please spread the following opening of a PhD position at Uppsala University (Sweden) to

unread,

PhD position at Uppsala University (Sweden)

Dear all, Please spread the following opening of a PhD position at Uppsala University (Sweden) to

11/21/25

Vienna Center for Logic and Algorithms

11/20/25

Second Call for Course Proposals - 4th European Summer School on Artificial Intelligence (ESSAI 2026)

Second Call for Course Proposals 4th European Summer School on Artificial Intelligence (ESSAI 2026)

unread,

Second Call for Course Proposals - 4th European Summer School on Artificial Intelligence (ESSAI 2026)

Second Call for Course Proposals 4th European Summer School on Artificial Intelligence (ESSAI 2026)

11/20/25