Constraint Programming 2023 · @cp2023conf
45 followers · 116 posts · Server mastodon.acm.org
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
#cp2023conf #constraintprogramming #academicchatter #academicmastodon #conference
Constraint Programming 2023 · @cp2023conf
41 followers · 114 posts · Server mastodon.acm.org
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
#cp2023conf #constraintprogramming #academicmastodon #academicchatter #toronto #uoft
Constraint Programming 2023 · @cp2023conf
41 followers · 112 posts · Server mastodon.acm.orgAnother 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
#cp2023conf #constraintprogramming #applications #academicmastodon #academicchatter
Constraint Programming 2023 · @cp2023conf
41 followers · 110 posts · Server mastodon.acm.orgThe 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
Constraint Programming 2023 · @cp2023conf
41 followers · 109 posts · Server mastodon.acm.orgthe 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
#cp2023conf #constraintprogramming #xcsp #competitivecomputing #xcspcompetition
Constraint Programming 2023 · @cp2023conf
41 followers · 107 posts · Server mastodon.acm.org
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
#acp #cp2023conf #constraintprogramming #academicmastodon #academicchatter
Constraint Programming 2023 · @cp2023conf
41 followers · 106 posts · Server mastodon.acm.org
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
#acp #cp2023conf #constraintprogramming #certification #verification #phdlife
Constraint Programming 2023 · @cp2023conf
41 followers · 105 posts · Server mastodon.acm.org
Today we also presented Ciaran McCreesh with the ACP Early Career Researcher Award!
Congratulations, Ciaran!
#ACP
#CP2023conf
#ConstraintProgramming
#Award
#AcademicMastodon
#AcademicChatter
#acp #cp2023conf #constraintprogramming #award #academicmastodon #academicchatter
Constraint Programming 2023 · @cp2023conf
41 followers · 104 posts · Server mastodon.acm.org
The first award given during this conference is the ACP Research Excellence Award, awarded to Mats Carlsson!
Congrats!
#ACP
#CP2023conf
#ConstraintProgramming
#AssociationForConstraintProgramming
#acp #cp2023conf #constraintprogramming #associationforconstraintprogramming
Constraint Programming 2023 · @cp2023conf
41 followers · 104 posts · Server mastodon.acm.org
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
#cp2023conf #constraintprogramming #mooc #teaching #learning #coursera
Constraint Programming 2023 · @cp2023conf
41 followers · 104 posts · Server mastodon.acm.org
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
#cp2023conf #constraintprogramming #teaching #ai #academicmastodon #academicchatter
Constraint Programming 2023 · @cp2023conf
41 followers · 104 posts · Server mastodon.acm.org
10/10 And last, but not least: our sponsor The Optimization Firm, makers of the BARON solver (@TheOptFirm)
Thank you for your support in making CP 2023 happen!
#CP2023conf #ConstraintProgramming #ArtificialIntelligence #AcademicMastodon #AcademicChatter #Sponsorship #Sponsor #ArtificialIntelligence #ai
#cp2023conf #constraintprogramming #artificialintelligence #academicmastodon #academicchatter #sponsorship #sponsor #ai
Constraint Programming 2023 · @cp2023conf
41 followers · 104 posts · Server mastodon.acm.org
9/10 Next is our sponsor Mitsubishi Electric Research Laboratories (MERL)
Thank you for your support of the 2023 CP conference!
#CP2023conf #ConstraintProgramming #Mitsubishi #ArtificialIntelligence #AcademicMastodon #AcademicChatter #Sponsorship #Sponsor #ArtificialIntelligence #ai
#cp2023conf #constraintprogramming #mitsubishi #artificialintelligence #academicmastodon #academicchatter #sponsorship #sponsor #ai
Constraint Programming 2023 · @cp2023conf
41 followers · 104 posts · Server mastodon.acm.org
8/10 Our next sponsor is IBM
Thank you so much for your support of the CP 2023 conference!
#CP2023conf #ConstraintProgramming #ibm #ArtificialIntelligence #ConstraintSolving #AcademicMastodon #AcademicChatter #Sponsorship #Sponsor #ArtificialIntelligence #ai
#cp2023conf #constraintprogramming #ibm #artificialintelligence #constraintsolving #academicmastodon #academicchatter #sponsorship #sponsor #ai
Constraint Programming 2023 · @cp2023conf
41 followers · 104 posts · Server mastodon.acm.org
7/10 Next is our sponsor Google
www.google.com
Thank you for supporting us, and for Laurent Perron's invited talk about solvers yesterday!
#CP2023conf #google #ConstraintProgramming #ConstraintSolving #AcademicMastodon #AcademicChatter #Sponsorship #Sponsor #ArtificialIntelligence #ai
#cp2023conf #google #constraintprogramming #constraintsolving #academicmastodon #academicchatter #sponsorship #sponsor #artificialintelligence #ai
Constraint Programming 2023 · @cp2023conf
41 followers · 104 posts · Server mastodon.acm.org
5/10 Our final Gold Sponsor is the Department of Management at U of T Scarborough.
https://www.utsc.utoronto.ca/mgmt/
Many thanks for your support of CP 2023!
#CP2023conf #ConstraintProgramming #UofT #Management #AcademicMastodon #AcademicChatter #Sponsorship #Sponsor #ArtificialIntelligence #AI
#cp2023conf #constraintprogramming #uoft #management #academicmastodon #academicchatter #sponsorship #sponsor #artificialintelligence #ai
Constraint Programming 2023 · @cp2023conf
41 followers · 104 posts · Server mastodon.acm.org
6/10 The first of our other sponsors is Cosling.
Thank you for helping make CP 2023 possible!
#CP2023conf #ConstraintProgramming #AcademicMastodon #AcademicChatter #Sponsorship #Sponsor #ArtificialIntelligence #ai
#cp2023conf #constraintprogramming #academicmastodon #academicchatter #sponsorship #sponsor #artificialintelligence #ai
Constraint Programming 2023 · @cp2023conf
41 followers · 104 posts · Server mastodon.acm.org
4/10 Another one of this year's Gold Sponsors is ScheduleOpt
Thank you so much for your support and for Petr Vilím's talk about solvers yesterday!
#CP2023conf #ConstraintProgramming #AcademicMastodon #AcademicChatter #Sponsorship #Sponsor #ArtificialIntelligence #AI
#cp2023conf #constraintprogramming #academicmastodon #academicchatter #sponsorship #sponsor #artificialintelligence #ai
Constraint Programming 2023 · @cp2023conf
41 followers · 104 posts · Server mastodon.acm.org
3/10 Our next Gold Sponsor is the Artificial Intelligence Journal
https://www.sciencedirect.com/journal/artificial-intelligence
Many thanks for supporting this year's CP conference!
#CP2023conf #ConstraintProgramming #AcademicMastodon #AcademicChatter #Sponsorship #Sponsor #ArtificialIntelligence #AI
#cp2023conf #constraintprogramming #academicmastodon #academicchatter #sponsorship #sponsor #artificialintelligence #ai
Constraint Programming 2023 · @cp2023conf
41 followers · 104 posts · Server mastodon.acm.org
2/10 Our first Gold Sponsor is the Association for Constraint Programming
Thank you so much for all your monetary and practical support!
#CP2023conf #ConstraintProgramming #AcademicMastodon #AcademicChatter #Sponsorship #Sponsor #ArtificialIntelligence #AI
#cp2023conf #constraintprogramming #academicmastodon #academicchatter #sponsorship #sponsor #artificialintelligence #ai