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

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 * * DMANET@zpr.uni-koeln.de * * 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/ * **********************************************************