Constraints

1–30 of 528

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

Alexey Ignatiev2

Dec 11

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

Dec 11

Mohamed SIALA

Dec 8

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

Dec 8

Kevin Tierney

Dec 5

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

Dec 5

Anna Latour

Dec 3

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

Dec 3

Jakob Nordström

Nov 28

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

Nov 28

Jakob Nordström

Nov 26

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

Nov 26

Diego Delle Donne

Nov 24

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

Nov 24

Jakob Nordström

Nov 22

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

Nov 22

Pierre Flener

Nov 21

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

Nov 21

Vienna Center for Logic and Algorithms

Nov 20

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)

Nov 20

Ciaran McCreesh2

Nov 6

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

Dear all, I'm reopening applications for this role, since the person I hired has moved onwards

unread,

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

Dear all, I'm reopening applications for this role, since the person I hired has moved onwards

Nov 6

Jakob Nordström

Oct 28

Zoom seminar Thu Oct 30 at 13:15 CET: Proof complexity as a computational lens

Dear colleagues, With apologies for the short notice (and also for any multiple copies), this is just

unread,

Zoom seminar Thu Oct 30 at 13:15 CET: Proof complexity as a computational lens

Dear colleagues, With apologies for the short notice (and also for any multiple copies), this is just

Oct 28

Bart Bogaerts

Oct 28

Vacancy for Professor in Intelligent Software @ KU Leuven

The KU Leuven Faculty of Engineering Technology has a vacancy at Campus De Nayer for a full-time

unread,

Vacancy for Professor in Intelligent Software @ KU Leuven

The KU Leuven Faculty of Engineering Technology has a vacancy at Campus De Nayer for a full-time

Oct 28

Vienna Center for Logic and Algorithms

Oct 27

[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 27

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