Constraints

1–30 of 617

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 Freuder4

May 22

Anniversary

Well the 4CI-Anniversary Group has 10 members so far, but surely there are more of you out there to

unread,

Anniversary

Well the 4CI-Anniversary Group has 10 members so far, but surely there are more of you out there to

May 22

Eugene Freuder

May 21

Fwd: 2026 Fall Symposium Series - Call for Proposals

Dear AAAI Members and Affiliates, This is a friendly reminder that proposals for the 2026 AAAI Fall

unread,

Fwd: 2026 Fall Symposium Series - Call for Proposals

Dear AAAI Members and Affiliates, This is a friendly reminder that proposals for the 2026 AAAI Fall

May 21

Eugene Freuder

May 21

Constraints journal

Congratulations to those whose papers were accepted for CP, CPAIOR and IJCAI-ECAI. I encourage you to

unread,

Constraints journal

Congratulations to those whose papers were accepted for CP, CPAIOR and IJCAI-ECAI. I encourage you to

May 21

Tias Guns, … Eugene Freuder6

May 20

joining forces on natural language formulations and evaluations

I like Jean-Charles' analogy to a Master's student. I'm beginning to regard them as grad

unread,

joining forces on natural language formulations and evaluations

I like Jean-Charles' analogy to a Master's student. I'm beginning to regard them as grad

May 20

Andrew Cropper

May 20

PhD position in Logic/learning/solving at the University of Helsinki

I am recruiting a 4-year PhD student to work on logical reasoning and machine learning. The focus is

unread,

PhD position in Logic/learning/solving at the University of Helsinki

I am recruiting a 4-year PhD student to work on logical reasoning and machine learning. The focus is

May 20

Federica Di Stefano

May 19

[CfP] Networking Session @ RuleML+RR 2026

Call for Papers: ******************************************************** *** Networking Session @

unread,

[CfP] Networking Session @ RuleML+RR 2026

Call for Papers: ******************************************************** *** Networking Session @

May 19

Federica Di Stefano

May 19

[CfP] Industry Track @ RuleML+RR 2026

Call for papers ************************************** *** Industry Track @ RuleML+RR 2026 *** *** 24

unread,

[CfP] Industry Track @ RuleML+RR 2026

Call for papers ************************************** *** Industry Track @ RuleML+RR 2026 *** *** 24

May 19

Federica Di Stefano

May 19

[CfP] Doctoral Consortium @ RuleML+RR 2026

Call for Papers: ******************************************************************************* ***

unread,

[CfP] Doctoral Consortium @ RuleML+RR 2026

Call for Papers: ******************************************************************************* ***

May 19

Federica Di Stefano

May 19

[CfP] Rule Challenge @ RuleML+RR 2026

Call for Papers: ******************************************************************************* ***

unread,

[CfP] Rule Challenge @ RuleML+RR 2026

Call for Papers: ******************************************************************************* ***

May 19

Jip Dekker

May 14

Announcement: Huub v100.0.0 – an extensible LCG solver in Rust

Dear Constraints community, I am excited to announce the first public release of Huub, an extensible

unread,

Announcement: Huub v100.0.0 – an extensible LCG solver in Rust

Dear Constraints community, I am excited to announce the first public release of Huub, an extensible

May 14

Nguyen Dang

May 13

[Final Call for Papers] ML4SP @ FLoC 2026 - Deadline May 15 (Submission system fixed!)

Dear colleagues, This is a quick final reminder that the submission deadline for the 2nd Workshop on

unread,

[Final Call for Papers] ML4SP @ FLoC 2026 - Deadline May 15 (Submission system fixed!)

Dear colleagues, This is a quick final reminder that the submission deadline for the 2nd Workshop on

May 13

Federica Di Stefano

May 11

[Call for Applications] Grants for the Reasoning Web Summer School @ Declarative AI

Call for Applications for Grants Reasoning Web Summer School – Part of Declarative AI 2026 27–30

unread,

[Call for Applications] Grants for the Reasoning Web Summer School @ Declarative AI

Call for Applications for Grants Reasoning Web Summer School – Part of Declarative AI 2026 27–30

May 11

Jakob Nordström

May 10

MIAO seminar Mon Jun 1 at 14:00 CEST with Alexander Nadel: SAT solving and beyond: A fresh intro and recent developments

Dear colleagues, This is just to advertise that on Monday June 1 at 14:00 CEST, the MIAO seminar

unread,

