Plenty of announcements at the General Meeting of the ACP, held as part of the CP 2023 conference in Toronto. The Most important things first, the ACP awards announced for 2023.
Mats Carlsson from RI.SE in Sweden was announced as the winner of the ACP Research Excellence Award in 2023. Mats is well known for his work on the SICStus Prolog system, which has some of the best global constraints for scheduling and packing problems. I’ve been using his system for many years, resulting in a number of papers. Congratulations to Mats for this well deserved award.
Ciaran McCreesh of the University of Glasgow was awarded the Early Career Researcher Award of the ACP for his work on the use of Constraint Programming for Graph analysis and proof logging. This is an area I know very little about, but I find Ciaran’s presentations always interesting. Congratulations!
Stephan Gocht from Lund University in Sweden won the ACP Doctoral Research award for this thesis “Certifying Correctness for Combinatorial Algorithms: by Using Pseudo-Boolean Reasoning”, also on proof logging. This seems to be a hot topic right now! Congratulations to Stephan, who, I read, is also looking into starting his own company. Best of luck!
Constraint Applications Blog by Helmut Simonis 