#cp2023conf — Public Fediverse posts

Hi gang! There's a new mastodon account for all your "International Conference on Principles and Practice of Constraint Programming"-related needs: @cp_conf

Go give it a follow, and stay updated on the news for next year's CP conference!

#ConstraintProgramming #AI #FollowFriday #ArtificialIntelligence #CP2023conf #CP2024conf

Obtuse.

#Suella #HumanRights #RefugeesWelcome #ToryManiacs #CP2023conf

CP2023
We have finalised CP 2023's proceedings! If you haven't read all the papers yet, this is the perfect time to get reading!

https://www.dagstuhl.de/dagpub/978-3-95977-300-3

#CP2023conf #ConstraintProgramming #AcademicMastodon #AcademicChatter #Proceedings #Conference #AI #ArtificialIntelligence

We loved seeing all of you at CP 2023 this year!

We hope everyone has recovered from their jet lag and managed to get some rest before the start of the Academic year.

If you want to reminisce about more relaxed time, you can find this year's pictures on our website: https://cp2023.a4cp.org

#CP2023conf #ConstraintProgramming #AcademicChatter #AcademicMastodon #Conference

Today is already the last day of CP! After yesterday's banquet, we have the pleasure of having the last invited talk of the week by Maria Garcia de la Banda about "Beyond optimal solutions for real-world problems"!

#CP2023conf
#ConstraintProgamming
#AcademicMastodon
#AcademicChatter
#Optimisation

We're sharing some key moments from the CP conference.

On Monday, our conference chair André Cire and our program chair Roland Yap, officially opened the conference in the beautiful Hart House in downtown Toronto!

#CP2023conf
#ConstraintProgramming
#AcademicMastodon #AcademicChatter #Toronto #UofT

Another blog post by Helmut Simonis, this time about papers submitted to CP's application track!

https://hsimonis.wordpress.com/2023/08/29/application-track-papers-at-cp-2023/

Thanks for blogging, Helmut!

#CP2023conf #ConstraintProgramming #Applications #AcademicMastodon #AcademicChatter

The results of the 2023 MiniZinc Challenge have been released!

