Groups keyboard shortcuts have been updated

Dismiss

See shortcuts

Constraints

1–30 of 478

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

Miquel Bofill Arasa

5:14 AM

Constraints Journal - Call for submissions

Please forward this announcement to anyone who may be interested. Please accept our apology if you

unread,

Constraints Journal - Call for submissions

Please forward this announcement to anyone who may be interested. Please accept our apology if you

5:14 AM

Yingqian Zhang

4:15 AM

CfP: Seventh Data Science Meets Optimization (DSO) Workshop at ECML-PKDD 2025

Dear colleagues, We are pleased to invite submissions to the Seventh Data Science Meets Optimization

unread,

CfP: Seventh Data Science Meets Optimization (DSO) Workshop at ECML-PKDD 2025

Dear colleagues, We are pleased to invite submissions to the Seventh Data Science Meets Optimization

4:15 AM

Arnaud Lallouet

Jun 11

ICTAI 2025 deadline extension

Dear all, I'm happy to announce that the deadline for submission to the ICTAI conference has been

unread,

ICTAI 2025 deadline extension

Dear all, I'm happy to announce that the deadline for submission to the ICTAI conference has been

Jun 11

Anna Latour

Jun 10

Deadline extended: Nominate papers for awards on 22 June 2025 at the latest!

Recognising Excellence in Constraint Programming Research The Constraints journal is seeking

unread,

Deadline extended: Nominate papers for awards on 22 June 2025 at the latest!

Recognising Excellence in Constraint Programming Research The Constraints journal is seeking

Jun 10

Tias Guns

Jun 9

llm-solve workshop extension

Dear constraints community, We've extended the deadline for the CP/SAT workshop "LLMs meet

unread,

llm-solve workshop extension

Dear constraints community, We've extended the deadline for the CP/SAT workshop "LLMs meet

Jun 9

Maria Andreina Francisco

Jun 4

ModRef 2025 Call for Papers - Deadline coming soon!

ModRef 2025 is the 24th in a series of workshops on Constraint Modelling and Reformulation organized

unread,

ModRef 2025 Call for Papers - Deadline coming soon!

ModRef 2025 is the 24th in a series of workshops on Constraint Modelling and Reformulation organized

Jun 4

Ulrich Junker

Jun 2

M-PREF 2025 - Extended Deadline

====================================================================== M-PREF 2025: 3rd CALL FOR

unread,

M-PREF 2025 - Extended Deadline

====================================================================== M-PREF 2025: 3rd CALL FOR

Jun 2

Anna Latour

May 30

Reminder: Call for Nominations for Paper Awards. Deadline 31 May 2025

Recognising Excellence in Constraint Programming Research The Constraints journal is seeking

unread,

Reminder: Call for Nominations for Paper Awards. Deadline 31 May 2025

Recognising Excellence in Constraint Programming Research The Constraints journal is seeking

May 30

Mun See Chang

May 30

CfP: Joint CP/SAT Doctoral Programme (DP)

CfP: Joint CP/SAT Doctoral Programme (DP) https://satcpdp25.github.io/ Call for Submission: The Joint

unread,

CfP: Joint CP/SAT Doctoral Programme (DP)

CfP: Joint CP/SAT Doctoral Programme (DP) https://satcpdp25.github.io/ Call for Submission: The Joint

May 30

Ciaran McCreesh

May 29

CP, SAT, and SoCS 2025 -- registration now open

Dear all, Registration is now open for the 31st International Conference on Principles and Practice

unread,

CP, SAT, and SoCS 2025 -- registration now open

Dear all, Registration is now open for the 31st International Conference on Principles and Practice

May 29

Jason Nguyen

May 25

MiniZinc Challenge 2025: Call for participation and problems

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

unread,

MiniZinc Challenge 2025: Call for participation and problems

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

May 25

Tias Guns

May 24

CP/SAT workshop on Explanations with Constraints and Satisfiability

** Call for Presentations ** ** ExCoS 2025: 1st Workshop on ** Explanations with Constraints and

unread,

CP/SAT workshop on Explanations with Constraints and Satisfiability

** Call for Presentations ** ** ExCoS 2025: 1st Workshop on ** Explanations with Constraints and

May 24

Giovanni Casini

May 22

JELIA 2025 - FINAL CfP - DEADLINE EXTENDED

Dear all, The deadline for abstract submission to JELIA 2025 is approaching. Please note that, in

unread,

JELIA 2025 - FINAL CfP - DEADLINE EXTENDED

Dear all, The deadline for abstract submission to JELIA 2025 is approaching. Please note that, in

May 22

Jakob Nordström

May 22

