Constraints

Danish Data Science Academy postdoc and PhD positions (deadline March 5, 2025)

Jan 12

Dear colleagues, I would be most grateful for any assistance in distributing the information below

unread,

Danish Data Science Academy postdoc and PhD positions (deadline March 5, 2025)

Dear colleagues, I would be most grateful for any assistance in distributing the information below

Jan 12

Call for papers for SAT 2025

Jan 9

Dear colleagues, With apologies for any multiple copies, this message is to make you aware of the

unread,

Call for papers for SAT 2025

Dear colleagues, With apologies for any multiple copies, this message is to make you aware of the

Jan 9

Jacopo Mauro

Jan 7

PhD position on Algorithm Selection and Optimization at Southern Denmark University - Deadline 15 Feb

The Department of Mathematics and Computer Science (IMADA), University of Southern Denmark (SDU),

unread,

PhD position on Algorithm Selection and Optimization at Southern Denmark University - Deadline 15 Feb

The Department of Mathematics and Computer Science (IMADA), University of Southern Denmark (SDU),

Jan 7

Eugene Freuder2

Jan 1

ESSAI 2025 CALL FOR COURSE PROPOSALS - extended deadline

I wanted to clarify that I didn't mean that CP was already represented; I was just encouraging

unread,

ESSAI 2025 CALL FOR COURSE PROPOSALS - extended deadline

I wanted to clarify that I didn't mean that CP was already represented; I was just encouraging

Jan 1

Ciaran McCreesh

12/16/24

CP 2025 Call for Papers

CP2025 Call for Papers Thirty First Conference on Principles and Practice of Constraint Programming

unread,

CP 2025 Call for Papers

CP2025 Call for Papers Thirty First Conference on Principles and Practice of Constraint Programming

12/16/24

Hana Rudova

12/16/24

SoCS 2025: 1st Call for Papers

1st Call for Papers SoCS 2025 The 18th International Symposium on Combinatorial Search https://socs25

unread,

SoCS 2025: 1st Call for Papers

1st Call for Papers SoCS 2025 The 18th International Symposium on Combinatorial Search https://socs25

12/16/24

Call for AAAI Educational AI Videos

12/12/24

Passing this along. Be great to have some CP submissions. AAAI Educational AI Videos Submission Call

unread,

Call for AAAI Educational AI Videos

Passing this along. Be great to have some CP submissions. AAAI Educational AI Videos Submission Call

12/12/24

Michele Lombardi

12/9/24

Beluga Airbus Competition

To all AI sequential decision-making lovers, we are announcing that the Beluga™ Airbus Competition

unread,

Beluga Airbus Competition

To all AI sequential decision-making lovers, we are announcing that the Beluga™ Airbus Competition

12/9/24

Call for papers: Special Issue on the History of Artificial Intelligence in Europe

12/4/24

Passing this along: Call for papers: Special Issue on the History of Artificial Intelligence in

unread,

Call for papers: Special Issue on the History of Artificial Intelligence in Europe

Passing this along: Call for papers: Special Issue on the History of Artificial Intelligence in

12/4/24

12/3/24

Passing this along. Great to have CP representation. ESSAI 2025 CALL FOR COURSE PROPOSALS The 3rd

unread,

Passing this along. Great to have CP representation. ESSAI 2025 CALL FOR COURSE PROPOSALS The 3rd

12/3/24

Jeremias Berg

12/2/24

Call for Papers, SAT 2025

Dear Colleagues The call for papers for the 28th International Conference on Theory and Applications

unread,

Call for Papers, SAT 2025

Dear Colleagues The call for papers for the 28th International Conference on Theory and Applications

12/2/24

Saptarashmi Bandyopadhyay

12/1/24

FINAL EXTENSION of AAAI-25 - MARW: Multi-Agent AI in the Real-World Workshop

FINAL MARW DATE EXTENSION: Nov 30 2024 -> Dec 3 2024 The deadline for MARW: Multi-Agent AI in the

unread,

FINAL EXTENSION of AAAI-25 - MARW: Multi-Agent AI in the Real-World Workshop

FINAL MARW DATE EXTENSION: Nov 30 2024 -> Dec 3 2024 The deadline for MARW: Multi-Agent AI in the

12/1/24

PhD opening in TCS and/or combinatorial optimization in Lund

11/29/24

Dear colleagues, I would be most grateful for any assistance in spreading the information below

unread,

PhD opening in TCS and/or combinatorial optimization in Lund

Dear colleagues, I would be most grateful for any assistance in spreading the information below

11/29/24

