#MiniZinc #MiniZincChallenge #CompetitiveProgramming

1/ We're happy to announce that there is a program for the Workshop on Teaching Constraint Programming:

https://hsimonis.github.io/WTCP2023/ 🧑‍🏫🥳

There will be an invited talk by Carleton Coffrin, @Dekker1, Jimmy H.M. Lee, Jason Nguyen, Peter J. Stuckey, Guido Tack and Allen Zhong on Automating Solution Checking and Grading with MiniZinc.

#CP2023conf #ConstraintProgramming #Teaching #AcademicMastodon #MiniZinc #ArtificialIntelligence #AcademicMastodon #Conference #Workshop

The "Nordic Network for researchers and practitioners of Constraint programming" (#NordConsNet) will be held June 8-9 in Odense, Denmark. Participation is free (registration is required).
See: https://event.sdu.dk/nordconsnet2023/conference

For more on NordConsNet, see http://it.uu.se/research/NordConsNet

And - unrelated to these CP conferences - I'm now preparing a 1h30min talk "Constraint Programming - Solving Combinatorial puzzles when you are lazy" (in May 19). Mostly on Constraint Modeling using #MiniZinc (and some #Picat).