Constraints

1–30 of 336

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

Ferdinando Fioretto2

May 2

Call for student participants: The First AI-SCORE summer school

Call for student participants: The First AI-SCORE summer school We are trilled to announce AI-SCORE,

unread,

Call for student participants: The First AI-SCORE summer school

Call for student participants: The First AI-SCORE summer school We are trilled to announce AI-SCORE,

May 2

Eugene Freuder

Apr 30

European Summer School on Artificial Intelligence (ESSAI&ACAI 2024)

The call for participation for the European Summer School on Artificial Intelligence (ESSAI&ACAI

unread,

European Summer School on Artificial Intelligence (ESSAI&ACAI 2024)

The call for participation for the European Summer School on Artificial Intelligence (ESSAI&ACAI

Apr 30

Tias Guns

Apr 29

ACP call for award nominations 2024

Dear Constraints Community, Eugene was so kind to already send the Early Career nominations call

unread,

ACP call for award nominations 2024

Dear Constraints Community, Eugene was so kind to already send the Early Career nominations call

Apr 29

Gupta, Gopal

Apr 27

ICLP'24 Final Call for Papers: 40th International Conference on Logic Programming

[submission deadline fast approaching] [apologies for duplicate messages] The 40th International

unread,

ICLP'24 Final Call for Papers: 40th International Conference on Logic Programming

[submission deadline fast approaching] [apologies for duplicate messages] The 40th International

Apr 27

Eugene Freuder

Apr 26

2024 ACP Early Career Researcher Award

I'm posting this information from the ACP website. The 2024 call for nominations is out. https://

unread,

2024 ACP Early Career Researcher Award

I'm posting this information from the ACP website. The 2024 call for nominations is out. https://

Apr 26

Eugene Freuder

Apr 25

Workshop on the History of AI in Europe

There will be a Workshop on the History of AI in Europe (WHAI@EU) at the 50th anniversary ECAI

unread,

Workshop on the History of AI in Europe

There will be a Workshop on the History of AI in Europe (WHAI@EU) at the 50th anniversary ECAI

Apr 25

Fedrick Mike2

Apr 21

BUY POLKADOT MUSHROOM CHOCOLATE BAR IN ITALY SAFE DELIVERY

There is a growing number of people who wish to buy shrooms online. It is often hard to tell which

unread,

BUY POLKADOT MUSHROOM CHOCOLATE BAR IN ITALY SAFE DELIVERY

There is a growing number of people who wish to buy shrooms online. It is often hard to tell which

Apr 21

Fedrick Mike2

Apr 21

WHERE TO PURCHASE DMT POWDER NEAR ME FROM A LEGIT CONNECT

There is a growing number of people who wish to buy shrooms online. It is often hard to tell which

unread,

WHERE TO PURCHASE DMT POWDER NEAR ME FROM A LEGIT CONNECT

There is a growing number of people who wish to buy shrooms online. It is often hard to tell which

Apr 21

Fedrick Mike2

Apr 21

WHERE TO BUY 5 MEO DMT CARTS IN USA

There is a growing number of people who wish to buy shrooms online. It is often hard to tell which

unread,

WHERE TO BUY 5 MEO DMT CARTS IN USA

There is a growing number of people who wish to buy shrooms online. It is often hard to tell which

Apr 21

Ulrich Junker

Apr 20

M-PREF 2024: 2nd CALL FOR PAPERS

====================================================================== M-PREF 2024: CALL FOR PAPERS =

unread,

M-PREF 2024: 2nd CALL FOR PAPERS

====================================================================== M-PREF 2024: CALL FOR PAPERS =

Apr 20

Jordi Coll

Apr 17

[CP 2024] - Call for Doctoral Program Submissions

Call for Doctoral Program Submissions The Doctoral Program (DP) of the CP conference is seeking

unread,

[CP 2024] - Call for Doctoral Program Submissions

Call for Doctoral Program Submissions The Doctoral Program (DP) of the CP conference is seeking

Apr 17

Jordi Coll

Apr 17

[CP 2024] - Call for Tutorial Proposals

Call for Tutorial Proposals 30th International Conference on Principles and Practice of Constraint

unread,

[CP 2024] - Call for Tutorial Proposals

Call for Tutorial Proposals 30th International Conference on Principles and Practice of Constraint

Apr 17

Maria Andreina Francisco

Apr 15

Call for Participation: CPAIOR 2024 – Early bird prices end today!

Dear colleagues, CPAIOR 2024 — the 21st International Conference on the Integration of Constraint

unread,

Call for Participation: CPAIOR 2024 – Early bird prices end today!

Dear colleagues, CPAIOR 2024 — the 21st International Conference on the Integration of Constraint

Apr 15

Paulius Dilkas

Apr 9

Call for Papers: MCW 2024 Workshop on Counting, Sampling, and Synthesis

Dear All, We are pleased to announce the Workshop on Counting, Sampling, and Synthesis (MCW 2024) as

unread,

Call for Papers: MCW 2024 Workshop on Counting, Sampling, and Synthesis

Dear All, We are pleased to announce the Workshop on Counting, Sampling, and Synthesis (MCW 2024) as

Apr 9

Jordi Coll

Apr 3

[CP 2024] Call for papers and workshops

===== CP 2024 CALL FOR PAPERS AND WORKSHOP PROPOSALS ===== Dear colleagues, this is a reminder of the

unread,

[CP 2024] Call for papers and workshops

===== CP 2024 CALL FOR PAPERS AND WORKSHOP PROPOSALS ===== Dear colleagues, this is a reminder of the

Apr 3

Christophe Lecoutre2

Apr 3

2023 XCSP3 Competition (Extended Deadline)

Dear all, We are happy to announce that the 2024 XCSP3 competition will be conducted during the first

unread,

2023 XCSP3 Competition (Extended Deadline)

Dear all, We are happy to announce that the 2024 XCSP3 competition will be conducted during the first

Apr 3

Alexey Ignatiev

Mar 27

POS 2024 Call for Papers.

CfP: 15th International Workshop on Pragmatics of SAT http://www.pragmaticsofsat.org/2024/ The 15th

unread,

POS 2024 Call for Papers.

CfP: 15th International Workshop on Pragmatics of SAT http://www.pragmaticsofsat.org/2024/ The 15th

Mar 27

markus hecher

Mar 20

Call for Benchmarks and Solvers: Model Counting Competition 2024

The 5th International Competition on Model Counting (MC 2024) http://mccompetition.org/2024/

unread,

Call for Benchmarks and Solvers: Model Counting Competition 2024

The 5th International Competition on Model Counting (MC 2024) http://mccompetition.org/2024/

Mar 20

Maria Andreina Francisco

Mar 20

Call for Participation: CPAIOR 2024

CPAIOR 2024 — the 21st International Conference on the Integration of Constraint Programming (CP),

unread,

Call for Participation: CPAIOR 2024

CPAIOR 2024 — the 21st International Conference on the Integration of Constraint Programming (CP),

Mar 20

Eugene Freuder

Mar 18

UN AI Advisory Body feedback

Constraints Google Group: The UN AI Advisory Body has produced an Interim Report and is seeking

unread,

UN AI Advisory Body feedback

Constraints Google Group: The UN AI Advisory Body has produced an Interim Report and is seeking

Mar 18

Ulrich Junker

Mar 16

M-PREF 2024: CALL FOR PAPERS

====================================================================== M-PREF 2024: CALL FOR PAPERS =

unread,

M-PREF 2024: CALL FOR PAPERS

====================================================================== M-PREF 2024: CALL FOR PAPERS =

Mar 16

Eugene Freuder

Mar 12

Solve

https://solve.mit.edu "GLOBAL CHALLENGES Over $1M in funding available Solve invites anyone from

unread,

Solve

https://solve.mit.edu "GLOBAL CHALLENGES Over $1M in funding available Solve invites anyone from

Mar 12

Fedrick Mike

Mar 12

WHERE TO ORDER CODIENE ONLINE

If you're interested in exploring the world of psychedelic mushrooms, you may be wondering if

unread,

WHERE TO ORDER CODIENE ONLINE

If you're interested in exploring the world of psychedelic mushrooms, you may be wondering if

Mar 12

marco.ch...@gmail.com

Mar 12

PATAT 2024 - Call for Submissions (New submission deadline, April 2)

PATAT 2024 - Call for Submissions 14th International Conference on the Practice and Theory of

unread,

PATAT 2024 - Call for Submissions (New submission deadline, April 2)

PATAT 2024 - Call for Submissions 14th International Conference on the Practice and Theory of

Mar 12

Jeremias Berg

Mar 11

Call for Benchmarks and Solvers - The 2024 MaxSAT Evaluation

Dear all The 2024 MaxSAT Evaluation (MSE 2024) is the 19th edition of MaxSAT evaluations, the primary

unread,

Call for Benchmarks and Solvers - The 2024 MaxSAT Evaluation

Dear all The 2024 MaxSAT Evaluation (MSE 2024) is the 19th edition of MaxSAT evaluations, the primary

Mar 11

Mikoláš Janota

Mar 7

Funded PhD and Postdoc positions at CTU Prague

Dear colleagues, We are opening funded positions for a Postdoc and PhD candidates interested in SMT,

unread,

Funded PhD and Postdoc positions at CTU Prague

Dear colleagues, We are opening funded positions for a Postdoc and PhD candidates interested in SMT,

Mar 7

Eugene Freuder

Mar 6

Conferences

I'd like to encourage submission of papers to the major, broad AI conferences. Constraint

unread,

Conferences

I'd like to encourage submission of papers to the major, broad AI conferences. Constraint

Mar 6

Maria Andreina Francisco

Mar 1

CPAIOR 2024 Call for Scholarship Applications

Dear colleagues, The 21st International Conference on the Integration of Constraint Programming,

unread,

CPAIOR 2024 Call for Scholarship Applications

Dear colleagues, The 21st International Conference on the Integration of Constraint Programming,

Mar 1

Eugene Freuder

Feb 28

Opportunity for everlasting fame

"Roughly every decade, the ACM and IEEE professional organizations have produced recommendations

unread,

Opportunity for everlasting fame

"Roughly every decade, the ACM and IEEE professional organizations have produced recommendations

Feb 28

Eugene Freuder

Feb 28

ACS 2024 - 11th Annual Conference on Advances in Cognitive Systems

ACS 2024 - 11th Annual Conference on Advances in Cognitive Systems ----------------------------------

unread,

ACS 2024 - 11th Annual Conference on Advances in Cognitive Systems

ACS 2024 - 11th Annual Conference on Advances in Cognitive Systems ----------------------------------

Feb 28