MIAO seminar Mon Jun 1 at 14:00 CEST with Alexander Nadel: SAT solving and beyond: A fresh intro and recent developments

Dear colleagues, This is just to advertise that on Monday June 1 at 14:00 CEST, the MIAO seminar

May 10

Emir Demirović

May 9

Constraint programming at summer schools (Vienna July 6-10, Changchun Aug 24-28)

There are two summer schools this summer that teach constraint programming! European Summer School on

unread,

Constraint programming at summer schools (Vienna July 6-10, Changchun Aug 24-28)

There are two summer schools this summer that teach constraint programming! European Summer School on

May 9

Federica Di Stefano

May 9

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

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

unread,

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

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

May 9

vasco.m...@inesc-id.pt

May 8

SAT/SMT/AR summer school: registration open and call for support (deadline May 13th)

Satisfiability (SAT), Satisfiability Modulo Theories (SMT), and Automated Reasoning (AR) continue to

unread,

SAT/SMT/AR summer school: registration open and call for support (deadline May 13th)

Satisfiability (SAT), Satisfiability Modulo Theories (SMT), and Automated Reasoning (AR) continue to

May 8

Jiří Švancara

May 7

[CFP] SoCS 2026 Doctoral Consortium

SoCS 2026 Doctoral Consortium Dear students, We invite students working in combinatorial search to

unread,

[CFP] SoCS 2026 Doctoral Consortium

SoCS 2026 Doctoral Consortium Dear students, We invite students working in combinatorial search to

May 7

Jordi Coll

May 7

[ModRef 2026] Abstract deadline extension and final CFP

Dear colleagues, The abstract registration deadline for ModRef 2026 has been extended to May 11 (AoE)

unread,

[ModRef 2026] Abstract deadline extension and final CFP

Dear colleagues, The abstract registration deadline for ModRef 2026 has been extended to May 11 (AoE)

May 7

Simon de Givry

May 6

Final Call: Workshop on Soft Constraints Discrete Optimization and Machine Learning @ FLoC 2026

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

unread,

Final Call: Workshop on Soft Constraints Discrete Optimization and Machine Learning @ FLoC 2026

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

May 6

Tias Guns

May 6

Explanations workshop, final call

Dear constraints mailinglist, This is the final call for the XLoKR & ExCoS 2026 workshop, hosted

unread,

Explanations workshop, final call

Dear constraints mailinglist, This is the final call for the XLoKR & ExCoS 2026 workshop, hosted

May 6

Jakob Nordström

May 5

Final call for contributions: 3rd International Workshop on Highlights in Organizing and Optimizing Proof-logging Systems (WHOOPS '26)

Dear colleagues, This is a reminder about the May 15 deadline for contributions to the 3rd

unread,

Final call for contributions: 3rd International Workshop on Highlights in Organizing and Optimizing Proof-logging Systems (WHOOPS '26)

Dear colleagues, This is a reminder about the May 15 deadline for contributions to the 3rd

May 5

Pierre Schaus

May 5

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

⚠️ Final Call for Submissions — Deadline approaching! The deadline for extended abstract submissions

unread,

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

⚠️ Final Call for Submissions — Deadline approaching! The deadline for extended abstract submissions

May 5

gilles simonin

May 5

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

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

unread,

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

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

May 5

Mohamed SIALA

May 5

Call for Papers - Joint CP/SAT Doctoral Program 2026 (Extended Deadlines)

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

unread,

Call for Papers - Joint CP/SAT Doctoral Program 2026 (Extended Deadlines)

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

May 5

Serdar Kadioglu

May 4

[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

May 4

Simon de Givry

May 4

Last Call: Workshop on Soft Constraints Discrete Optimization and Machine Learning @ FLoC 2026

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

unread,

Last Call: Workshop on Soft Constraints Discrete Optimization and Machine Learning @ FLoC 2026

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

May 4

Katherine Kosaian3

May 4

2nd CfP: SC-Square 2026

Hi all, there will be a second deadline extension for SC-Square as follows: Abstract submission: 10

unread,

2nd CfP: SC-Square 2026

Hi all, there will be a second deadline extension for SC-Square as follows: Abstract submission: 10

May 4

Jason Nguyen

May 3

MiniZinc Challenge 2026: Call for participation and problems

We are inviting all solver developers to enter their solvers into the annual MiniZinc Challenge for

unread,

MiniZinc Challenge 2026: Call for participation and problems

We are inviting all solver developers to enter their solvers into the annual MiniZinc Challenge for

May 3

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