Videos and slides from the 1st International Workshop on Highlights in Organizing and Optimizing Proof-logging Systems (WHOOPS '24)

11/28/24

Dear colleagues, I just wanted to share with you, in case it could be of interest, that at https://

unread,

Videos and slides from the 1st International Workshop on Highlights in Organizing and Optimizing Proof-logging Systems (WHOOPS '24)

Dear colleagues, I just wanted to share with you, in case it could be of interest, that at https://

11/28/24

Tias Guns, Eugene Freuder2

11/28/24

2024 quarterly report 3

The list of previous CP Conference Award Winners is a great addition to the ACP website. Prompted by

unread,

2024 quarterly report 3

The list of previous CP Conference Award Winners is a great addition to the ACP website. Prompted by

11/28/24

Saptarashmi Bandyopadhyay

11/24/24

DEADLINE EXTENSION of AAAI-25 - MARW: Multi-Agent AI in the Real-World Workshop

MARW DATE EXTENSION: Nov 25 2024 -> Nov 30 2024 The deadline for MARW: Multi-Agent AI in the Real-

unread,

DEADLINE EXTENSION of AAAI-25 - MARW: Multi-Agent AI in the Real-World Workshop

MARW DATE EXTENSION: Nov 25 2024 -> Nov 30 2024 The deadline for MARW: Multi-Agent AI in the Real-

11/24/24

Yan Georget

11/22/24

NuCS 3.0.0 is out

Hi, NuCS 3.0.0 is out. NuCS is a Python library for solving Constraint Satisfaction and Optimization

unread,

NuCS 3.0.0 is out

Hi, NuCS 3.0.0 is out. NuCS is a Python library for solving Constraint Satisfaction and Optimization

11/22/24

Tenure-track assistant professorship at Lund University in foundations of computer science with a focus on logic and automated reasoning

11/21/24

Dear colleagues, I would be most grateful for any assistance in spreading the information below

unread,

Tenure-track assistant professorship at Lund University in foundations of computer science with a focus on logic and automated reasoning

Dear colleagues, I would be most grateful for any assistance in spreading the information below

11/21/24

Jip Dekker

11/19/24

[CFP] CPAIOR 2025 — Approaching Deadline

The 22nd International Conference on the Integration of Constraint Programming, Artificial

unread,

[CFP] CPAIOR 2025 — Approaching Deadline

The 22nd International Conference on the Integration of Constraint Programming, Artificial

11/19/24

AAAI-25 Workshop on Open-Source AI for Mainstream Use

11/13/24

Be nice to have some CP involvement in this AAAI-25 Workshop: https://the-ai-alliance.github.io/AAAI-

unread,

AAAI-25 Workshop on Open-Source AI for Mainstream Use

Be nice to have some CP involvement in this AAAI-25 Workshop: https://the-ai-alliance.github.io/AAAI-

11/13/24

AAAI-25 Constraint Programming and Machine Learning Bridge

11/13/24

The submission date for the AAAI-25 Constraint Programming and Machine Learning Bridge is fast

unread,

AAAI-25 Constraint Programming and Machine Learning Bridge

The submission date for the AAAI-25 Constraint Programming and Machine Learning Bridge is fast

11/13/24

Hakan Kjellerstrand

11/7/24

Fwd: [logic-programming] Picat Usability Feedback

Hello, While the Picat language is gaining recognition in the programming and AI communities for its

unread,

Fwd: [logic-programming] Picat Usability Feedback

Hello, While the Picat language is gaining recognition in the programming and AI communities for its

11/7/24

Eugene Freuder3

11/5/24

30th Anniversary CP Conference Panel

Please feel free to post your own memories of conferences past! Also to comment on the program chairs

unread,

30th Anniversary CP Conference Panel

Please feel free to post your own memories of conferences past! Also to comment on the program chairs

11/5/24

11/5/24

I'm passing this along. Would be great to have CP represented ... ESSAI 2025 CALL FOR COURSE

unread,

I'm passing this along. Would be great to have CP represented ... ESSAI 2025 CALL FOR COURSE

11/5/24

Saptarashmi Bandyopadhyay

11/4/24

Call for Papers @ AAAI-25 Workshop, MARW: Multi-Agent AI in the Real-World Workshop

We are excited to announce the first MARW: Multi-Agent AI in the Real-World Workshop at the 39th AAAI

unread,

Call for Papers @ AAAI-25 Workshop, MARW: Multi-Agent AI in the Real-World Workshop

We are excited to announce the first MARW: Multi-Agent AI in the Real-World Workshop at the 39th AAAI

11/4/24