Constraints - Google Groups

1–30 of 627

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

Miquel Bofill

Jul 3

2026 ACP Quarterly Report 2

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

unread,

2026 ACP Quarterly Report 2

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

Jul 3

Eugene Freuder, Barry O'Sullivan (Computer Science)5

Jun 30

Regarding the ACP Vote on Whether to Change the "ACP Publishing Model"

Dear Gene, Colleagues, I very much share Gene's concerns. The ACP's “new publishing model”

unread,

Regarding the ACP Vote on Whether to Change the "ACP Publishing Model"

Dear Gene, Colleagues, I very much share Gene's concerns. The ACP's “new publishing model”

Jun 30

Hélène Verhaeghe

Jun 30

Call for bid for the ACP summer school 2027

Dear CP community, The Association for Constraint Programming invites proposals for organizing the

unread,

Call for bid for the ACP summer school 2027

Dear CP community, The Association for Constraint Programming invites proposals for organizing the

Jun 30

Eugene Freuder

Jun 28

New Constraints Journal Editor-in-Chief

As one of the Outreach Editors for the Constraints journal, I would like to announce our new Editor-

unread,

New Constraints Journal Editor-in-Chief

As one of the Outreach Editors for the Constraints journal, I would like to announce our new Editor-

Jun 28

Jimmy Lee

Jun 23

Financial Support for ACP Summer School 2026 in Changchun, China, August 24-28, 2026

Registration for the ACP Summer School 2026 is now open. A limited number of scholarships are

unread,

Financial Support for ACP Summer School 2026 in Changchun, China, August 24-28, 2026

Registration for the ACP Summer School 2026 is now open. A limited number of scholarships are

Jun 23

Eugene Freuder4

Jun 18

Nominations for Constraints Journal Awards 2026

Last few days to nominate papers for the 2026 Constraints Journal Awards! Participate in this

unread,

Nominations for Constraints Journal Awards 2026

Last few days to nominate papers for the 2026 Constraints Journal Awards! Participate in this

Jun 18

Sylvie Thiebaux

Jun 18

2-year Postdoc / 3-year PhD in learning for planning and scheduling

