Groups
Groups
Sign in
Groups
Groups
Constraints
Conversations
About
Send feedback
Help
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.
Mark all as read
Report group
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.wallace
2
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 Feldman
6
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 Derval
3
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 Bofill
2
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