Constraints

1–30 of 591

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

Apr 30

Anniversary

This year marks the 25th anniversary of the founding of the Cork Constraint Computation Centre and

unread,

Anniversary

This year marks the 25th anniversary of the founding of the Cork Constraint Computation Centre and

Apr 30

Miquel Bofill

Apr 28

2026 ACP Quarterly report 1

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

unread,

2026 ACP Quarterly report 1

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

Apr 28

Jeremias Berg

Apr 28

The MaxSAT Evaluation 2026: Deadline Extension and Final Call for Contributions

In short: Please consider submitting MaxSAT benchmarks or solvers by the 17.5.2026. Note the extended

unread,

The MaxSAT Evaluation 2026: Deadline Extension and Final Call for Contributions

In short: Please consider submitting MaxSAT benchmarks or solvers by the 17.5.2026. Note the extended

Apr 28

Jason Nguyen2

Apr 27

Call for Problem Submission for the MiniZinc Challenge 2026

The 2026 MiniZinc Challenge problem submission deadline has been extended to Fri, 8 May 2026! See www

unread,

Call for Problem Submission for the MiniZinc Challenge 2026

The 2026 MiniZinc Challenge problem submission deadline has been extended to Fri, 8 May 2026! See www

Apr 27

Miquel Bofill

Apr 24

Call for Election Statements for the ACP Executive Committee (deadline extended to May 10, 2026)

Dear Constraints Community, We invite election statements from candidates for the Executive Committee

unread,

Call for Election Statements for the ACP Executive Committee (deadline extended to May 10, 2026)

Dear Constraints Community, We invite election statements from candidates for the Executive Committee

Apr 24

Federica Di Stefano

Apr 24

[CfP] RuleML+RR 2026 - The 10th International Joint Conference on Rules and Reasoning

Call for Papers: The 10th International Joint Conference on Rules and Reasoning (RuleML+RR 2026) 24 -

unread,

[CfP] RuleML+RR 2026 - The 10th International Joint Conference on Rules and Reasoning

Call for Papers: The 10th International Joint Conference on Rules and Reasoning (RuleML+RR 2026) 24 -

Apr 24

Miquel Bofill

Apr 24

ACP call for award nominations 2026 (deadline extended to May 10, 2026)

Dear Constraints Community, This is a friendly reminder to nominate a colleague for one of the

unread,

ACP call for award nominations 2026 (deadline extended to May 10, 2026)

Dear Constraints Community, This is a friendly reminder to nominate a colleague for one of the

Apr 24

Nguyen Dang

Apr 24

Second Calls for Papers: 2nd Workshop on Machine Learning for Solvers and Provers

[Apologies if you have received multiple copies of this email] Dear colleagues, We warmly invite you

unread,

Second Calls for Papers: 2nd Workshop on Machine Learning for Solvers and Provers

[Apologies if you have received multiple copies of this email] Dear colleagues, We warmly invite you

Apr 24

Mohamed SIALA

Apr 22

Call for Applications: Diversity, Equity, and Inclusion (DEI) Scholarships at CP 2026

CP 2026 offers DEI scholarships to support individuals from underrepresented groups. These

unread,

Call for Applications: Diversity, Equity, and Inclusion (DEI) Scholarships at CP 2026

CP 2026 offers DEI scholarships to support individuals from underrepresented groups. These

Apr 22

Yingqian Zhang

Apr 20

Call for Papers: 8th DSO Workshop @ IJCAI-ECAI 2026

https://sites.google.com/view/dso-workshopijcai-2026/home Submission deadline: 24 May 2026 If you are

unread,

Call for Papers: 8th DSO Workshop @ IJCAI-ECAI 2026

https://sites.google.com/view/dso-workshopijcai-2026/home Submission deadline: 24 May 2026 If you are

Apr 20

Mohamed SIALA

Apr 16

Call for Papers - Joint CP/SAT Doctoral Program 2026

Website: http://satcpdp26.github.io Dates: 18-19 July 2026 Location: Lisbon, Portugal as part of the

unread,

