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

Emir Demirović via dmanet <[email protected]> Sat, 9 May 2026 17:04:27 +0200
Newsgroups gmane.science.mathematics.discrete
Message-ID <CAM7BFG8B56Jf8ozoUzX27vXXydTOLohYRS+hr2ZjYQoUv92AWg@mail.gmail.com>
 Constraint programming is a powerful framework for solving NP-hard
combinatorial problems, combining high-level constraint modeling with
logical inference and search.

There are two summer schools this summer that teach constraint programming!

*European Summer School on AI* <https://essai2026.eu/>
July 6-10, Vienna, Austria (early registration May 15)
There are two separate constraint programming courses:

   - Modern Constraint Programming (Emir Demirović, TU Delft).
   - Introduction to Constraint Satisfaction (Roman Barták, Charles
   University).

Both courses are suitable for newcomers, and there are many other
AI-related courses.

*ACP Summer School* <https://school.a4cp.org/summer2026/>
August 24-28, Changchun, China (early registration July 7)
The entire school is dedicated to constraint programming with nine
speakers. The theme this year is on explanations, verification, and
applications.

**********************************************************
*
*   Contributions to be spread via DMANET are submitted to
*
*                   [email protected]
*
*   Replies to a  message carried  on DMANET should NOT be
*   addressed to DMANET  but to  the original sender.  The
*   original  sender,  however,  is invited  to prepare an
*   update  of the replies  received and to communicate it
*   via DMANET.
*
*    DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
*      http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************