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/ * **********************************************************