Call for Papers - Joint CP/SAT Doctoral Program 2026

Website: http://satcpdp26.github.io Dates: 18-19 July 2026 Location: Lisbon, Portugal as part of the

Apr 16

Katherine Kosaian2

Apr 13

2nd CfP: SC-Square 2026

We are extending the SC-Square deadlines to the following: Abstract submission: 24 April Paper

unread,

2nd CfP: SC-Square 2026

We are extending the SC-Square deadlines to the following: Abstract submission: 24 April Paper

Apr 13

Jeremias Berg

Apr 13

The MaxSAT Evaluation 2026: Second Call for Contributions

In short: Please consider submitting MaxSAT benchmarks or solvers by the 30.4.2026 See https://maxsat

unread,

The MaxSAT Evaluation 2026: Second Call for Contributions

In short: Please consider submitting MaxSAT benchmarks or solvers by the 30.4.2026 See https://maxsat

Apr 13

Lenart Motnikar2

Apr 13

Funding for The European Summer School on AI (ESSAI 2026) in Vienna (Deadline: April 17)

Call for Applications: Travel Grants - ESSAI 2026 (Vienna, 6 - 10 July) *** ESSAI 2026 - European

unread,

Funding for The European Summer School on AI (ESSAI 2026) in Vienna (Deadline: April 17)

Call for Applications: Travel Grants - ESSAI 2026 (Vienna, 6 - 10 July) *** ESSAI 2026 - European

Apr 13

Mantas Simkus

Apr 7

European Summer School on Artificial Intelligence (ESSAI 2026)

🎓Are you interested in deepening and broadening your knowledge of Artificial Intelligence? European

unread,

European Summer School on Artificial Intelligence (ESSAI 2026)

🎓Are you interested in deepening and broadening your knowledge of Artificial Intelligence? European

Apr 7

Eugene Freuder, … Alessio Pellegrino11

Apr 7

A chat about the "Holy Grail"

Sadly we did not generate enough discussion to trigger the bribe -- er reward. :-) This is

unread,

A chat about the "Holy Grail"

Sadly we did not generate enough discussion to trigger the bribe -- er reward. :-) This is

Apr 7

Jimmy Lee

Apr 2

ACP Summer School 2026 - Registration Now Open

*** Apologies for multiple postings *** ACP Summer School 2026 will be hosted by Jilin University and

unread,

ACP Summer School 2026 - Registration Now Open

*** Apologies for multiple postings *** ACP Summer School 2026 will be hosted by Jilin University and

Apr 2

Hana Rudova

Mar 31

🎓 ICAPS 2026 Attendance Support! 🌍✈

Are you a student or early-career researcher planning to attend #ICAPS2026? ICAPS has secured sponsor

unread,

🎓 ICAPS 2026 Attendance Support! 🌍✈

Are you a student or early-career researcher planning to attend #ICAPS2026? ICAPS has secured sponsor

Mar 31

Martina Seidl

Mar 31

Deadline Extenstion: 19th Conference on Intelligent Computer Mathematics (CICM 2026)

19th Conference on Intelligent Computer Mathematics **** CICM 2026 **** September 21 - 25, 2026

unread,

Deadline Extenstion: 19th Conference on Intelligent Computer Mathematics (CICM 2026)

19th Conference on Intelligent Computer Mathematics **** CICM 2026 **** September 21 - 25, 2026

Mar 31

Serdar Kadioglu

Mar 30

[CFP] 2nd Workshop on LLMs meet Constraint Solving (LLM-Solve 2026)

LLMs meet Constraint Solving (LLM-Solve) at FLoC'26 The second edition of LLMs meet Constraint

unread,

[CFP] 2nd Workshop on LLMs meet Constraint Solving (LLM-Solve 2026)

LLMs meet Constraint Solving (LLM-Solve) at FLoC'26 The second edition of LLMs meet Constraint

Mar 30

Diego Delle Donne

Mar 27

CPAIOR 2026 – Registration Now Open (Early fee deadline: April 20)