The following postdoc or PhD position is available at LAAS-CNRS. Hybrid methods (combining learning

unread,

2-year Postdoc / 3-year PhD in learning for planning and scheduling

The following postdoc or PhD position is available at LAAS-CNRS. Hybrid methods (combining learning

Jun 18

Sylvie Thiebaux

Jun 17

CIFRE PhD at Airbus & CNRS

A PhD position is available at Airbus & LAAS-CNRS Toulouse on the topic: Explainable and AI-based

unread,

CIFRE PhD at Airbus & CNRS

A PhD position is available at Airbus & LAAS-CNRS Toulouse on the topic: Explainable and AI-based

Jun 17

Eugene Freuder

Jun 15

Funding Opportunities for Promoting AI Research

Just passing this along: Funding Opportunities for Promoting AI Research Deadline: July 15th, 2026

unread,

Funding Opportunities for Promoting AI Research

Just passing this along: Funding Opportunities for Promoting AI Research Deadline: July 15th, 2026

Jun 15

steven kelk

May 31

white paper on deep integration of ILP and LLMs by Gurobi (also relevant to CP)

Hi everyone, This is a copy of a short message I placed on Mathstodon about a new white paper by

unread,

white paper on deep integration of ILP and LLMs by Gurobi (also relevant to CP)

Hi everyone, This is a copy of a short message I placed on Mathstodon about a new white paper by

May 31

Eugene Freuder4

May 22

Anniversary

Well the 4CI-Anniversary Group has 10 members so far, but surely there are more of you out there to

unread,

Anniversary

Well the 4CI-Anniversary Group has 10 members so far, but surely there are more of you out there to

May 22

Eugene Freuder

May 21

Fwd: 2026 Fall Symposium Series - Call for Proposals

Dear AAAI Members and Affiliates, This is a friendly reminder that proposals for the 2026 AAAI Fall

unread,

Fwd: 2026 Fall Symposium Series - Call for Proposals

Dear AAAI Members and Affiliates, This is a friendly reminder that proposals for the 2026 AAAI Fall

May 21

Eugene Freuder

May 21

Constraints journal

Congratulations to those whose papers were accepted for CP, CPAIOR and IJCAI-ECAI. I encourage you to

unread,

Constraints journal

Congratulations to those whose papers were accepted for CP, CPAIOR and IJCAI-ECAI. I encourage you to

May 21

Tias Guns, … Eugene Freuder6

May 20

joining forces on natural language formulations and evaluations

I like Jean-Charles' analogy to a Master's student. I'm beginning to regard them as grad

unread,

joining forces on natural language formulations and evaluations

I like Jean-Charles' analogy to a Master's student. I'm beginning to regard them as grad

May 20

Andrew Cropper

May 20

PhD position in Logic/learning/solving at the University of Helsinki

I am recruiting a 4-year PhD student to work on logical reasoning and machine learning. The focus is

unread,

PhD position in Logic/learning/solving at the University of Helsinki

I am recruiting a 4-year PhD student to work on logical reasoning and machine learning. The focus is

May 20

Federica Di Stefano

May 19

[CfP] Networking Session @ RuleML+RR 2026

Call for Papers: ******************************************************** *** Networking Session @

unread,

[CfP] Networking Session @ RuleML+RR 2026

Call for Papers: ******************************************************** *** Networking Session @

May 19

Federica Di Stefano

May 19

[CfP] Industry Track @ RuleML+RR 2026

Call for papers ************************************** *** Industry Track @ RuleML+RR 2026 *** *** 24

unread,

[CfP] Industry Track @ RuleML+RR 2026

Call for papers ************************************** *** Industry Track @ RuleML+RR 2026 *** *** 24

May 19

Federica Di Stefano

May 19

[CfP] Doctoral Consortium @ RuleML+RR 2026

Call for Papers: ******************************************************************************* ***

unread,

[CfP] Doctoral Consortium @ RuleML+RR 2026

Call for Papers: ******************************************************************************* ***

May 19

Federica Di Stefano

May 19

[CfP] Rule Challenge @ RuleML+RR 2026

Call for Papers: ******************************************************************************* ***

unread,

[CfP] Rule Challenge @ RuleML+RR 2026

Call for Papers: ******************************************************************************* ***

May 19

Jip Dekker

May 14

Announcement: Huub v100.0.0 – an extensible LCG solver in Rust

Dear Constraints community, I am excited to announce the first public release of Huub, an extensible

unread,

Announcement: Huub v100.0.0 – an extensible LCG solver in Rust

Dear Constraints community, I am excited to announce the first public release of Huub, an extensible

May 14

Nguyen Dang

May 13

[Final Call for Papers] ML4SP @ FLoC 2026 - Deadline May 15 (Submission system fixed!)

Dear colleagues, This is a quick final reminder that the submission deadline for the 2nd Workshop on

unread,

[Final Call for Papers] ML4SP @ FLoC 2026 - Deadline May 15 (Submission system fixed!)

Dear colleagues, This is a quick final reminder that the submission deadline for the 2nd Workshop on

May 13

Federica Di Stefano

May 11

[Call for Applications] Grants for the Reasoning Web Summer School @ Declarative AI

Call for Applications for Grants Reasoning Web Summer School – Part of Declarative AI 2026 27–30

unread,

[Call for Applications] Grants for the Reasoning Web Summer School @ Declarative AI

Call for Applications for Grants Reasoning Web Summer School – Part of Declarative AI 2026 27–30

May 11

Jakob Nordström

May 10

MIAO seminar Mon Jun 1 at 14:00 CEST with Alexander Nadel: SAT solving and beyond: A fresh intro and recent developments

Dear colleagues, This is just to advertise that on Monday June 1 at 14:00 CEST, the MIAO seminar

unread,

MIAO seminar Mon Jun 1 at 14:00 CEST with Alexander Nadel: SAT solving and beyond: A fresh intro and recent developments

Dear colleagues, This is just to advertise that on Monday June 1 at 14:00 CEST, the MIAO seminar

May 10

Emir Demirović

May 9

Constraint programming at summer schools (Vienna July 6-10, Changchun Aug 24-28)

There are two summer schools this summer that teach constraint programming! European Summer School on

unread,

Constraint programming at summer schools (Vienna July 6-10, Changchun Aug 24-28)

There are two summer schools this summer that teach constraint programming! European Summer School on

May 9

Federica Di Stefano

May 9

[CfP Deadline Extension] RuleML+RR 2026 - The 10th International Joint Conference on Rules and Reasoning (RuleML+RR 2026)

Call for Papers: The 10th International Joint Conference on Rules and Reasoning (RuleML+RR 2026) 24 -

unread,

[CfP Deadline Extension] RuleML+RR 2026 - The 10th International Joint Conference on Rules and Reasoning (RuleML+RR 2026)

Call for Papers: The 10th International Joint Conference on Rules and Reasoning (RuleML+RR 2026) 24 -

May 9

vasco.m...@inesc-id.pt

May 8

SAT/SMT/AR summer school: registration open and call for support (deadline May 13th)

Satisfiability (SAT), Satisfiability Modulo Theories (SMT), and Automated Reasoning (AR) continue to

unread,

SAT/SMT/AR summer school: registration open and call for support (deadline May 13th)

Satisfiability (SAT), Satisfiability Modulo Theories (SMT), and Automated Reasoning (AR) continue to

May 8

Jiří Švancara

May 7

[CFP] SoCS 2026 Doctoral Consortium

SoCS 2026 Doctoral Consortium Dear students, We invite students working in combinatorial search to

unread,

[CFP] SoCS 2026 Doctoral Consortium

SoCS 2026 Doctoral Consortium Dear students, We invite students working in combinatorial search to

May 7

Jordi Coll

May 7

[ModRef 2026] Abstract deadline extension and final CFP

Dear colleagues, The abstract registration deadline for ModRef 2026 has been extended to May 11 (AoE)

unread,

[ModRef 2026] Abstract deadline extension and final CFP

Dear colleagues, The abstract registration deadline for ModRef 2026 has been extended to May 11 (AoE)

May 7

Simon de Givry

May 6

Final Call: Workshop on Soft Constraints Discrete Optimization and Machine Learning @ FLoC 2026

====================================================================== CP2026 Workshop on Soft

unread,

Final Call: Workshop on Soft Constraints Discrete Optimization and Machine Learning @ FLoC 2026

====================================================================== CP2026 Workshop on Soft

May 6

Tias Guns

May 6

Explanations workshop, final call

Dear constraints mailinglist, This is the final call for the XLoKR & ExCoS 2026 workshop, hosted

unread,

Explanations workshop, final call

Dear constraints mailinglist, This is the final call for the XLoKR & ExCoS 2026 workshop, hosted

May 6