🥇 🥇 🥇 OR-tools (https://developers.google.com/optimization/) managed to take home gold in the Fixed, Free and Parallel categories.

🥇Yuck (https://github.com/informarte/yuck) scored a gold medal in the Local Search category.

For more details (including a tool to analyse the data 🤓 ), please check out the MiniZinc website: https://www.minizinc.org/challenge2023/results2023.html

Congratulations to all winners! 💐

#CP2023conf #ConstraintProgramming (...)

the Mini CSP category.

🥇 toulbar2 (https://toulbar2.github.io/toulbar2/) won gold in the Mini COP category.

Check out the results, instances, proceedings and more on: https://www.xcsp.org/competitions/

Congratulations to all winners! 🎉

#CP2023conf #ConstraintProgramming #XCSP #CompetitiveComputing #XCSPCompetition

Today's last item of "business" was the ACP General Assembly. After that: time for the banquet! Bon appétit!

#ACP
#CP2023conf
#ConstraintProgramming
#AcademicMastodon
#AcademicChatter

Today's last ACP award was the Doctoral Research Award, awarded to Stephan Gocht, for his thesis "Certifying Correctness for Combinatorial Algorithms: by Using Pseudo-Boolean Reasoning". Congrats to him!

#ACP
#CP2023conf
#ConstraintProgramming
#Certification
#verification
#PHDLife

Today we also presented Ciaran McCreesh with the ACP Early Career Researcher Award!

Congratulations, Ciaran!

#ACP
#CP2023conf
#ConstraintProgramming
#Award
#AcademicMastodon
#AcademicChatter

The first award given during this conference is the ACP Research Excellence Award, awarded to Mats Carlsson!

Congrats!

#ACP
#CP2023conf
#ConstraintProgramming
#AssociationForConstraintProgramming

This morning, we had the pleasure of listening to Jimmy Lee, in his invited talk about "A Tale of Two Cities: Teaching CP with Story-Telling". He explained to us the success story behind the creation of his MOOC on Coursera!

#CP2023conf
#ConstraintProgramming
#mooc
#Teaching
#learning
#Coursera

To those who missed the Workshop on Teaching Constraint Programming: despair not! Helmut Simonis was nice enough to write up a summary, with links to some of the material, check it out!

https://hsimonis.wordpress.com/2023/08/28/workshop-on-teaching-constraint-programming-wtcp-2023/

#CP2023conf #ConstraintProgramming #Teaching #AI #AcademicMastodon #AcademicChatter

1/10 We had a blast during the workshop day and during the first day of CP 2023! Let's take a moment to thank our sponsors for making this event possible!

https://cp2023.a4cp.org/sponsors.html

#CP2023conf #ConstraintProgramming #AcademicMastodon #AcademicChatter #Sponsorship #Sponsor #ArtificialIntelligence #AI

Vibing to Pomplamoose's cover of Daft Punk's Harder, Better, Faster, Stronger (https://youtu.be/fUpdfpOPf4Y?si=vD5U0QZrh5hg_1Ni), while waiting for the video of my presentation to render, in preparation for the Workshop on Constraint Modelling and Reformulation (https://modref.github.io/ModRef2023.html), which is being held today in conjunction with @cp2023conf .

"More than ever, hour after hour
Work is never over"

#PostdocLife #CP2023conf #AcademicChatter #AcademicMastodon #ConstraintProgramming #ConstraintModelling

Check out the DPSolve program now!

https://sites.google.com/view/dpsolve2023/program

It will be a decision diagram-heavy program with an invited talk by @ryanjoneil!

#CP2023conf #ConstraintProgramming #DynamicProgramming #ArtificialIntelligence #AI #AcademicMastodon #DecisionDiagrams #AcademicChatter

We hope you are ready for CP's DEI Special Event on Wednesday 30 August!

https://cp2023.a4cp.org/dei.html

Andreína Francisco will present the results from the Diversity survey and the Equity and Inclusion survey.

Then, there will be a panel discussion on Collaboration in AI, with panelists Özgür Akgün, Maria Garcia de la Banda, and Kuldeep Meel, moderated by
Andreína Francisco and Hélène Verhaeghe.

Use this QR code to submit questions for the panel!

#ConstraintProgramming #AI #DEI #CP2023conf

The Optimization for Sports workshop has published its program:

https://sites.google.com/uconn.edu/cp2023-opt4sports2023/program

It'll be a morning chock-full of talks covering Sports Betting, Scheduling, Player Performance Analysis, and more!

#CP2023conf #ConstraintProgramming #Sports #AcademicMastodon #AI #ArtificialIntelligence

Check out the program of the Progress Towards the Holy Grail workshop!

https://freuder.wordpress.com/progress-towards-the-holy-grail-workshops/pthg-23-the-sixth-workshop-on-progress-towards-the-holy-grail/

There are invited talks by Tias Guns and Steven Prestwich, each on Machine Learning and CP. Go check it out!

#CP2023conf #ConstraintProgramming #MachineLearning #XAI #AcademicMastodon #ExplainableAI #ExplainableArtificialIntelligence #ArtificialIntelligence #AI #ML

We now also have a program for the Workshop on Constraint Modelling and Reformulation!

https://modref.github.io/ModRef2023.html

The program features 7 regular talks on topic ranging from puzzle games to parallelism to python library development.

The day will be closed with an invited talk by Hélène Verhaeghe and a panel discussion on the future of constraint modelling

#CP2023conf #ConstraintProgramming #AcademicMastodon

2/ After that, there will be no less than seven talks and two discussions, covering MOOCs, curriculum choices, teaching CP with PyCSP3 and many more CP teaching-related topics!

So if you haven't done so already, go to our website to register for the workshop day or just for the entire conference, while you're at it 😉

https://cp2023.a4cp.org/registration.html

#CP2023conf #ConstraintProgramming #Teaching #AcademicMastodon #AcademicChatter #Conference #Workshop #PythonProgramming

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

To those who are attending CP 2023: please do not forget to fill out the banquet form that you received in your email!

The deadline to choose your meal is August 15th, AoE.

Thanks!

#CP2023conf #food #ConstraintProgramming #choices #AcademicMastodon #AcademicChatter

SO WE WILL HAVE WORKSHOPS AND THE DOCTORAL PROGRAM ON THE FIRST DAY AND AFTER THAT IT IS JUST ONE DAY AFTER ANOTHER FULL OF INVITED TALKS AND TUTORIALS AND DEI AND AWARD CEREMONIES AND DINNERS BUT SERIOUSLY THOUGH YOU SHOULD CHECK OUT THE FULL PRELIMINARY SCHEDULE ...

https://www.easychair.org/smart-program/CP2023/

#CP2023conf #ConstraintProgramming #AcademicMastodon #Conference #ArtificialIntelligence #AI #MachineLearning #ML #OperationsResearch #TrustworthyAI #PhDLife

We have updated our Call for Participation with more details on the preliminary schedule for CP2023.

https://cp2023.a4cp.org/cfpart.html

Please help us spread the word by sharing it with your friends, colleagues, cats...

Thanks!

#CP2023conf #ConstraintProgramming #AcademicMastodon #AI #ArtificialIntelligence #AcademicChatter #Conference #Announcement

We now have a *preliminary* detailed schedule available. Check it out! 🤓

https://www.easychair.org/smart-program/CP2023/

#CP2023conf #ConstraintProgramming #Conference #AcademicMastdon#AI #ArtificialIntelligence

You can now start planning the details of your trip to Toronto, because we have uploaded a preliminary schedule for CP 2023!

https://cp2023.a4cp.org/schedule.html

#ConstraintProgramming #AcademicMastodon #AI #CP2023conf #ArtificialIntelligence #conference
#AcademicChatter

Please share our Call for Participation with anyone who might be interested, thanks!

https://cp2023.a4cp.org/cfpart.html

PS: Don't forget the early registration deadline of 30 July 2023, AoE.

#CP2023conf #AcademicMastodon #CallForParticipation #Deadline #ConstraintProgramming #AI #ArtificialIntelligence #MachineLearning #ML #AcademicChatter