(apologies for multiple postings) Dear colleagues, Registration is now open for CPAIOR 2026, the

unread,

CPAIOR 2026 – Registration Now Open (Early fee deadline: April 20)

(apologies for multiple postings) Dear colleagues, Registration is now open for CPAIOR 2026, the

Mar 27

Miquel Bofill2

Mar 24

Call for Election Statements for the ACP Executive Committee

Dear Constraints Community, This is a friendly reminder about elections to the Executive Committee (

unread,

Call for Election Statements for the ACP Executive Committee

Dear Constraints Community, This is a friendly reminder about elections to the Executive Committee (

Mar 24

Miquel Bofill2

Mar 24

ACP call for award nominations 2026 (Deadline: May 3, 2026)

Dear Constraints Community, This is a friendly reminder to nominate a colleague for one of the

unread,

ACP call for award nominations 2026 (Deadline: May 3, 2026)

Dear Constraints Community, This is a friendly reminder to nominate a colleague for one of the

Mar 24

Pierre Schaus

Mar 23

2nd Workshop on Models and Solvers for Dynamic Programming (DPSOLVE 2026)

📅 July 18, 2026 (right before CP, July 20–23) DPSOLVE brings together researchers from across

unread,

2nd Workshop on Models and Solvers for Dynamic Programming (DPSOLVE 2026)

📅 July 18, 2026 (right before CP, July 20–23) DPSOLVE brings together researchers from across

Mar 23

Christophe Lecoutre

Mar 19

PB26] 2026 edition of the Pseudo-Boolean solvers competition

Dear all, A new edition of the competition of Pseudo-Boolean solvers (PB26) is organized this year,

unread,

PB26] 2026 edition of the Pseudo-Boolean solvers competition

Dear all, A new edition of the competition of Pseudo-Boolean solvers (PB26) is organized this year,

Mar 19

Simon de Givry

Mar 17

CfP: Workshop on Soft Constraints Discrete Optimization and Machine Learning @ FLoC CP 2026

====================================================================== CP2026 Workshop on Soft

unread,

CfP: Workshop on Soft Constraints Discrete Optimization and Machine Learning @ FLoC CP 2026

====================================================================== CP2026 Workshop on Soft

Mar 17

Martina Seidl

Mar 16

2nd CfP: 19th Conference on Intelligent Computer Mathematics (CICM 2026)

19th Conference on Intelligent Computer Mathematics **** CICM 2026 **** September 21 - 25, 2026

unread,

2nd CfP: 19th Conference on Intelligent Computer Mathematics (CICM 2026)

19th Conference on Intelligent Computer Mathematics **** CICM 2026 **** September 21 - 25, 2026

Mar 16

Jeremias Berg

Mar 16

The MaxSAT Evaluation 2026 - Call for Contributions

In short: Please consider submitting MaxSAT benchmarks or solvers by the 30.4.2026 See https://maxsat

unread,

The MaxSAT Evaluation 2026 - Call for Contributions

In short: Please consider submitting MaxSAT benchmarks or solvers by the 30.4.2026 See https://maxsat

Mar 16

Gupta, Gopal

Mar 13

4th Prolog Education Workshop at ICLP 2026 (FLoC'26) in Lisbon, Portugal

Fourth Prolog Education Workshop 2026 CALL FOR PAPERS PEG 2.0 warmly invites submissions to the

unread,

4th Prolog Education Workshop at ICLP 2026 (FLoC'26) in Lisbon, Portugal

Fourth Prolog Education Workshop 2026 CALL FOR PAPERS PEG 2.0 warmly invites submissions to the

Mar 13

Diego Delle Donne

Mar 12

CPAIOR 2026 – Call for Extended Abstracts (Deadline: March 25) and participation – Rabat, Morocco

(apologies for multiple postings) Dear colleagues, The CPAIOR 2026 International Conference on the

unread,

CPAIOR 2026 – Call for Extended Abstracts (Deadline: March 25) and participation – Rabat, Morocco

(apologies for multiple postings) Dear colleagues, The CPAIOR 2026 International Conference on the

Mar 12