Constraints

1–30 of 524

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

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

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