Groups
Groups
Sign in
Groups
Groups
Constraints
Conversations
About
Send feedback
Help
Constraints
1โ30 of 502
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
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
Ulrich Junker
Jul 10
M-PREF 2025 - 2nd Round of Submissions
====================================================================== M-PREF 2025: CFP - Second
unread,
M-PREF 2025 - 2nd Round of Submissions
====================================================================== M-PREF 2025: CFP - Second
Jul 10
Pierre Schaus
Jul 3
T๐ก๐ซ๐๐ ๐๐ฎ๐ฅ๐ฅ-๐ญ๐ข๐ฆ๐ ๐๐๐๐ฎ๐ฅ๐ญ๐ฒ ๐ฉ๐จ๐ฌ๐ข๐ญ๐ข๐จ๐ง๐ฌ ๐๐ญ - UCLouvain ๐ข๐ง ๐ ๐๐ฅ๐ฅ 2025
The ๐๐จ๐ฆ๐ฉ๐ฎ๐ญ๐๐ซ ๐๐๐ข๐๐ง๐๐ department at UCLouvain (Belgium) will soon open ๐ญ๐ก๐ซ๐๐ ๐๐ฎ๐ฅ๐ฅ-๐ญ๐ข๐ฆ๐ ๐๐๐๐ฎ๐ฅ๐ญ๐ฒ
unread,
T๐ก๐ซ๐๐ ๐๐ฎ๐ฅ๐ฅ-๐ญ๐ข๐ฆ๐ ๐๐๐๐ฎ๐ฅ๐ญ๐ฒ ๐ฉ๐จ๐ฌ๐ข๐ญ๐ข๐จ๐ง๐ฌ ๐๐ญ - UCLouvain ๐ข๐ง ๐ ๐๐ฅ๐ฅ 2025
The ๐๐จ๐ฆ๐ฉ๐ฎ๐ญ๐๐ซ ๐๐๐ข๐๐ง๐๐ department at UCLouvain (Belgium) will soon open ๐ญ๐ก๐ซ๐๐ ๐๐ฎ๐ฅ๐ฅ-๐ญ๐ข๐ฆ๐ ๐๐๐๐ฎ๐ฅ๐ญ๐ฒ
Jul 3
Miquel Bofill
Jul 1
2025 Quarterly Report 2
Dear Constraints Community, The 2025 Quarterly Report 2 is available at https://www.a4cp.org/about/
unread,
2025 Quarterly Report 2
Dear Constraints Community, The 2025 Quarterly Report 2 is available at https://www.a4cp.org/about/
Jul 1
Tias Guns
Jun 30
An open-source course on constraint solving
Dear constraints community, I'm happy to announce that we've open-sourced all course material
unread,
An open-source course on constraint solving
Dear constraints community, I'm happy to announce that we've open-sourced all course material
Jun 30
Guido Tack
Jun 30
CPAIOR 2025: Call for Participation (Early registration ends 3 September)
CPAIOR 2025, the 22nd International Conference on the Integration of Constraint Programming (CP),
unread,
CPAIOR 2025: Call for Participation (Early registration ends 3 September)
CPAIOR 2025, the 22nd International Conference on the Integration of Constraint Programming (CP),
Jun 30
Ciaran McCreesh
Jun 26
CP / SAT / SoCS early registration reminder
Dear all, This is a reminder that the early registration rates for CP, SAT, and SoCS 2025 are only
unread,
CP / SAT / SoCS early registration reminder
Dear all, This is a reminder that the early registration rates for CP, SAT, and SoCS 2025 are only
Jun 26
Jakob Nordstrรถm
Jun 21
Call for contributions: 2nd International Workshop on Highlights in Organizing and Optimizing Proof-logging Systems (WHOOPS '25)
Dear colleagues, This message is a call for contributions to the 2nd International Workshop on
unread,
Call for contributions: 2nd International Workshop on Highlights in Organizing and Optimizing Proof-logging Systems (WHOOPS '25)
Dear colleagues, This message is a call for contributions to the 2nd International Workshop on
Jun 21
Miquel Bofill Arasa
Jun 17
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
Jun 17
Yingqian Zhang
Jun 17
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
Jun 17
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