Constraints

1–30 of 515

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

Mantas Simkus

Oct 14

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

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

unread,

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

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

Oct 14

Mohamed SIALA

Oct 11

Call for Nominations: DEI Co-Chair

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

unread,

Call for Nominations: DEI Co-Chair

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

Oct 11

Eugene Freuder

Oct 8

First CCC Community Chat on AI Research — Oct 22

> The Computing Community Consortium (CCC) is launching a new series of CCC Community Chats,

unread,

First CCC Community Chat on AI Research — Oct 22

> The Computing Community Consortium (CCC) is launching a new series of CCC Community Chats,

Oct 8

Nadjib Lazaar

Oct 8

Fwd: [DataIA] Apply Now! — International Mobility Scholarships 📢

Dear colleagues, I hope this message finds you well. I would like to share with you the call for

unread,

Fwd: [DataIA] Apply Now! — International Mobility Scholarships 📢

Dear colleagues, I hope this message finds you well. I would like to share with you the call for

Oct 8

Gerhard Friedrich

Oct 6

Open Position, Predoctoral Researcher

Dear colleagues, I am seeking a predoctoral researcher for a project at the interface of symbolic and

unread,

Open Position, Predoctoral Researcher

Dear colleagues, I am seeking a predoctoral researcher for a project at the interface of symbolic and

Oct 6

Miquel Bofill

Oct 6

2025 ACP Quarterly Report 3

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

unread,

2025 ACP Quarterly Report 3

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

Oct 6

Bart Bogaerts

Oct 6

Postdoc position @ KU Leuven

Dear colleagues, There's a new postdoc vacancy in my team. Looking for people with strong

unread,

Postdoc position @ KU Leuven

Dear colleagues, There's a new postdoc vacancy in my team. Looking for people with strong

Oct 6

Ulrich Junker

Sep 30

M-PREF 2025 - 2nd Call for Participation

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

unread,

M-PREF 2025 - 2nd Call for Participation

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

Sep 30

Eugene Freuder

Sep 25

Who is the owner of the Constraints Google Group?

I'd like to get in touch with the owner of this Group. Could you please contact me? Thanks, Gene

unread,

Who is the owner of the Constraints Google Group?

I'd like to get in touch with the owner of this Group. Could you please contact me? Thanks, Gene

Sep 25

Guido Tack

Sep 25

[CPAIOR 2025] Call for student scholarships / final call for participation

CPAIOR 2025, the 22nd International Conference on the Integration of Constraint Programming (CP),

unread,

[CPAIOR 2025] Call for student scholarships / final call for participation

CPAIOR 2025, the 22nd International Conference on the Integration of Constraint Programming (CP),

Sep 25

Eugene Freuder, mark.wallace2

Sep 21

A Discussion

" an increase in the “n” ... would provide a large practical commercial benefit" It is

unread,

A Discussion

" an increase in the “n” ... would provide a large practical commercial benefit" It is

Sep 21

Emmanuel Hebrard

Sep 16

Last call for Workshops - CP 2026 (and FLoC 2026)

July 18 - July 29, 2026 Lisbon, Portugal https://www.floc26.org/ Researchers and practitioners are

unread,

Last call for Workshops - CP 2026 (and FLoC 2026)

July 18 - July 29, 2026 Lisbon, Portugal https://www.floc26.org/ Researchers and practitioners are

Sep 16

Jakob Nordström

Sep 11

Zoom links for proof logging workshop WHOOPS '25 this weekend September 13-14

Dear colleagues, Due to strong interest, registration to the EuroProofNet Symposium was closed a

unread,

Zoom links for proof logging workshop WHOOPS '25 this weekend September 13-14

Dear colleagues, Due to strong interest, registration to the EuroProofNet Symposium was closed a

Sep 11

Eugene Freuder

Sep 3

then and now

Constraints Google Group: Academia.edu occasionally sends me emails about papers it thinks I could be

unread,

then and now

Constraints Google Group: Academia.edu occasionally sends me emails about papers it thinks I could be

Sep 3

Ulrich Junker

Aug 31

M-PREF 2025 - Call for Participation

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

unread,

M-PREF 2025 - Call for Participation

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

Aug 31

Eugene Freuder

Aug 29

Back to the Future

At CP2011, about 15 years after the founding of CP, there was a panel on The Future of CP. In 2026,

unread,

Back to the Future

At CP2011, about 15 years after the founding of CP, there was a panel on The Future of CP. In 2026,

Aug 29

Eugene Freuder

Aug 29

Update: 4C Fest

Given the number of responses so far, it looks a celebratory Reunion Dinner will be more appropriate

unread,

Update: 4C Fest

Given the number of responses so far, it looks a celebratory Reunion Dinner will be more appropriate

Aug 29

Eugene Freuder, … Jacob Feldman6

