#cp2023conf — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #cp2023conf, aggregated by home.social.
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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 -
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 -
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 -
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 -
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
-
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
-
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! 💐
-
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! 💐
-
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! 💐
-
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
-
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
-
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 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 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'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'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 -
Today we also presented Ciaran McCreesh with the ACP Early Career Researcher Award!
Congratulations, Ciaran!
#ACP
#CP2023conf
#ConstraintProgramming
#Award
#AcademicMastodon
#AcademicChatter -
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 -
The first award given during this conference is the ACP Research Excellence Award, awarded to Mats Carlsson!
Congrats!
#ACP
#CP2023conf
#ConstraintProgramming
#AssociationForConstraintProgramming -
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 -
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 -
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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!
-
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!