2nd International Workshop on Highlights in Organizing and Optimizing Proof-logging Systems (WHOOPS '25)

Dear colleagues, I would be grateful for your help to advertise that the 2nd International Workshop

unread,

2nd International Workshop on Highlights in Organizing and Optimizing Proof-logging Systems (WHOOPS '25)

Dear colleagues, I would be grateful for your help to advertise that the 2nd International Workshop

May 22

Miquel Bofill Arasa

May 21

2024 Quarterly Report 4 and 2025 Quarterly Report 1

Dear Constraints Community, The 2024 Quarterly Report 4 and 2025 Quarterly Report 1 are available at

unread,

2024 Quarterly Report 4 and 2025 Quarterly Report 1

Dear Constraints Community, The 2024 Quarterly Report 4 and 2025 Quarterly Report 1 are available at

May 21

Hélène Verhaeghe

May 21

ACP Summer School 2025 - call for participation

Dear constraint-solving community, We are pleased to announce that the ACP Summer School 2025

unread,

ACP Summer School 2025 - call for participation

Dear constraint-solving community, We are pleased to announce that the ACP Summer School 2025

May 21

Jakob Nordström

May 18

MIAO seminar Mon May 26 at 10:00 CET with Matthew McIlree: Certifying the output of constraint programming solvers using proof logging

Dear colleagues, This is just to let you know that on Monday May 26 at 10:00 CET we are happy to

unread,

MIAO seminar Mon May 26 at 10:00 CET with Matthew McIlree: Certifying the output of constraint programming solvers using proof logging

Dear colleagues, This is just to let you know that on Monday May 26 at 10:00 CET we are happy to

May 18

Anna Latour

May 15

Call for Nominations: Constraints Journal Awards 2025

Recognising Excellence in Constraint Programming Research The Constraints journal is seeking

unread,

Call for Nominations: Constraints Journal Awards 2025

Recognising Excellence in Constraint Programming Research The Constraints journal is seeking

May 15

Ciaran McCreesh

May 12

CP and SAT 2025 workshops and doctoral programme

Dear all, The 31st International Conference on Principles and Practice of Constraint Programming (CP

unread,

CP and SAT 2025 workshops and doctoral programme

Dear all, The 31st International Conference on Principles and Practice of Constraint Programming (CP

May 12

Hélène Verhaeghe

May 12

KR2025 - Call for Papers: KR and Constraints

Call for Papers: KR and Constraints https://kr.org/KR2025/call_kr_and_constraints.html As a

unread,

KR2025 - Call for Papers: KR and Constraints

Call for Papers: KR and Constraints https://kr.org/KR2025/call_kr_and_constraints.html As a

May 12

Martina Seidl

May 8

Tenure-Track position in Neuro-Symbolic Artificial Intelligence at Johannes Kepler University Linz

The Johannes Kepler University Linz, Austria, announces an opening for a Tenure-Track position in

unread,

Tenure-Track position in Neuro-Symbolic Artificial Intelligence at Johannes Kepler University Linz

The Johannes Kepler University Linz, Austria, announces an opening for a Tenure-Track position in

May 8

Eugene Freuder

May 8

[EAAI] Educational Advances in Artificial Intelligence (EAAI 2026) Call for Participation

I'm forwarding this Call. In particular, CP would seem a natural for the Resources for Teaching

unread,

[EAAI] Educational Advances in Artificial Intelligence (EAAI 2026) Call for Participation

I'm forwarding this Call. In particular, CP would seem a natural for the Resources for Teaching

May 8

Maria Andreina Francisco

May 6

ModRef 2025 Call for Papers

ModRef 2025 is the 24th in a series of workshops on Constraint Modelling and Reformulation organized

unread,

ModRef 2025 Call for Papers

ModRef 2025 is the 24th in a series of workshops on Constraint Modelling and Reformulation organized

May 6

Mikoláš Janota3

May 5

CfP: 15th International Workshop on Pragmatics of SAT (PoS 2025)

------------------------------------------------------------------------------- 15th International

unread,

CfP: 15th International Workshop on Pragmatics of SAT (PoS 2025)

------------------------------------------------------------------------------- 15th International

May 5

Mohamed SIALA

May 5

DEI Panel Suggestions and Survey

As part of the ACP Diversity, Equity, and Inclusion (DEI) initiative, we are planning to organise a

unread,

DEI Panel Suggestions and Survey

As part of the ACP Diversity, Equity, and Inclusion (DEI) initiative, we are planning to organise a

May 5

Ulrich Junker

May 2

M-PREF 2025: 2nd CALL FOR PAPERS

====================================================================== M-PREF 2025: 2nd CALL FOR

unread,

M-PREF 2025: 2nd CALL FOR PAPERS

====================================================================== M-PREF 2025: 2nd CALL FOR

May 2

Francesco Percassi

May 1

2nd CFP SoCS 2025 Doctoral Consortium

-------------------------------------------------------- 2nd Call for Papers SoCS 2025 Doctoral

unread,

2nd CFP SoCS 2025 Doctoral Consortium

-------------------------------------------------------- 2nd Call for Papers SoCS 2025 Doctoral

May 1

Mikoláš Janota2

Apr 30

First call for papers, SC-Square 2025

10th International Workshop on Satisfiability Checking and Symbolic Computation SC-Square 2025 August

unread,

First call for papers, SC-Square 2025

10th International Workshop on Satisfiability Checking and Symbolic Computation SC-Square 2025 August

Apr 30

Paulius Dilkas

Apr 29

CFP - 6th International Workshop on Counting, Sampling, and Synthesis

We are pleased to announce the 6th International Workshop on Counting, Sampling, and Synthesis (MCW

unread,

CFP - 6th International Workshop on Counting, Sampling, and Synthesis

We are pleased to announce the 6th International Workshop on Counting, Sampling, and Synthesis (MCW

Apr 29

Dimos Ts

Apr 29

Call for submissions: LLMs meet Constraint Solving Workshop

Workshop on LLMs meet Constraint Solving (LLM-Solve) August 11, 2025, Glasgow, Scotland, during the

unread,

Call for submissions: LLMs meet Constraint Solving Workshop

Workshop on LLMs meet Constraint Solving (LLM-Solve) August 11, 2025, Glasgow, Scotland, during the

Apr 29