Aug 28

4C Fest

Yes On Wednesday, 27 August 2025 at 17:57:58 UTC-4 Eugene Freuder wrote: 2026 will be the 25th

unread,

4C Fest

Yes On Wednesday, 27 August 2025 at 17:57:58 UTC-4 Eugene Freuder wrote: 2026 will be the 25th

Aug 28

Jip Dekker

Aug 28

[CPAIOR 2025] Second Call for Participation - early registration ends next week

CPAIOR 2025, the 22nd International Conference on the Integration of Constraint Programming (CP),

unread,

[CPAIOR 2025] Second Call for Participation - early registration ends next week

CPAIOR 2025, the 22nd International Conference on the Integration of Constraint Programming (CP),

Aug 28

Jakob Nordström

Aug 18

Call for participation in proof logging workshop WHOOPS ‘25 in Paris September 13-14

Dear colleagues, For those of us who heard all the buzz about certifying algorithms and proof logging

unread,

Call for participation in proof logging workshop WHOOPS ‘25 in Paris September 13-14

Dear colleagues, For those of us who heard all the buzz about certifying algorithms and proof logging

Aug 18

Emmanuel Hebrard

Aug 15

2nd Call for Workshops CP 2026

Reminder of the call for Workshops - CP 2026 (and FLoC 2026): deadline for proposal is September 24,

unread,

2nd Call for Workshops CP 2026

Reminder of the call for Workshops - CP 2026 (and FLoC 2026): deadline for proposal is September 24,

Aug 15

Eugene Freuder

Aug 12

[EAAI] Final Call for Model AI Assignments

The 16 th Symposium on Educational Advances in Artificial Intelligence 2026 (EAAI-26) Call for Model

unread,

[EAAI] Final Call for Model AI Assignments

The 16 th Symposium on Educational Advances in Artificial Intelligence 2026 (EAAI-26) Call for Model

Aug 12

Tias Guns

Aug 11

CPMpy, new release

Dear constraints community, Just in time for CP/SAT we've released CPMpy v0.9.26, probably our

unread,

CPMpy, new release

Dear constraints community, Just in time for CP/SAT we've released CPMpy v0.9.26, probably our

Aug 11

Serdar Kadioglu

Aug 1

CFP: The 38th Annual Conference on Innovative Applications of Artificial Intelligence (AAAI-IAAI'26)

Call for Papers: The 38th Annual Conference on Innovative Applications of Artificial Intelligence (

unread,

CFP: The 38th Annual Conference on Innovative Applications of Artificial Intelligence (AAAI-IAAI'26)

Call for Papers: The 38th Annual Conference on Innovative Applications of Artificial Intelligence (

Aug 1

Eugene Freuder, Guillaume Derval3

Jul 31

Opportunities

Hello, We did try to apply CP techniques to the IHTC competition but the results were not that good.

unread,

Opportunities

Hello, We did try to apply CP techniques to the IHTC competition but the results were not that good.

Jul 31

Ciaran McCreesh

Jul 23

CP / SAT / SoCS 2025 Schedule and Final Call for Participation

Dear all, This is a final reminder that if you would like to come to CP, SAT, and SoCS, then please

unread,

CP / SAT / SoCS 2025 Schedule and Final Call for Participation

Dear all, This is a final reminder that if you would like to come to CP, SAT, and SoCS, then please

Jul 23

Miquel Bofill2

Jul 23

ACP survey on CP research publication outlets and the future of the Constraints journal

Dear member of the CP community, Just a quick reminder that the final day to complete our survey

unread,

ACP survey on CP research publication outlets and the future of the Constraints journal

Dear member of the CP community, Just a quick reminder that the final day to complete our survey

Jul 23

Eugene Freuder

Jul 16

Twelfth Annual Conference on Advances in Cognitive Systems

This conference may be of interest: http://cogsys.org/conference/2025/ (I understand they are

unread,

Twelfth Annual Conference on Advances in Cognitive Systems

This conference may be of interest: http://cogsys.org/conference/2025/ (I understand they are

Jul 16

Jip Dekker

Jul 15

CPAIOR 2025: Call for Extended Abstracts (deadline 24 August)

CPAIOR 2025, the 22nd International Conference on the Integration of Constraint Programming (CP),

unread,

CPAIOR 2025: Call for Extended Abstracts (deadline 24 August)

CPAIOR 2025, the 22nd International Conference on the Integration of Constraint Programming (CP),

Jul 15

Ciaran McCreesh

Jul 15

Job opening for a software developer on end-to-end verification for CP

Dear all, I am taking a break from conference-related emails to tell you that I'm looking to hire

unread,

Job opening for a software developer on end-to-end verification for CP

Dear all, I am taking a break from conference-related emails to tell you that I'm looking to hire

Jul 15